Types Conditionnels

Les types conditionnels vous permettent de choisir des types en fonction d’autres types. Ils prennent la forme :

SomeType extends OtherType ? TrueType : FalseType;

Exemple :

type NameOrId<T extends number | string> = T extends number ? IdLabel : NameLabel;

Le mot-clé infer

Dans la clause extends d’un type conditionnel, vous pouvez utiliser infer pour déclarer une variable de type à inférer.

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : any;

Ici, nous vérifions si T est une fonction. Si c’est le cas, nous inférons son type de retour comme R et retournons R. Sinon, nous retournons any.

Ressources

• Manuel TypeScript : Types Conditionnels

---

📘 Cette leçon fait partie du cours Maîtrise du Système de Types TypeScript sur la plateforme d’apprentissage RostoDev.