Nämä ovat TypeScript:in tyyppitason ohjelmointityökaluja — ne laskevat uusia tyyppejä olemassa olevista tyypeistä.
Kartoitettu tyyppi iteroi tyypin avainten yli ja muuntaa kutakin:
<T> = { [K keyof T]: T[K] };
<T> = { [K keyof T]?: T[K] };
{ : ; : ; }
= <>;
[K in keyof T] silmukkaa jokaisen avaimen K kautta; T[K] on kyseisen avaimen arvotyyppi. Näin Partial, Readonly ja Required toteutetaan. Voit myös kartoittaa uudelleen avaimia ja lisätä muuntajia (-readonly, -? poistavat ne).
type IsString<T> = T extends string ? "yes" : "no";
type A = IsString<string>; // "yes"
type B = IsString<number>; // "no"
T extends U ? X : Y on if/else tyyppitasolla. infer avulla voit poimia tyyppejä ehdon sisällä:
type ElementOf<T> = T extends (infer U)[] ? U : never;
type E = ElementOf<string[]>; // string
// Make only the function-valued properties optional
type PartialMethods<T> = {
[K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K];
};
Kartoitetut tyypit jakautuvat myös yhdistelmiin ehdoissa, mikä mahdollistaa tehokkaita muunnoksia.
Kartoitetut ja ehdolliset tyypit antavat kirjastoille mahdollisuuden ilmaista tarkkoja tyyppirelaatioita — ne toteuttavat hyötyominaisuustyyppejä, vahvistavat lomake-/validointikirjastoja, ORM-kyselymuodostajia ja API-asiakkaita, jotka päättelevät vastausten muodot.
Ne ovat kehittyneitä, mutta niiden ymmärtäminen selittää, miten TypeScript:in tyyppijärjestelmä voi olla niin ilmaisuvoimainen, ja antaa sinulle mahdollisuuden rakentaa uudelleenkäytettäviä tyyppien muunnoksia manuaalisten varianttien kirjoittamisen sijaan.