Введение в условные типы

Условные типы в TypeScript позволяют создавать типы, которые динамически адаптируются к условию, делая код более гибким и пригодным для повторного использования.

Они используют синтаксис, похожий на синтаксис условного (ternary) оператора JavaScript.

Что такое условные типы?

Условные типы позволяют определить тип, зависящий от другого типа. Базовый синтаксис выглядит так:

T extends U ? X : Y

Это означает: если T расширяет U, типом будет X, иначе — Y.

Базовый пример условных типов

Вот простой пример:

type IsString<T> = T extends string ? 'Yes' : 'No';

// Test cases
type A = IsString<string>; // 'Yes'
type B = IsString<number>; // 'No'

Использование условных типов для перегрузки функций

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

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

function getData(): string {
  return 'Hello';
}

type DataType = ReturnType<typeof getData>; // string

Распределительные условные типы

Когда условные типы применяются к объединённым типам, они распределяются по каждому элементу объединения:

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

type A = ToArray<string | number>;
// A = string[] | number[]

Объединение условных и отображаемых типов

Вы можете объединять условные типы с отображаемыми типами для мощного преобразования типов:

type User = {
  id: number;
  name: string;
  isAdmin?: boolean;
};

type MakeRequired<T> = {
  [K in keyof T]-?: T[K] extends undefined ? never : T[K];
};

type RequiredUser = MakeRequired<User>;
// { id: number; name: string; isAdmin: never; }

Распространённые случаи использования условных типов

Условные типы часто применяются для:

• Вывода возвращаемых типов или параметров.
• Преобразования объединений и пересечений.
• Создания вспомогательных типов, таких как Exclude, Extract и NonNullable.

Практическое задание

Создайте условный тип, который проверяет, является ли тип массивом, и в таком случае возвращает тип его элементов; иначе он возвращает сам тип.

Поздравляем!

Вы научились использовать условные типы для создания динамических и пригодных для повторного использования определений типов в TypeScript. Потренируйтесь применять эти концепции, чтобы писать более мощный и гибкий код на TypeScript!