Switch exhaustifs et vérifications avec never
Écrivez des unions exhaustives avec switch et détectez les cas manquants avec never ; construisez un utilitaire assertNever sûr.
Switch exhaustifs et vérifications avec never est une leçon TypeScript Academy gratuite sur CoddyKit. Ceci est la leçon 1 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 : effectuez des switch exhaustifs sur des unions et utilisez never pour détecter les cas manquants à la compilation.
Switch exhaustif
Les unions discriminées utilisent un champ commun kind. Un switch sur ce champ affine chaque cas en toute sécurité.
type Circle = { kind: "circle"; radius: number }
type Square = { kind: "square"; size: number }
type Shape = Circle | Square
function area(s: Shape): number {
switch (s.kind) {
case "circle":
return Math.PI * s.radius * s.radius
case "square":
return s.size * s.size
}
}Quand les unions s’agrandissent
Lorsqu’un nouveau membre (par ex. un triangle) est ajouté, never permet de le détecter afin que le cas ignoré ne génère pas silencieusement de problème.
type Triangle = { kind: "triangle"; base: number; height: number }
// If we extend Shape but forget to add case, we want a compile-time error
// type Shape = Circle | Square | TriangleassertNever
Le paramètre assertNever doit être de type never, afin que, si une nouvelle variante arrive dans le cas par défaut, une erreur de compilation soit signalée.
function assertNever(x: never): never {
throw new Error(`Unhandled case: ${String(x)}`)
}
function areaSafe(s: Shape): number {
switch (s.kind) {
case "circle":
return Math.PI * s.radius * s.radius
case "square":
return s.size * s.size
default:
return assertNever(s) // if Shape grows, compiler errors here
}
}Unions de littéraux
Le même motif s’applique aux unions de littéraux de chaînes : couvrez chaque valeur possible et appelez assertNever dans le cas par défaut.
type Status = "idle" | "loading" | "success" | "error"
function toIcon(s: Status) {
switch (s) {
case "idle": return "⏸"
case "loading": return "⏳"
case "success": return "✅"
case "error": return "⚠️"
default: return assertNever(s)
}
}
// Alternative: const check
const _check: never = ((): Status => "idle")() as never // force compile-time check with careConseils
Conseils : activez noFallthroughCasesInSwitch ; préférez les unions discriminées ; le cas par défaut ne sert qu’à assertNever.
// Tips
// - Enable noFallthroughCasesInSwitch in tsconfig for safer switches
// - Prefer discriminated unions over boolean flags
// - Keep default branch only to call assertNever; avoid swallowing casesVérification de assertNever
Vérification rapide : quel est le rôle de assertNever dans un switch exhaustif ?
Récapitulatif
Récapitulatif : unions discriminées + switch exhaustif = code plus sûr. never et assertNever détectent les cas oubliés lors de la compilation.
Questions Fréquemment Posées
La leçon « Switch exhaustifs et vérifications avec never » est-elle gratuite ?
Oui — le texte complet de « Switch exhaustifs et vérifications avec never » 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 « Switch exhaustifs et vérifications avec never » ?
Écrivez des unions exhaustives avec switch et détectez les cas manquants avec never ; construisez un utilitaire assertNever sûr. 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 3.
Combien de temps prend la leçon « Switch exhaustifs et vérifications avec never » ?
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
- Switch exhaustifs et vérifications avec never
- Fonctions prédicats et opérateur satisfies
- Affiner les unions entre les frontières des fonctions