Que sont les types conditionnels et mappés ?

Question

Accepted Answer

Ce sont les **outils de programmation au niveau des types** de TypeScript — ils calculent de nouveaux types à partir de types existants. ## Types mappés — transformez chaque propriété Un type mappé itère sur les clés d'un type et transforme chacune : ```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]` boucle sur chaque clé `K` ; `T[K]` est le type de valeur de cette clé. C'est ainsi que `Partial`, `Readonly` et `Required` sont implémentés. Vous pouvez également remapper des clés et ajouter des modificateurs (`-readonly`, `-?` les suppriment). ## Types conditionnels — branchez sur une condition ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` est un if/else au niveau des types. Avec `infer`, vous pouvez *extraire* des types à l'intérieur de la condition : ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Les combiner — un exemple réel ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Les types mappés **se distribuent** également sur les unions dans les conditions, ce qui permet des transformations puissantes. ## Pourquoi c'est important Les types mappés et conditionnels permettent aux bibliothèques d'exprimer des relations de types précises — ils implémentent les types utilitaires, renforcent les bibliothèques de formulaires/validation, les générateurs de requêtes ORM et les clients API qui déduisent les formes de réponse. Ils sont avancés, mais les comprendre explique *comment* le système de types de TypeScript peut être si expressif, et vous permet de construire des transformations de types réutilisables au lieu d'écrire manuellement des variantes.