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

Метод 1: Типы пересечений

Типы пересечения позволяют нам объединять несколько типов в один тип. Используя оператор &, мы можем создать новый тип, включающий все свойства и методы каждого из пересекающихся типов. Вот пример:

type Person = {
  name: string;
};
type Employee = {
  id: number;
};
type Manager = Person & Employee;
const manager: Manager = {
  name: "John Doe",
  id: 12345,
};

В этом примере тип Managerсоздается путем пересечения типов Personи Employee. Он наследует свойства обоих типов, что позволяет нам создавать объекты, имеющие как имя, так и идентификатор.

Метод 2: типы объединения

Объединенные типы позволяют нам определить тип, который может содержать значения нескольких типов. Используя оператор |, мы можем создать новый тип, представляющий значение, которое может быть одним из нескольких типов. Вот пример:

type Status = "active" | "inactive" | "pending";
function setStatus(status: Status) {
  // function implementation
}
setStatus("active"); // valid
setStatus("rejected"); // invalid

В этом примере тип Statusпредставляет собой объединение строковых литералов «активный», «неактивный» и «ожидающий». Функция setStatusпринимает параметр типа Status, гарантируя передачу только допустимых значений статуса.

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

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

type IsArray<T> = T extends Array<any> ? true : false;
type Result = IsArray<number[]>; // true

В этом примере тип IsArrayпроверяет, расширяет ли предоставленный тип TArray<any>. Если да, то тип оценивается как true; в противном случае оно оценивается как false. Мы можем использовать условные типы для создания сложных сопоставлений типов на основе условий.

Метод 4: сопоставленные типы

Сопоставленные типы позволяют нам создавать новые типы путем преобразования свойств существующего типа. Используя ключевое слово keyofи ключевое слово in, мы можем перебирать свойства типа и изменять их. Вот пример:

type Person = {
  name: string;
  age: number;
};
type Optional<T> = {
  [P in keyof T]?: T[P];
};
type OptionalPerson = Optional<Person>;
const optionalPerson: OptionalPerson = {
  name: "John Doe",
};

В этом примере тип Optionalсопоставляет каждое свойство в Tс необязательной версией этого свойства. Тип OptionalPersonсоздается путем применения сопоставления Optionalк типу Person. Теперь мы можем создавать объекты типа OptionalPerson, где каждое свойство является необязательным.

Объединив несколько типов утилит, мы можем раскрыть весь потенциал TypeScript и создать более выразительные и надежные системы типов. Мы рассмотрели типы пересечений, типы объединения, условные типы и отображаемые типы как мощные методы манипулирования типами и их преобразования. Благодаря этим методам в вашем наборе инструментов вы будете хорошо подготовлены к решению сложных задач, связанных с типами, в ваших проектах TypeScript.

Так что вперед, экспериментируйте с этими методами и совершенствуйте свои навыки TypeScript!