عام حدود (Generic Constraints) کیا ہیں؟

Question

Accepted Answer

A **generic constraint** (`T extends ...`) یہ محدود کرتا ہے کہ ایک عام پیرامیٹر کون سی اقسام ہو سکتی ہیں، تاکہ آپ اس پر کچھ خصوصیات یا طریقے محفوظ طریقے سے استعمال کر سکیں۔ بغیر کسی حد کے، ایک عام *کچھ بھی* ہو سکتا ہے، لہذا آپ فرض نہیں کر سکتے کہ اس کے پاس کوئی رکن ہے۔ ```ts // ❌ without a constraint, you can't access .length — T might be a number function longestBad(a: T, b: T) { return a.length > b.length ? a : b; // Error: 'length' does not exist on 'T' } // ✅ constrain T to things that HAVE a length function longest(a: T, b: T): T { return a.length > b.length ? a : b; } longest("abc", "de"); // ✅ strings have length longest([1, 2], [3]); // ✅ arrays have length longest(1, 2); // ❌ numbers have no length ``` حد ایک *وعدہ* ہے: "`T` ہمیشہ کم سے کم یہ شکل رکھے گا," جو کمپائلر کو `.length` کی اجازت دیتا ہے جبکہ `T` کو درست رکھتا ہے (واپسی کی قسم حقیقی صف/سٹرنگ قسم ہے، حد نہیں)۔ ## چابیوں کے لیے حد (بہت عام) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` اس بات کی تنسیخ دیتا ہے کہ `key` `obj` کی حقیقی خصوصیت ہے — اور `T[K]` اس کی درست قسم واپس کرتا ہے۔ ## ڈیفالٹ قسم کے پیرامیٹرز ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## یہ کیوں اہم ہے حدود لچک اور حفاظت کے درمیان توازن ہیں: وہ عام کوڈ کو کم سے کم شکل پر انحصار کرنے کی اجازت دیتے ہیں (`.length` ہے، چابی `K` ہے، کچھ بیس کو بڑھاتے ہیں) جبکہ کالر کی مخصوص قسم کو محفوظ رکھتے ہیں۔ وہ Utility کے فنکشن، قسم سے محفوظ شے کی رسائی، اور کسی بھی عام کے لیے ضروری ہیں جسے اپنے قسم کے پیرامیٹر کے ساتھ *کچھ کرنا* ہو۔