Koşullu türler ve eşlenmiş türler nedir?

Question

Accepted Answer

Bunlar TypeScript'in **tür düzeyi programlama** araçlarıdır — var olan türlerden yeni türler hesaplarlar. ## Eşlenmiş türler — her bir özelliği dönüştürün Eşlenmiş bir tür, bir türün anahtarları üzerinde yineleme yapar ve her birini dönüştürür: ```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]` her anahtar `K` üzerinde yineleme yapar; `T[K]` o anahtarın değer türüdür. `Partial`, `Readonly` ve `Required` bu şekilde uygulanır. Anahtarları yeniden eşleyebilir ve değiştiriciler ekleyebilirsiniz (`-readonly`, `-?` bunları kaldırır). ## Koşullu türler — bir koşula göre dallanma ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` tür düzeyi if/else'dir. `infer` ile koşulun içindeki türleri *çıkarabilirsiniz*: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Bunları birleştirme — gerçek bir örnek ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Eşlenmiş türler ayrıca koşullu ifadelerde unions üzerinde **dağıtılır** ve güçlü dönüşümleri etkinleştirir. ## Neden önemli Eşlenmiş ve koşullu türler kitaplıklara hassas tür ilişkilerini ifade ettirmeyi sağlar — yardımcı türleri, form/doğrulama kitaplıklarını, ORM sorgu oluşturucularını ve yanıt şekillerini çıkaran API istemcilerini güçlendirir. Gelişmiş olmakla birlikte, bunları anlamak TypeScript'in tür sisteminin *nasıl* bu kadar etkileyici olabileceğini açıklar ve el yazısı varyantlar yazmak yerine yeniden kullanılabilir tür dönüşümleri oluşturmanıza izin verir.