الأنواع الشرطية والاستنتاج

تسمح لك الأنواع الشرطية بالتعبير عن قرارات النوع غير التافهة بناءً على علاقات الميراث. يشبه بناء الجملة عامل التشغيل الثلاثي لجافا سكريبت:

T extends U ? X : Y

إذا كان النوع T قابلاً للتعيين إلى U، فسيكون النوع الناتج X، وإلا فسيكون Y.

الأنواع الشرطية الأساسية

يقوم النوع الشرطي بتقييم الشرط في وقت الترجمة:

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

يكون هذا النمط قويًا للغاية عند دمجه مع الأدوية العامة لإنشاء أنواع أدوات مساعدة مرنة وديناميكية.

نوع الاستخراج باستخدام infer

داخل جملة extends من النوع الشرطي، يمكننا استخدام الكلمة الأساسية infer للإعلان عن متغير النوع الذي سيتم استنتاجه بواسطة المترجم.

على سبيل المثال، إذا أردنا استخراج نوع الإرجاع للدالة:

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

في هذا المثال، infer R يخبر TypeScript بأن يحدد تلقائيًا نوع الإرجاع للدالة ويجعلها متاحة كـ R في الفرع الموجب للشرطية.

جربه بنفسك

التمرين 1: النوع IsString

التمرين 2: استخراج نوع من مصفوفة باستخدام infer