مقدمة إلى الأنواع الشرطية

تتيح لك الأنواع الشرطية في TypeScript إنشاء أنواع تتكيف ديناميكيًا استنادًا إلى شرط، مما يجعل شيفرتك أكثر مرونة وقابلية لإعادة الاستخدام.

وتستخدم صياغة مشابهة لصياغة العامل الشرطي (ternary) في JavaScript.

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

تتيح لك الأنواع الشرطية تعريف نوع يعتمد على نوع آخر. الصياغة الأساسية هي:

T extends U ? X : Y

وهذا يعني: إذا كان T يمتد إلى U، فسيكون النوع هو X، وإلا فسيكون Y.

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

إليك مثالًا بسيطًا:

type IsString<T> = T extends string ? 'Yes' : 'No';

// Test cases
type A = IsString<string>; // 'Yes'
type B = IsString<number>; // 'No'

استخدام الأنواع الشرطية مع التحميل الزائد للدوال

يمكن للأنواع الشرطية تبسيط التحميل الزائد للدوال من خلال تحديد أنواع القيم المُعادة ديناميكيًا:

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

function getData(): string {
  return 'Hello';
}

type DataType = ReturnType<typeof getData>; // string

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

عند تطبيق الأنواع الشرطية على أنواع الاتحاد، فإنها تتوزع على كل عضو من أعضاء الاتحاد:

type ToArray<T> = T extends any ? T[] : never;

type A = ToArray<string | number>;
// A = string[] | number[]

دمج الأنواع الشرطية مع الأنواع المعيّنة

يمكنك دمج الأنواع الشرطية مع الأنواع المعيّنة لإجراء تحويلات قوية على الأنواع:

type User = {
  id: number;
  name: string;
  isAdmin?: boolean;
};

type MakeRequired<T> = {
  [K in keyof T]-?: T[K] extends undefined ? never : T[K];
};

type RequiredUser = MakeRequired<User>;
// { id: number; name: string; isAdmin: never; }

حالات الاستخدام الشائعة للأنواع الشرطية

تُستخدم الأنواع الشرطية عادةً في:

• استنتاج أنواع القيم المُعادة أو المعلمات.
• تحويل أنواع الاتحاد والتقاطع.
• إنشاء أنواع أدوات مثل Exclude وExtract وNonNullable.

مهمة تدريبية

أنشئ نوعًا شرطيًا يتحقق مما إذا كان النوع مصفوفة، ويُعيد نوع عناصرها إذا كان كذلك؛ وإلا فيُعيد النوع نفسه.

تهانينا!

لقد تعلمت كيفية استخدام الأنواع الشرطية لإنشاء تعريفات أنواع ديناميكية وقابلة لإعادة الاستخدام في TypeScript. مارس هذه المفاهيم لكتابة شيفرة TypeScript أكثر قوة ومرونة!