never એ મૂલ્યોનો પ્રકાર છે જે ક્યારેય બનતો નથી — એક ફંક્શન જે ક્યારેય પાછો ફરતો નથી (throw કરે છે અથવા હંમેશ લૂપ કરે છે), અથવા એક શાખા જેને કમ્પાઈલર અશક્ય સાબિત કર્યો છે. તે ખાલી પ્રકાર છે: કોઈપણ મૂલ્ય never ને અસાઇન કરી શકાતું નથી (never જાતને સિવાય).
(): { (msg); }
(): { () {} }
never ઉપયોગી કેમ છે: ચૂકવણીની તપાસજ્યારે તમે એક યુનિયનને કશુંને ઘટાડો કરો છો, 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 ત્રિકોણ પ્રકાર છે (ન કે never), તેથી const _exhaustive: never = s કમ્પાઇલ કરવામાં નિષ્ફળ જાય — તમને બરાબર તે સ્વીચ તરફ નિર્દેશ કરતા છે જે અપડેટ કરવાની જરૂર છે.
never vs voidfunction a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never "શું મેં દરેક કેસ હેન્ડલ કર્યો?" ને રનટાઇમ આશાથી કમ્પાઇલ-ટાઇમ ગ્યારંટીમાં ફેરવે છે.
તે સુરક્ષિત, ભવિષ્યના આધારમાં પરિવર્તનશીલ યુનિયનોના હેન્ડલિંગ માટે માસ્ટર ચાવી છે — વિવિધતા ઉમેરો અને કમ્પાઇલર દરેક જગ્યાને ગણતરી કરે છે જ્યાં તમારે અપડેટ કરવું જોઈએ.