TypeScript میں structural typing کیا ہے؟

Question

Accepted Answer

TypeScript **structural typing** ("duck typing") استعمال کرتا ہے: دو اقسام مطابقت رکھتی ہیں اگر ان کی **ایک جیسی شکل** ہو، چاہے ان کا نام کچھ بھی ہو یا وہ کہاں اعلان کی گئی ہوں۔ یہ *nominal* typing (Java, C#) کے برعکس ہے جہاں مطابقت اعلان کردہ قسم کے نام پر منحصر ہے۔

```ts
interface Point { x: number; y: number; }

function print(p: Point) { console.log(p.x, p.y); }

// No `: Point` annotation anywhere, but the shape matches:
const obj = { x: 1, y: 2, z: 3 };
print(obj); // ✅ works — obj has x and y (extra z is fine)
```

`obj` کبھی `Point` کے طور پر اعلان نہیں کی گئی، پھر بھی یہ قبول کی جاتی ہے کیونکہ یہ *ساختی طور پر* شکل کو پورا کرتی ہے۔ موجودہ متغیر کو منتقل کرتے وقت اضافی خصوصیات کی اجازت دی جاتی ہے۔

## Excess property check کی استثنیٰ

```ts
print({ x: 1, y: 2, z: 3 }); // ❌ Error: 'z' does not exist in type 'Point'
```

Object **literals** جو براہ راست منتقل کی جاتی ہیں انہیں سخت "excess property check" ملتا ہے تاکہ غلطیوں کو پکڑا جا سکے — لیکن اسے پہلے ایک متغیر کو تفویض کریں اور یہ کامیاب ہو جائے گی۔ یہ لچک اور غلطیوں کو پکڑنے کے درمیان ایک قصد سے توازن ہے۔

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

Structural typing TypeScript کو لچکدار اور ergonomic بناتا ہے — آپ ایک interface کو واضح طور پر نافذ کیے بغیر پورا کر سکتے ہیں، جو JavaScript کے object-literal انداز کے لیے موزوں ہے۔

مطابقت: اقسام جو اتفاق سے ایک شکل کو شیئر کرتی ہیں وہ متبادل ہو سکتی ہیں یہاں تک کہ اگر وہ تصوری طور پر غیر متعلقہ ہوں (*branded types* اس وجہ سے استعمال کیے جاتے ہیں جب لوگوں کو nominal جیسی امتیاز کی ضرورت ہوتی ہے)۔