ما هي الأنواع الشرطية والمعينة؟

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]; }; ``` الأنواع المعينة أيضًا **توزع** على الاتحادات في الشروط، مما يتيح تحويلات قوية. ## لماذا هذا مهم الأنواع المعينة والشرطية تتيح للمكتبات التعبير عن علاقات نوعية دقيقة — فهي تنفذ أنواع الخدمات العامة، وتقوي مكتبات النماذج والتحقق من الصحة، وبناة استعلامات ORM، وعملاء API الذين يستنتجون أشكال الاستجابة. هي متقدمة، لكن فهمها يشرح *كيفية* جعل نظام أنواع TypeScript معبّرًا جدًا، ويتيح لك بناء تحويلات نوعية قابلة لإعادة الاستخدام بدلاً من كتابة المتغيرات يدويًا.