Введение в динамическое создание типов

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

Это достигается с помощью таких возможностей, как условные типы, отображаемые типы и типы индексированного доступа.

Что такое динамическое создание типов?

Динамическое создание типов заключается в генерации новых типов путём преобразования или обработки существующих, часто с использованием расширенных средств работы с типами TypeScript.

Использование условных типов

Условные типы используют extends, чтобы оценивать типы на основе условия:

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

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

Отображаемые типы для динамического создания типов

Отображаемые типы перебирают ключи типа, чтобы динамически создавать новые типы:

type Optional<T> = {
  [K in keyof T]?: T[K];
};

type User = {
  name: string;
  age: number;
};

type OptionalUser = Optional<User>;
// { name?: string; age?: number; }

Использование типов индексированного доступа

Типы индексированного доступа получают тип свойства из другого типа:

type User = {
  name: string;
  age: number;
};

type UserName = User['name']; // string

Объединение методов

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

type ReadonlyIfString<T> = {
  [K in keyof T]: T[K] extends string ? Readonly<T[K]> : T[K];
};

type User = {
  name: string;
  age: number;
};

type UpdatedUser = ReadonlyIfString<User>;
// { name: Readonly<string>; age: number; }

Практические варианты использования

Динамическое создание типов полезно для:

• Динамической адаптации программных интерфейсов на основе пользовательского ввода.
• Создания пригодных для повторного использования вспомогательных типов, безопасных с точки зрения типов.
• Определения типов для преобразования данных.

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

Создайте динамический тип, который делает все свойства типа Product необязательными, если они имеют тип string. Проверьте его на примере данных.

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

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