Условные типы и вывод

Условные типы позволяют выражать нетривиальные решения о типах на основе отношений наследования. Синтаксис напоминает тернарный оператор JavaScript:

T extends U ? X : Y

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

Основные условные типы

Условный тип оценивает условие во время компиляции:

type IsNumber<T> = T extends number ? true : false;

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

Этот шаблон чрезвычайно эффективен в сочетании с универсальными шаблонами для создания гибких и динамических типов утилит.

Введите извлечение с помощью infer.

Внутри предложения extends условного типа мы можем использовать ключевое слово infer, чтобы объявить переменную типа, которая будет выведена компилятором.

Например, если мы хотим извлечь тип возвращаемого значения функции:

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

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

В этом примере infer R сообщает TypeScript автоматически определить тип возвращаемого значения функции и сделать его доступным как R в положительной ветви условия.

Попробуйте сами

Упражнение 1. Тип IsString

Упражнение 2. Извлечение типа из массива с помощью infer