Co jsou podmínkové a mapované typy?

Question

Accepted Answer

Jedná se o **programovací nástroje na úrovni typů** v TypeScript — vypočítávají nové typy z existujících typů. ## Mapované typy — transformují každou vlastnost Mapovaný typ iteruje přes klíče typu a transformuje každý z nich: ```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]` cykluje přes každý klíč `K`; `T[K]` je typ hodnoty tohoto klíče. Takto jsou implementovány `Partial`, `Readonly` a `Required`. Můžete také přemapovat klíče a přidat modifikátory (`-readonly`, `-?` je odstraní). ## Podmínkové typy — větvení na podmínku ```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 úrovni typů. S `infer` můžete *extrahovat* typy uvnitř podmínky: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Kombinování — skutečný příklad ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Mapované typy také **distribuují** přes uniony v podmínkách, což umožňuje výkonné transformace. ## Proč je to důležité Mapované a podmínkové typy umožňují knihovnám vyjádřit přesné typové vztahy — implementují užitkové typy, posilují knihovny formulářů/validace, tvůrce ORM dotazů a API klienty, které odvozují tvary odpovědí. Jsou pokročilé, ale jejich pochopení vysvětluje, *jak* může být TypeScript typový systém tak expresivní, a umožňuje vám vytvářet znovupoužitelné typové transformace místo ručního psaní variant.