ما هي قيود النوع العام (Generic Constraints)؟

Question

Accepted Answer

قيد النوع العام (`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`، يمتد لقاعدة ما) مع الحفاظ على النوع المحدد للمستدعي. هي ضرورية للدوال المساعدة، والوصول الآمن للكائنات، وأي نوع عام يحتاج إلى *فعل* شيء ما مع معامله النوعي.