قسم کی تنگی (Type Narrowing) کیا ہے اور کمپائلر یہ کیسے کرتا ہے؟

Question

Accepted Answer

**تنگی** یہ ہے کہ TypeScript ایک وسیع قسم (جیسے union) کو کوڈ کی شاخ میں زیادہ مخصوص قسم میں بہتر بناتا ہے، رن ٹائم چیکس کی بنیاد پر۔ کمپائلر کنٹرول فلو کو ٹریک کرتا ہے اور قسم کو بہ مطابق اپ ڈیٹ کرتا ہے۔

```ts
function process(x: string | number) {
  if (typeof x === "string") {
    x.toUpperCase(); // ✅ here x is narrowed to string
  } else {
    x.toFixed(2);    // ✅ here x must be number
  }
}
```

## تنگی کے اوزار

```ts
typeof x === "string"          // typeof guard — for primitives
x instanceof Date              // instanceof — for classes
"role" in obj                  // in operator — property existence
Array.isArray(x)               // built-in guards
if (x) { ... }                  // truthiness narrows out null/undefined/0/""
if (x === null) { ... }         // equality narrowing
```

## ممیز شدہ unions صاف طریقے سے تنگ کرتے ہیں

```ts
type Shape =
  | { kind: "circle"; r: number }
  | { kind: "square"; side: number };

function area(s: Shape) {
  switch (s.kind) {            // the discriminant
    case "circle": return Math.PI * s.r ** 2;  // s is the circle variant
    case "square": return s.side ** 2;          // s is the square variant
  }
}
```

مشترکہ لٹرل فیلڈ (`kind`) کو چیک کرنا کمپائلر کو بالکل بتاتا ہے کہ آپ کے پاس کون سا variant ہے، اس variant کی خصوصیات کو کھول دیتا ہے۔

## حسب ضرورت guards تنگی کو بڑھاتے ہیں

```ts
function isUser(x: unknown): x is User { return !!x && typeof (x as any).name === "string"; }
```

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

تنگی یہ ہے جو union اقسام کو *استعمال کے قابل* بناتا ہے — یہ آپ کو قسم کو ثابت کرنے کے بعد ہی قسم سے متعلقہ اراکین تک محفوظ طریقے سے رسائی کی اجازت دیتا ہے، اور رن ٹائم چیکس کو کمپائل ٹائم ضمانتوں میں تبدیل کرتا ہے۔

یہ `string | number`, `T | null`، اور ٹیگ شدہ حالت کو سنبھالنے کے پیچھے روزمرہ کا آلہ ہے۔