قيد النوع العام (T extends ...) يحد من أنواع المعاملات العامة التي يمكنها أن تكون، مما يسمح لك باستخدام خصائص أو طرق معينة بأمان. بدون قيد، يمكن أن يكون النوع العام أي شيء، لذا لا يمكنك افتراض أن لديه أي أعضاء.
longestBad<T>(: T, : T) {
a. > b. ? a : b;
}
longest<T { : }>(: T, : T): T {
a. > b. ? a : b;
}
(, );
([, ], []);
(, );
القيد هو وعد: "T سيكون دائماً بهذا الشكل على الأقل"، مما يسمح للمجمع بالسماح بـ .length مع الحفاظ على دقة T (نوع الإرجاع هو نوع المصفوفة/السلسلة الفعلي، وليس القيد).
function pluck<T, K extends keyof T>(obj: T, key: K): T[K] {
return obj[key];
}
K extends keyof T يضمن أن key هي خاصية فعلية لـ obj — و T[K] يعيد نوعها الدقيق.
interface Box<T = string> { value: T; } // T defaults to string if not specified
القيود هي التوازن بين المرونة والأمان: فهي تسمح لكود النوع العام بالاعتماد على شكل أدنى (له .length، له المفتاح K، يمتد لقاعدة ما) مع الحفاظ على النوع المحدد للمستدعي.
هي ضرورية للدوال المساعدة، والوصول الآمن للكائنات، وأي نوع عام يحتاج إلى فعل شيء ما مع معامله النوعي.
مكتبة من أسئلة مقابلات تقنية المعلومات مع إجابات مفصّلة — من المبتدئ إلى المتقدم.
تبرع