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

ما المقصود بـ infer؟

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

مثال أساسي على infer

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

آلية عمل infer

type First<T> = T extends [infer F, ...any[]] ? F : never;
type X = First<[string, number, boolean]>; // string

الاستدلال من المعلمات العامة

type Unwrap<T> = T extends Promise<infer U> ? U : T;
type A = Unwrap<Promise<string>>; // string
type B = Unwrap<number>;          // number

متغيرات infer متعددة

type Head<T> = T extends [infer H, ...infer Tail] ? H : never;
type Tail<T> = T extends [infer H, ...infer Tail] ? Tail : never;

infer في معلمات الدوال

type FirstParam<T> = T extends (first: infer P, ...rest: any[]) => any ? P : never;
type A = FirstParam<(x: string, y: number) => void>; // string

السلوك التوزيعي مع infer

type UnwrapAll<T> = T extends Promise<infer U> ? U : T;
type X = UnwrapAll<Promise<string> | Promise<number>>;
// string | number

infer المتداخل

type UnwrapPromiseArray<T> =
  T extends Promise<infer U>
    ? U extends (infer V)[]
      ? V
      : U
    : T;

infer مع أنماط السلاسل النصية

type GetDomain<T extends string> =
  T extends `https://${infer Domain}` ? Domain : never;
type D = GetDomain<"https://example.com">; // "example.com"

الأخطاء الشائعة

// Error: infer can only appear in extends clauses
type Bad<T> = infer R; // SyntaxError

مراجعة سريعة: infer

اختبار سريع

ما تعلّمتموه