never ist der Typ von Werten, die niemals vorkommen — eine Funktion, die niemals zurückkehrt (Ausnahme wirft oder für immer loopt), oder ein Branch, den der Compiler als unmöglich nachgewiesen hat. Es ist der leere Typ: Kein Wert kann never zugewiesen werden (außer never selbst).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
Wenn Sie eine Union zu nichts eingrenzen, gibt TypeScript dem verbleibenden Wert never ein. Sie nutzen dies aus, um die Behandlung aller Fälle zu erzwingen:
type Shape =
| { kind: "circle"; r: number }
| { kind: "square"; side: number };
function area(s: Shape): number {
switch (s.kind) {
case "circle": return Math.PI * s.r ** 2;
case "square": return s.side ** 2;
default:
// if all cases are handled, s is `never` here — assignment OK
const _exhaustive: never = s;
return _exhaustive;
}
}
Jetzt, wenn jemand { kind: "triangle"; ... } zu Shape hinzufügt, aber einen Fall vergisst, ist s im Default-Fall der Triangle-Typ (nicht never), daher schlägt const _exhaustive: never = s fehl beim Kompilieren — und zeigt dir genau welcher switch aktualisiert werden muss.
function a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never wandelt "Habe ich alle Fälle behandelt?" von einer Runtime-Hoffnung in eine Compile-Zeit-Garantie um.
Es ist der Schlüssel zu sicherer, zukunftssicherer Behandlung von diskriminierten Unions — füge eine Variante hinzu und der Compiler listet jeden Ort auf, an dem Sie aktualisieren müssen.