Kas yra sąlyginiai ir susieti tipai?

Question

Accepted Answer

Tai TypeScript **tipo lygio programavimo** įrankiai — jie skaičiuoja naujus tipus iš esamų. ## Susieti tipai — transformuoti kiekvieną savybę Susietas tipas kartoja tipo raktus ir transformuoja kiekvieną: ```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]` kartoja kiekvieną raktą `K`; `T[K]` yra to raktuko reikšmės tipas. Taip yra implementuoti `Partial`, `Readonly` ir `Required`. Taip pat galite perkartoti raktus ir pridėti modifikatorius (`-readonly`, `-?` juos pašalina). ## Sąlyginiai tipai — šakojimas pagal sąlygą ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` yra tipo lygio jei/kitu. Su `infer` galite *ištraukti* tipus iš sąlygos: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Jų derinimas — realus pavyzdys ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Susieti tipai taip pat **pasiskirsto** per unions sąlyginiuose tipuose, suteikdami galimybę galingiems transformacijoms. ## Kodėl tai svarbu Susieti ir sąlyginiai tipai leidžia bibliotekoms išreikšti tikslius tipo ryšius — jie implementuoja paslaidos tipus, suteikia galią formos/patikrinimo bibliotekoms, ORM užklausų konstruktoriams ir API klientams, kurie nuspėja atsakymų formas. Jie yra sudėtingi, bet jų supratimas paaiškina, *kaip* TypeScript tipo sistema gali būti tokia išraiškinga, ir leidžia statyti naudojamus tipo transformacijas vietoj rankinio variantų rašymo.