never là type của các giá trị không bao giờ xảy ra — một function không bao giờ trả về (ném lỗi hoặc lặp vô tận), hoặc một nhánh mà compiler đã chứng minh là không thể xảy ra. Nó là type rỗng (empty): không có giá trị nào có thể gán cho never (ngoại trừ chính never).
function fail(msg: string): never { throw new Error(msg); } // không bao giờ trả về
function loop(): never { while (true) {} }
Khi bạn narrow một union xuống còn rỗng, TypeScript gán type cho giá trị còn lại là never. Bạn khai thác điều này để buộc xử lý mọi case:
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:
// nếu tất cả case đã được xử lý, s là `never` ở đây — gán OK
const _exhaustive: never = s;
return _exhaustive;
}
}
Bây giờ nếu ai đó thêm { kind: "triangle"; ... } vào Shape nhưng quên một case, s trong nhánh default sẽ là kiểu triangle (không phải never), nên const _exhaustive: never = s không biên dịch được — chỉ cho bạn chính xác switch nào cần cập nhật.
function a(): void {} // trả về bình thường, chỉ là không có giá trị
function b(): never { throw "x"; } // không bao giờ trả về
never biến câu hỏi "mình đã xử lý mọi case chưa?" từ một hy vọng lúc runtime thành một đảm bảo lúc biên dịch.
Đó là chìa khóa để xử lý discriminated union một cách an toàn và bền vững với tương lai — thêm một biến thể và compiler sẽ liệt kê mọi nơi bạn phải cập nhật.