Construire des unions discriminées
Étiqueter les membres d’une union avec une propriété discriminante commune.
Construire des unions discriminées est une leçon TypeScript Academy gratuite sur CoddyKit. Ceci est la leçon 1 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.
Qu'est-ce qu'une union discriminée ?
Une union discriminée est une union de types d'objets qui partagent tous une propriété literal commune appelée discriminant. Cette étiquette commune permet à TypeScript de distinguer les membres.
// The shared "kind" property is the discriminant
type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; side: number };
type Shape = Circle | Square;La propriété discriminante
Le discriminant doit être un type littéral (comme "circle"), et non un type large comme string. Chaque membre reçoit sa propre valeur littérale unique.
type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; side: number };
const c: Circle = { kind: "circle", radius: 10 };
console.log(c.kind); // "circle"Chaque membre possède ses propres champs
En plus du discriminant commun, chaque membre contient les champs qui n'ont de sens que pour lui. Un cercle possède un radius ; un carré possède un side.
type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; side: number };
type Rectangle = { kind: "rectangle"; width: number; height: number };
type Shape = Circle | Square | Rectangle;Construire des valeurs d'union
Lorsque vous construisez une valeur, TypeScript vérifie que sa forme correspond exactement à un membre de l'union en fonction de son kind.
type Shape =
| { kind: "circle"; radius: number }
| { kind: "square"; side: number };
const shapes: Shape[] = [
{ kind: "circle", radius: 5 },
{ kind: "square", side: 4 }
];
console.log(shapes.length); // 2Pourquoi ne pas utiliser uniquement des champs facultatifs ?
Un type permissif avec des champs facultatifs (radius?, side?) autorise des combinaisons invalides. L'union discriminée rend les états illégaux impossibles à représenter.
// Loose and error-prone: nothing stops radius + side together
type BadShape = { radius?: number; side?: number };
const bad: BadShape = { radius: 5, side: 4 }; // nonsense, but allowedLe nom du discriminant dépend de vous
L'étiquette est généralement appelée kind ou type, mais n'importe quel nom convient, à condition que chaque membre utilise le même nom de propriété avec une valeur littérale distincte.
type Event =
| { type: "click"; x: number; y: number }
| { type: "scroll"; delta: number };
const e: Event = { type: "click", x: 10, y: 20 };
console.log(e.type); // "click"Modéliser un calculateur d'aire de formes
Les unions discriminées sont particulièrement utiles lorsque chaque variante nécessite un traitement différent. Nous configurons ici des formes qu'une fonction d'aire traitera ensuite.
type Shape =
| { kind: "circle"; radius: number }
| { kind: "square"; side: number };
const myShapes: Shape[] = [
{ kind: "circle", radius: 3 },
{ kind: "square", side: 6 }
];
console.log("Count:", myShapes.length);Ajouter une troisième variante
Les unions sont faciles à étendre. Ajouter un membre triangle ne demande qu'une modification d'une ligne, et TypeScript le suivra partout où l'union est utilisée.
type Shape =
| { kind: "circle"; radius: number }
| { kind: "square"; side: number }
| { kind: "triangle"; base: number; height: number };
const t: Shape = { kind: "triangle", base: 4, height: 8 };
console.log(t.kind);Des littéraux uniques empêchent les chevauchements
Comme chaque kind est unique, il n'y a aucune ambiguïté. Une valeur correspond exactement à un membre, jamais à deux à la fois.
type A = { kind: "a"; value: number };
type B = { kind: "b"; label: string };
type Union = A | B;
function describe(u: Union) {
return u.kind === "a" ? u.value : u.label;
}
console.log(describe({ kind: "b", label: "hi" }));Discriminants avec des étiquettes booléennes
Le discriminant n'a pas forcément une chaîne comme type. Un littéral boolean convient également, ce qui est pratique pour les résultats de réussite ou d'échec.
type Result =
| { ok: true; data: string }
| { ok: false; error: string };
const r: Result = { ok: true, data: "loaded" };
console.log(r.ok ? r.data : r.error);Les unions discriminées en pratique
Vous disposez maintenant d'un modèle complet de formes. Dans la prochaine leçon, nous allons affiner le type selon le discriminant afin d'accéder en toute sécurité aux champs propres à chaque membre.
type Shape =
| { kind: "circle"; radius: number }
| { kind: "square"; side: number };
const sample: Shape = { kind: "circle", radius: 7 };
console.log(sample.kind, "ready");Vérification rapide : discriminants
Vérifiez votre compréhension des unions discriminées.
Récapitulatif : construire des unions discriminées
Vous avez appris qu'une union discriminée regroupe des types d'objets qui partagent un discriminant littéral comme kind. Chaque membre possède ses propres champs, les littéraux uniques empêchent les chevauchements et ce modèle rend les états illégaux impossibles à représenter.
type Shape =
| { kind: "circle"; radius: number }
| { kind: "square"; side: number };
const done: Shape = { kind: "square", side: 2 };
console.log("Recap complete:", done.kind);
Apprends TypeScript avec un tuteur IA — gratuit
Écris et exécute du vrai code dans ton navigateur, obtiens de l'aide instantanée d'un tuteur IA disponible 24h/24, et reprends là où tu t'es arrêté sur le web ou dans l'app.
- Cours
- 101
- Leçons
- 352
Questions Fréquemment Posées
La leçon « Construire des unions discriminées » est-elle gratuite ?
Oui — le texte complet de « Construire des unions discriminées » 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 « Construire des unions discriminées » ?
Étiqueter les membres d’une union avec une propriété discriminante commune. 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 1 sur 4.
Combien de temps prend la leçon « Construire des unions discriminées » ?
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
- Construire des unions discriminées
- Restreindre selon le discriminant
- Vérifier l’exhaustivité avec never
- Modéliser des machines à états