Что такое conditional types в TypeScript?

Conditional Types в TypeScript

Conditional types позволяют задавать типы, которые зависят от условия. Синтаксис аналогичен тернарному оператору:

T extends U ? X : Y

Если тип T совместим с типом U, результирующий тип — X, иначе — Y.

Базовое использование

Простой пример — определение типа на основе входного параметра:

type IsString<T> = T extends string ? true : false;

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

Distributive Conditional Types

Когда условный тип применяется к union-типу, он автоматически распределяется по каждому члену union. Это называется дистрибутивностью:

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

// Распределяется: string[] | number[], а не (string | number)[]
type Result = ToArray<string | number>;

Чтобы отключить дистрибутивность, нужно обернуть тип в кортеж:

type ToArrayNonDist<T> = [T] extends [unknown] ? T[] : never;

// Теперь: (string | number)[]
type Result = ToArrayNonDist<string | number>;

Ключевое слово infer

infer позволяет извлекать типы прямо внутри условного типа, объявляя переменную типа в позиции extends:

// Извлекаем тип возвращаемого значения функции
type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type Fn = (x: number) => string;
type FnReturn = ReturnType<Fn>; // string

// Извлекаем тип элемента массива
type UnpackArray<T> = T extends (infer U)[] ? U : T;

type Unpacked = UnpackArray<number[]>; // number

Встроенные утилиты на основе conditional types

Многие стандартные утилиты TypeScript реализованы через conditional types:

// Exclude — исключает из T типы, совместимые с U
type Exclude<T, U> = T extends U ? never : T;

type T1 = Exclude<string | number | boolean, string>; // number | boolean

// Extract — оставляет только типы из T, совместимые с U
type Extract<T, U> = T extends U ? T : never;

type T2 = Extract<string | number | boolean, string>; // string

// NonNullable — убирает null и undefined
type NonNullable<T> = T extends null | undefined ? never : T;

Рекурсивные conditional types

Начиная с TypeScript 4.1, conditional types поддерживают рекурсию:

// Рекурсивное извлечение типа из вложенных массивов
type DeepUnpack<T> = T extends (infer U)[] ? DeepUnpack<U> : T;

type Deep = DeepUnpack<number[][][]>; // number

Практический паттерн: фильтрация ключей объекта

// Оставляем только ключи, значения которых — строки
type StringKeys<T> = {
  [K in keyof T]: T[K] extends string ? K : never;
}[keyof T];

interface User {
  name: string;
  age: number;
  email: string;
}

type UserStringKeys = StringKeys<User>; // 'name' | 'email'