Što su uvjetni i mapirani tipovi?

Question

Accepted Answer

To su TypeScript-ovi **alati za programiranje na razini tipova** — oni izračunavaju nove tipove iz postojećih. ## Mapirani tipovi — transformirajte svako svojstvo Mapirani tip iterate kroz ključeve tipa i transformira svaki: ```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]` prolazi kroz svaki ključ `K`; `T[K]` je tip vrijednosti tog ključa. Tako se implementiraju `Partial`, `Readonly` i `Required`. Možete također mapirati ključeve i dodati modifikatore (`-readonly`, `-?` ih uklanjaju). ## Uvjetni tipovi — grananje na uvjetu ```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 razini tipova. S `infer` možete *ekstrahirati* tipove unutar uvjeta: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Kombiniranje njih — primjer iz stvarnog svijeta ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Mapirani tipovi također se **distribuiraju** preko unija u uvjetima, omogućavajući moćne transformacije. ## Zašto je to važno Mapirani i uvjetni tipovi omogućavaju bibliotekama da izraze precizne odnose tipova — oni primjenjuju pogodne tipove, osnaživaju biblioteke za oblike/validaciju, ORM graditelje upita i API klijente koji zaključuju oblike odgovora. Oni su napredni, ali razumijevanjem njih objašnjava se *kako* TypeScript-ov sustav tipova može biti toliko izražajan, i omogućava vam izgradnju ponavljajućih transformacija tipova umjesto ručnog pisanja varijanti.