Exhaustive Check (never)

Definition

Technique utilisant le type never pour garantir que tous les cas d'une union sont traites. Si un cas est oublie, le compilateur genere une erreur.

Analogie

Comme une checklist de securite en aviation — chaque point doit etre coche, aucun oubli n'est tolere.

Exemple de code

type Shape = "circle" | "square";
function area(s: Shape) {
  switch (s) {
    case "circle": return 1;
    case "square": return 2;
    default: const _: never = s; return _;
  }
}

Cas d'usage

Garantir a la compilation que tout ajout a une union est gere partout dans le code.

Anti-pattern

Termes lies