Exhaustivité avec never (introduction)
Utilisez never pour imposer l’exhaustivité des switch sur les unions et détecter rapidement les cas manquants.
Exhaustivité avec never (introduction) est une leçon TypeScript Academy gratuite sur CoddyKit. Ceci est la leçon 3 sur 3. 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 3 leçons au total.
Introduction
Objectif : vous assurer que votre switch traite tous les membres d'une union. Le type never aide le compilateur à vous signaler l'absence d'un nouveau cas.
Configuration de l'union
Créez une union discriminée avec une étiquette littérale (par exemple kind) sur laquelle effectuer un branchement ultérieurement.
type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; size: number };
type Shape = Circle | Square;Switch non exhaustif
Une branche manquante est compilée, mais la logique reste incomplète. Nous avons besoin d'un moyen de forcer un échec lors de la compilation lorsqu'un cas est absent.
function areaBad(s: Shape): number {
switch (s.kind) {
case "circle":
return Math.PI * s.radius ** 2;
// OOPS: forgot "square" -> no compile error yet
}
return 0; // silently wrong
}
console.log(areaBad({ kind: "circle", radius: 2 }));Fonction auxiliaire assertNever
Définissez assertNever : elle n'accepte que never. Si une valeur l'atteint, le switch n'était pas exhaustif et le compilateur le signalera.
function assertNever(x: never): never {
throw new Error("Unhandled case: " + JSON.stringify(x));
}Switch exhaustif
Ajoutez un default qui appelle assertNever. Lorsqu'un nouveau membre de l'union apparaît, le compilateur vous oblige à le traiter.
function area(s: Shape): number {
switch (s.kind) {
case "circle":
return Math.PI * s.radius ** 2;
case "square":
return s.size * s.size;
default:
return assertNever(s); // compiler error if a member is unhandled
}
}
console.log(area({ kind: "square", size: 3 }));Recommandations
Recommandations :
- Utilisez un discriminant (comme
kind) sur les membres de l'union. - Conservez le modèle default + assertNever.
- Privilégiez des types de retour clairs afin que les cas manquants soient évidents.
Vérification de l'exhaustivité
Vérification rapide : comment rendre exhaustif un switch portant sur une union discriminée ?
Récapitulatif
Récapitulatif : never indique une valeur impossible. Utilisez assertNever dans la branche default pour imposer des switchs complets et conçus pour évoluer.
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 « Exhaustivité avec never (introduction) » est-elle gratuite ?
Oui — le texte complet de « Exhaustivité avec never (introduction) » 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 3 leçons au total.
Qu'est-ce que j'apprendrai dans « Exhaustivité avec never (introduction) » ?
Utilisez never pour imposer l’exhaustivité des switch sur les unions et détecter rapidement les cas manquants. 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 3.
Combien de temps prend la leçon « Exhaustivité avec never (introduction) » ?
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
- typeof, égalité et réduction par vérité
- in, instanceof et unions discriminées
- Exhaustivité avec never (introduction)