რა არის პირობითი და მეპირებული ტიპები?

Question

Accepted Answer

ეს არის TypeScript-ის **ტიპ-დონის პროგრამირების** ხელსაწყოები — ისინი ითვლიან ახალ ტიპებს არსებული ტიპებიდან. ## მეპირებული ტიპები — თითოეული თვისების ტრანსფორმაცია მეპირებული ტიპი გადის ტიპის გასაღებებზე და ტრანსფორმირებს თითოეულს: ```ts type ReadonlyAll = { readonly [K in keyof T]: T[K] }; type Optional = { [K in keyof T]?: T[K] }; interface User { id: number; name: string; } type RO = ReadonlyAll; // { readonly id: number; readonly name: string } ``` `[K in keyof T]` მოდის თითოეული გასაღების `K`-ზე; `T[K]` არის ამ გასაღების მნიშვნელობის ტიპი. ეს არის როგორ იხორციელება `Partial`, `Readonly` და `Required`. თქვენ ასევე შეგიძლიათ გაუხელოთ გასაღებები და დაამატოთ modifiers (`-readonly`, `-?` ამოაგო მათი). ## პირობითი ტიპები — დაშტაკება პირობით ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` არის ტიპ-დონის if/else. `infer`-ის გამოყენებით თქვენ შეგიძლიათ *ამოიღოთ* ტიპები პირობის შიგნით: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## მათი კომბინირება — ნამდვილი მაგალითი ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` მეპირებული ტიპები ასევე **განაწილებენ** unions-ებს პირობითებში, რაც საშესაძლებელს ხდის მძლავრ ტრანსფორმაციებს. ## რატომ აქვს მნიშვნელობა მეპირებული და პირობითი ტიპები საშუალებას აძლევს ბიბლიოთეკებს გამოხატონ precise ტიპის ურთიერთობები — ისინი იხორციელებენ utility ტიპებს, აძლევენ ძალას ფორმა/validation ბიბლიოთეკებს, ORM query builders-ებს და API clients-ებს, რომლებიც ინფერ ხდებიან response shapes-ებს. ისინი უფრო მეტად განვითარებულია, მაგრამ მათი გაგება ხსნის *როგორ* შეიძლება TypeScript-ის ტიპ სისტემა იყოს ისეთი გამოხატული, და საშუელებას აძლევთ თქვენ რომ დაამზადოთ reusable ტიპის ტრანსფორმაციები ხელით არაწერილი ვარიანტების ნაცვლად.