Mik a feltételes és leképezett típusok?

Question

Accepted Answer

Ezek a TypeScript **típusszintű programozási** eszközei — új típusokat számítanak ki a meglévőekből. ## Leképezett típusok — alakítsunk át minden tulajdonságot Egy leképezett típus egy típus kulcsain iterál és mindegyiket átalakítja: ```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]` végigmegy minden `K` kulcson; `T[K]` az adott kulcs értéktípusa. Így valósítható meg a `Partial`, `Readonly` és `Required`. Átleképezheted a kulcsokat és hozzáadhatsz módosítókat (`-readonly`, `-?` eltávolítja azokat). ## Feltételes típusok — elágazás egy feltételre ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` egy típusszintű if/else. Az `infer` segítségével *ki* tudod vonni a típusokat a feltételből: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Egyesítsd őket — egy valós példa ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` A leképezett típusok szintén **szétterjednek** az uniókon a feltételekben, így lehetővé teszik a hatékony átalakításokat. ## Miért fontos A leképezett és feltételes típusok lehetővé teszik a könyvtárak számára, hogy pontos típuskapcsolatokat fejezzenek ki — megvalósítják az hasznos típusokat, működtetik az űrlapos/validációs könyvtárakat, ORM lekérdezésépítőket és API-klienseket, amelyek következtetnek a válaszok alakjára. Ezek fejlett megoldások, de ha megérted őket, megérted, *hogyan* lehet a TypeScript típusrendszere ilyen kifejező, és lehetővé teszi újrahasználható típustranszformációk létrehozását a manuálisan írt változatok helyett.