مشروط اور نقشہ بندی شدہ اقسام کیا ہیں؟

Question

Accepted Answer

یہ TypeScript کے **قسم کی سطح پروگرام رازی** ابزار ہیں — وہ موجودہ اقسام سے نئی اقسام کا حساب لگاتے ہیں۔ ## نقشہ بندی شدہ اقسام — ہر ایک خصوصیت کو تبدیل کریں نقشہ بندی شدہ قسم ایک قسم کی چابیوں پر دوبارہ کام کرتی ہے اور ہر ایک کو تبدیل کرتی ہے: ```ts type ReadonlyAll = { readonly [K in keyof T]: T[K] }; type Optional = { [K in keyof T]?: T[K] }; interface User { id: number; name: string; } type RO = ReadonlyAll; // { readonly id: number; readonly name: string } ``` `[K in keyof T]` ہر چابی `K` پر دوبارہ کام کرتا ہے; `T[K]` وہ چابی کی قدر کی قسم ہے۔ یہ ہے کہ `Partial`، `Readonly`، اور `Required` کیسے لاگو کیے جاتے ہیں۔ آپ چابیوں کو دوبارہ نقشہ بند کر سکتے ہیں اور ترمیم کنندگان شامل کر سکتے ہیں (`-readonly`, `-?` انہیں ہٹاتے ہیں)۔ ## مشروط اقسام — ایک شرط پر شاخہ ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` قسم کی سطح کا if/else ہے۔ `infer` کے ساتھ آپ شرط کے اندر اقسام کو *نکال* سکتے ہیں: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## انہیں یکجا کرنا — ایک اصل مثال ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` نقشہ بندی شدہ اقسام بھی شرائط میں unions پر **تقسیم** کرتی ہیں، طاقتور تبدیلیوں کو فعال کرتے ہوئے۔ ## یہ کیوں اہم ہے نقشہ بندی اور مشروط اقسام لائبریریوں کو درست قسم کے تعلقات کا اظہار کرنے کی اجازت دیتی ہیں — وہ افادیت اقسام، فارم/تصدیق لائبریریں، ORM سوال بنانے والوں، اور API کلائنٹس کو شاہ دیتی ہیں جو جواب کی شکلیں اندازہ کرتی ہیں۔ وہ جدید ہیں، لیکن ان کو سمجھنا وضاحت کرتا ہے کہ TypeScript کا قسم کا نظام *کیسے* اتنا واضح ہو سکتا ہے، اور آپ کو دستی طریقے سے لکھے ہوئے متغیرات کی بجائے قابل استعمال دوبارہ قسم کی تبدیلیاں تیار کرنے کی اجازت دیتا ہے۔