Type inference کیسے کام کرتا ہے؟

Question

Accepted Answer

**Type inference** یہ ہے کہ TypeScript خودکار طور پر تناظر سے اقسام معلوم کرتا ہے، تاکہ آپ کو ہر چیز کو annotate کرنے کی ضرورت نہ ہو۔ یہ ابتدائی قدروں، return statements اور استعمال سے اندازہ لگاتا ہے۔

```ts
let x = 10;          // inferred: number
let s = "hi";        // inferred: string
const arr = [1, 2];  // inferred: number[]
const obj = { a: 1, b: "x" }; // inferred: { a: number; b: string }
```

## Functions اور callbacks میں Inference

```ts
function double(n: number) { return n * 2; } // return inferred as number

[1, 2, 3].map(n => n * 2); // `n` inferred as number from the array — no annotation needed
```

یہ **contextual typing** اسی وجہ سے ہے کہ callbacks کو شاید ہی parameter annotations کی ضرورت ہو — TypeScript جانتا ہے کہ `number[]` پر `map` ایک `number` کو منتقل کرتا ہے۔

## let vs const widening

```ts
let a = "hello";     // widened to string (let can be reassigned)
const b = "hello";   // narrowed to the literal type "hello"
```

`const` *literal* قسم کو اندازہ لگاتا ہے کیونکہ یہ کبھی تبدیل نہیں ہو سکتا؛ `let` عام قسم میں وسیع ہوتا ہے۔ یہ unions کے لیے اہم ہے:

```ts
const dir = "up";              // type "up"
let dir2 = "up";               // type string
```

## جب بھی annotation کریں

- Function parameters (اندازہ نہیں لگایا جا سکتا)۔
- جب inference بہت وسیع/تنگ ہو (مثال کے طور پر آپ کو `string` چاہیے نہ کہ literal)۔
- خالی containers: `const xs = []` `any[]` کا اندازہ لگاتا ہے — `number[]` کے طور پر annotate کریں۔

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

Inference TypeScript کوڈ کو JavaScript کی طرح مختصر رکھتا ہے جبکہ مکمل طور پر typed رہتا ہے۔

سمجھنا کہ یہ *کب* کام کرتا ہے (اور کب وسیع ہوتا ہے) آپ کو صرف وہاں annotate کرنے دیتا ہے جہاں یہ واقعی مدد کرتا ہے۔