A never a soha nem előforduló értékek típusa — egy függvény, amely soha nem tér vissza (kivételt dob vagy örökké hurkol), vagy egy ág, amelyet a fordító bizonyítottan lehetetlen. Ez az üres típus: egyetlen érték sem rendelhető hozzá a never-hez (never magán kívül).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
never: kimerítő ellenőrzésekHa egy uniót semmire szűkít le, a TypeScript a megmaradó értéket never típusként típusozza meg. Ezt arra használja, hogy köteleztesse az összes eset kezelésére:
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;
}
}
Ha valaki hozzáadja { kind: "triangle"; ... } a Shape -hez, de elfelejt egy esetet, akkor s az alapértelmezettben a háromszög típusa (nem never), így const _exhaustive: never = s nem fordul le — pontosan arra az switch-re mutat, amelyet frissíteni kell.
never vs voidfunction a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
A never a "kezeltem-e minden esetet?" kérdést a futásidejű reménytől a fordítási idejű garanciáig fordítja.
Ez a kulcs a megkülönböztetett uniók biztonságos, jövőbiztos kezelésére — adjunk hozzá egy változatot, és a fordító felsorolja az összes helyet, ahol frissíteni kell.