never — это тип значений, которые никогда не происходят — функция, которая никогда не возвращает значение (выбрасывает исключение или зависает в бесконечном цикле), или ветка, которую компилятор доказал невозможной. Это пустой тип: ни одно значение не может быть присвоено never (кроме самого never).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
Когда вы сужаете объединение до ничего, TypeScript присваивает оставшемуся значению тип never. Вы используете это, чтобы принудить обработку каждого случая:
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;
}
}
Теперь, если кто-то добавит { kind: "triangle"; ... } к Shape, но забудет один случай, s в ветке default будет типом triangle (не never), поэтому const _exhaustive: never = s не скомпилируется — указывая вам точно на switch, который нужно обновить.
function a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never превращает вопрос "обработал ли я каждый случай?" из надежды во время выполнения в гарантию во время компиляции.
Это ключ к безопасной и будущеустойчивой обработке дискриминированных объединений — добавьте вариант, и компилятор перечислит каждое место, которое вам нужно обновить.