never ialah jenis bagi nilai yang tidak pernah berlaku — sebuah fungsi yang tidak pernah memulangkan nilai (membuang ralat atau berulang selama-lamanya), atau satu cabang yang telah dibuktikan oleh pengkompil sebagai mustahil. Ia ialah jenis kosong: tiada nilai boleh ditetapkan kepada never (kecuali never itu sendiri).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
Apabila anda menyempitkan satu union sehingga tiada yang tinggal, TypeScript memberi jenis never kepada nilai yang berbaki. Anda memanfaatkan ini untuk memaksa pengendalian setiap kes:
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;
}
}
Kini jika seseorang menambah { kind: "triangle"; ... } kepada Shape tetapi terlupa satu kes, s dalam default ialah jenis triangle (bukan never), jadi const _exhaustive: never = s gagal dikompil — menunjuk anda tepat kepada switch yang perlu dikemas kini.
function a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never menukar "adakah saya mengendalikan setiap kes?" daripada harapan masa runtime kepada jaminan masa kompil.
Ia adalah kunci kepada pengendalian discriminated union yang selamat dan kalis masa depan — tambah satu varian dan pengkompil akan menyenaraikan setiap tempat yang anda mesti kemas kini.