Types Conditionnels et infer

Les types conditionnels permettent d'exprimer des des décisions de types non triviales basées sur des relations d'héritage. La syntaxe ressemble à celle de l'opérateur ternaire de JavaScript :

T extends U ? X : Y

Si le type T est assignable à U, alors le type résultant sera X, sinon ce sera Y.

Types conditionnels de base

Un type conditionnel évalue une condition au niveau du type de manière statique :

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

Ce motif est extrêmement puissant lorsqu'il est combiné avec des génériques pour créer des types d'utilité flexibles et dynamiques.

Extraction de types avec infer

À l'intérieur de la clause extends d'un type conditionnel, nous pouvons utiliser le mot-clé infer pour déclarer une variable de type qui doit être déduite par le compilateur.

Par exemple, si nous voulons extraire le type de retour d'une fonction :

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

type FunzioneEsempio = () => string;
type Ritorno = GetReturnType<FunzioneEsempio>; // string

Dans cet exemple, infer R indique à TypeScript de déduire automatiquement le type de retour de la fonction et de le rendre disponible sous la forme R dans la branche positive de la condition.

À vous de jouer

Exercice 1 : Le type IsString

Exercice 2 : Extraire le type d'un tableau avec infer