`as const` assertion کیا کرتا ہے؟

Question

Accepted Answer

`as const` ایک **const assertion** ہے جو TypeScript کو کسی value کے لیے widening کرنے کے بجائے **سب سے مخصوص (literal)، گہرائی تک readonly** type infer کرنے کا کہتا ہے۔

```ts
// without as const — widened, mutable
let a = "up";            // type: string
const obj = { x: 1 };     // type: { x: number }
const arr = [1, 2];       // type: number[]

// with as const — narrow literals, readonly
const b = "up" as const;          // type: "up"
const obj2 = { x: 1 } as const;    // type: { readonly x: 1 }
const arr2 = [1, 2] as const;      // type: readonly [1, 2] (a tuple!)
```

یہ تین کام کرتا ہے: *کچھ بھی* widen نہیں کرتا (literal values برقرار رکھتا ہے)، ہر چیز کو `readonly` بنا دیتا ہے، اور arrays کو **tuples** میں بدل دیتا ہے۔

## یہ اتنا کارآمد کیوں ہے

**values کی فہرست سے union type اخذ کرنا (single source of truth):**

```ts
const ROLES = ["admin", "editor", "viewer"] as const;
type Role = typeof ROLES[number]; // "admin" | "editor" | "viewer"
// add a role to the array → the union updates automatically
```

**config/state کے لیے literal types محفوظ رکھنا:**

```ts
const action = { type: "INCREMENT", by: 1 } as const;
// action.type is "INCREMENT" (a literal), so it works in discriminated unions
// without as const it'd be `string`, breaking narrowing
```

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

`as const` runtime values اور درست types کے درمیان پل کا کام کرتا ہے۔

یہ آپ کو data ایک ہی بار define کرنے دیتا ہے (ایک array/object) اور اُس سے بالکل درست literal types اخذ کرنے دیتا ہے — جو action types، route maps، config، اور ہر اُس discriminated-union tag کے لیے انمول ہے جسے `string` تک widen ہونے کے بجائے literal رہنا ضروری ہے۔