never قسم کیا ہے اور یہ exhaustiveness checks کو کیسے فعال کرتا ہے؟

Question

Accepted Answer

`never` ایسی قدروں کی قسم ہے جو **کبھی بھی نہیں ہوتی** — ایک فنکشن جو کبھی واپس نہیں آتا (پھینکتا یا ہمیشہ کے لیے لوپ کرتا) یا ایک شاخ جو کمپائلر نے ثابت کیا ہے ناممکن ہے۔ یہ *خالی* قسم ہے: کوئی بھی قدر `never` کو تفویض نہیں کی جا سکتی (خود کے علاوہ)۔

```ts
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
```

## never کیوں مفید ہے: exhaustiveness checking

جب آپ ایک union کو کچھ نہ کچھ تک محدود کرتے ہیں، تو TypeScript باقی ماندہ قدر کو `never` کے طور پر ٹائپ کرتا ہے۔ آپ ہر معاملے کو سنبھالنے پر مجبور کرنے کے لیے اس سے فائدہ اٹھاتے ہیں:

```ts
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` میں شامل کرتا ہے لیکن ایک معاملہ بھول جاتا ہے، تو default میں `s` مثلث قسم ہے (ہرگز نہیں)، لہذا `const _exhaustive: never = s` **مرتب کرنے میں ناکام** — بالکل اس سوئچ کی طرف اشارہ کرتا ہے جس کو اپڈیٹ کرنے کی ضرورت ہے۔

## never بمقابلہ void

```ts
function a(): void {}   // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
```

## یہ اہم کیوں ہے

`never` "کیا میں نے ہر معاملے کو سنبھالا؟" کو رن ٹائم کی امید سے کمپائل ٹائم کی ضمانت میں تبدیل کرتا ہے۔

یہ محفوظ، مستقبل سے محفوظ discriminated unions کو سنبھالنے کی کلید ہے — ایک variant شامل کریں اور کمپائلر ہر جگہ کا شمار کرتا ہے جہاں آپ کو اپڈیٹ کرنا ہے۔