0Pricing
TypeScript Academy · Leçon

Types conditionnels : T extends U ? X : Y

Écrivez des instructions if au niveau des types avec les types conditionnels

Types conditionnels : T extends U ? X : Y est une leçon TypeScript Academy gratuite sur CoddyKit. Ceci est la leçon 3 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage TypeScript Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours TypeScript Academy comprend 4 leçons au total.

Bienvenue

Les types conditionnels permettent d’exprimer des instructions if au niveau des types. Ils constituent un élément central du système de types avancé de TypeScript et servent à créer des utilitaires de types.

Syntaxe de base

Écrivez T extends U ? X : Y. Si T peut être affecté à U, le résultat est X ; sinon, c’est Y.
type IsString<T> = T extends string ? true : false;
type A = IsString<string>; // true
type B = IsString<number>; // false

Type intégré NonNullable

NonNullable est implémenté avec un type conditionnel qui supprime null et undefined de T.
type NonNullable<T> = T extends null | undefined ? never : T;
type C = NonNullable<string | null>; // string

Types conditionnels avec des génériques

Les types conditionnels sont particulièrement utiles dans les fonctions génériques et les alias de types.
type Flatten<T> = T extends Array<infer I> ? I : T;
type Str = Flatten<string[]>; // string
type Num = Flatten<number>;   // number

Types conditionnels imbriqués

Les types conditionnels peuvent être imbriqués pour gérer une logique plus complexe.
type TypeName<T> =
  T extends string ? 'string' :
  T extends number ? 'number' :
  T extends boolean ? 'boolean' :
  'object';

Distribution sur les unions

Lorsque T est un paramètre de type utilisé seul, un type conditionnel se distribue sur les membres de l’union.
type ToArray<T> = T extends any ? T[] : never;
type R = ToArray<string | number>; // string[] | number[]

Empêcher la distribution

Entourez T d’un tuple pour empêcher la distribution.
type NoDistribute<T> = [T] extends [any] ? T[] : never;
type R2 = NoDistribute<string | number>; // (string | number)[]

Utiliser never pour filtrer

Renvoyer never depuis un type conditionnel supprime les membres de l’union.
type OnlyStrings<T> = T extends string ? T : never;
type S = OnlyStrings<'a' | 'b' | 1 | 2>; // 'a' | 'b'

Types conditionnels dans les types mappés

Combinez les types mappés et les types conditionnels pour transformer sélectivement les propriétés d’un objet.
type NullableValues<T> = { [K in keyof T]: T[K] extends string ? null : T[K] };

Inférer à partir des paramètres d’une fonction

Utilisez infer dans les types conditionnels pour extraire des parties de types complexes.
type FirstParam<T> = T extends (first: infer P, ...rest: any[]) => any ? P : never;
type FP = FirstParam<(a: string, b: number) => void>; // string

Utilitaires conditionnels intégrés

De nombreux utilitaires intégrés (ReturnType, Parameters, InstanceType) sont construits avec des types conditionnels et infer.
type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;

Vérification rapide

Quel est le résultat de `type R = string extends object ? 'yes' : 'no'` ?

Récapitulatif

Les types conditionnels (T extends U ? X : Y) permettent une logique au niveau des types. Ils se distribuent sur les unions, fonctionnent avec infer pour l’extraction et sont à la base de nombreux utilitaires de types intégrés de TypeScript.

Questions Fréquemment Posées

La leçon « Types conditionnels : T extends U ? X : Y » est-elle gratuite ?

Oui — le texte complet de « Types conditionnels : T extends U ? X : Y » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours TypeScript Academy, passe à CoddyKit PRO. Le cours TypeScript Academy comprend 4 leçons au total.

Qu'est-ce que j'apprendrai dans « Types conditionnels : T extends U ? X : Y » ?

Écrivez des instructions if au niveau des types avec les types conditionnels Tu pratiques TypeScript Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.

Dois-je avoir de l'expérience pour commencer TypeScript Academy ?

Aucune expérience préalable n'est requise. TypeScript Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 3 sur 4.

Combien de temps prend la leçon « Types conditionnels : T extends U ? X : Y » ?

La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.

Peux-tu écrire et exécuter du code dans cette leçon TypeScript Academy ?

Oui. Chaque leçon TypeScript Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.

Toutes les leçons de ce cours

  1. keyof et types d’accès indexé
  2. Contraintes génériques : affiner les paramètres de types
  3. Types conditionnels : T extends U ? X : Y
  4. Types conditionnels distributifs
← Retour à TypeScript Academy