Conditional-типы

Принципы

• Условный тип (T extends X ? Y : Z) позволяет вычислять новый тип на основе совместимости T с X.
• infer внутри условного типа извлекает вложенный тип и хранит его в новом алиасе (ReturnType, ElementType).
• Используйте условные типы для фильтрации свойств и построения обобщённых утилит (PickProperties).

Пример

type ReturnType_<T> = T extends (...args: any[]) => infer R ? R : any;
type ElementType<T> = T extends (infer U)[] ? U : T;
type ParametersType<T> = T extends (...args: infer P) => any ? P : never;

type R1 = ReturnType_<() => string>;            // string
type TestType = ElementType<typeof [1, 2, 3]>;  // number
type TestType2 = ParametersType<typeof parseInt>; // [string, (radix?: number) => number]

Практика

• Описывайте свойства по условию (PickProperties<T, string | number>), чтобы выделять нужные ключи.
• Для обобщённых функций всегда указывайте верхнюю границу (T extends ...), иначе T примет any.
• Следите за распределительностью: условный тип на объединении обрабатывает каждый член отдельно (T extends any ? ... : ...).