Kaj so pogojni in mapirani tipi?

Question

Accepted Answer

To so **programski orodja na ravni tipov** TypeScripta — izračunavajo nove tipe iz obstoječih. ## Zakaj je to pomembno Mapirani tipi — transformiraj vsako lastnost Mapirani tip ponovi ključe tipa in transformira vsakega: ```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]` se sprehodi po vsakem ključu `K`; `T[K]` je tip vrednosti tega ključa. Na ta način se izvajajo `Partial`, `Readonly` in `Required`. Prav tako lahko ponovno preslikate ključe in dodate modifikatorje (`-readonly`, `-?` jih odstranijo). ## Pogojni tipi — razvejanje glede na pogoj ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` je if/else na ravni tipov. S `infer` lahko *izvlečete* tipe znotraj pogoja: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Njihova kombinacija — resnični primer ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Mapirani tipi se tudi **razdelijo** čez unije v pogojih, kar omogoča zmogljive transformacije. ## Zakaj je to pomembno Mapirani in pogojni tipi omogočajo knjižnicam, da izrazijo natančne odnose tipov — izvajajo utility tipe, napajajo knjižnice obrazcev/preverjanja, ORM gradnike poizvedb in API klienta, ki sklepajo oblike odgovora. So napredni, a njihovo razumevanje pojasnjuje *kako* je lahko sistem tipov TypeScripta tako izrazit in vam omogoča gradnjo ponovno uporabnih transformacij tipov namesto ročnega pisanja različic.