never उन मानों का प्रकार है जो कभी नहीं होते — एक फ़ंक्शन जो कभी रिटर्न नहीं करता (throw करता है या हमेशा के लिए लूप करता है), या एक शाखा जिसे कंपाइलर ने असंभव साबित किया है। यह खाली प्रकार है: कोई भी मान never को असाइन नहीं किया जा सकता (never को छोड़कर)।
(): { (msg); }
(): { () {} }
never उपयोगी क्यों है: विस्तृतता जांचजब आप एक 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;
}
}
अब यदि कोई Shape में { kind: "triangle"; ... } जोड़ता है लेकिन एक केस को भूल जाता है, तो default में s त्रिभुज प्रकार है (न कि never), इसलिए const _exhaustive: never = s संकलित करने में विफल होता है — आपको बिल्कुल उस switch की ओर निर्देशित करता है जिसे अपडेट करने की आवश्यकता है।
never vs voidfunction a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never "क्या मैंने हर मामले को संभाला?" को रनटाइम आशा से कंपाइल-टाइम गारंटी में बदल देता है।
यह discriminated union को सुरक्षित, भविष्य-प्रमाण तरीके से संभालने की कुंजी है — एक variant जोड़ें और कंपाइलर हर जगह की गणना करता है जहां आपको अपडेट करना चाहिए।