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

مرحبًا

ما التوزيع

type Wrap<T> = T extends any ? { value: T } : never;
type R = Wrap<string | number>;
// = { value: string } | { value: number }

الشرط الأساسي

type Bare<T> = T extends string ? 'yes' : 'no';
type Wrapped<T> = [T] extends [string] ? 'yes' : 'no';
type B = Bare<'a' | 'b'>; // 'yes' | 'yes' = 'yes'
type W = Wrapped<'a' | 'b'>; // 'no' — treated as a tuple

تصفية الاتحادات باستخدام never

type StringsOnly<T> = T extends string ? T : never;
type S = StringsOnly<string | number | boolean>; // string

الأداة المضمَّنة Extract

type Extract<T, U> = T extends U ? T : never;
type E = Extract<string | number | boolean, string | number>; // string | number

الأداة المضمَّنة Exclude

type Exclude<T, U> = T extends U ? never : T;
type Ex = Exclude<string | number | boolean, boolean>; // string | number

توزيع ToArray

type ToArray<T> = T extends any ? T[] : never;
type R = ToArray<string | number>; // string[] | number[]

حالة استخدام منع التوزيع

type IsUnion<T> = [T] extends [T] ? [T] extends [Exclude<T, T>] ? false : true : false;

الأنواع المُحوَّلة التوزيعية

type PickByValue<T, V> = {
  [K in keyof T as T[K] extends V ? K : never]: T[K]
};

النوع الشرطي التوزيعي في ReturnType

type Fn = (() => string) | (() => number);
type R = ReturnType<Fn>; // string | number

التوزيع الكسول مقابل الفوري

تحقّق سريع

مراجعة