never არის ტიპი მნიშვნელობებისთვის, რომლებიც არასოდეს ხდება — ფუნქცია, რომელიც არასოდეს დაბრუნდება (გამოდის ან უსასრულოდ ციკლდება), ან განტოტი, რომელიც კომპილატორმა დაამტკიცა შეუძლებელია. ეს არის ცარიელი ტიპი: არცერთი მნიშვნელობა არ არის მიენიჭებული never-ს (გარდა თავად never-ის).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
როდესაც თქვენ კიდობთ union-ს არაფრამდე, 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 გარდაქმნის "ყველა შემთხვევა მე მივაჩნე?" სახელმწიფო ნების კომპილაციის დროის გარანტიად.
ეს არის გასაღები უსაფრთხო, მომავალ-დამუშავებული დისკრიმინირებული unions-ის მართვაში — დაამატეთ ვარიანტი და კომპილატორი ჩამოთვლის ყოველ ადგილს, რომელიც განახლდა უნდა.