Czym są conditional i mapped types?

Question

Accepted Answer

To narzędzia **type-level programming** TypeScript'a — obliczają nowe typy na podstawie istniejących. ## Dlaczego to ważne Mapped types — transformuj każdą właściwość Mapped type iteruje po kluczach typu i transformuje każdy: ```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]` iteruje po każdym kluczu `K`; `T[K]` to typ wartości tego klucza. W ten sposób implementowane są `Partial`, `Readonly` i `Required`. Możesz również zmienić mapowanie kluczy i dodać modyfikatory (`-readonly`, `-?` je usuwają). ## Conditional types — rozgałęzienie na podstawie warunku ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` to typ poziomu if/else. Za pomocą `infer` możesz *wyodrębnić* typy wewnątrz warunku: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Łączenie ich — przykład z rzeczywistego świata ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Mapped types również **dystrybuują** się nad uniami w warunkach, umożliwiając potężne transformacje. ## Dlaczego to ważne Mapped i conditional types pozwalają bibliotekom wyrazić precyzyjne relacje typów — implementują utility types, zasilają biblioteki formularzy/walidacji, ORM query builders i API clients, które wywnioskują kształty odpowiedzi. Są zaawansowane, ale zrozumienie ich wyjaśnia *jak* system typów TypeScript może być tak ekspresyjny i pozwala na budowanie wielokrotnie używanych transformacji typów zamiast ręcznego pisania wariantów.