Введение в пересечения и объединения типов

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

Что такое объединения типов?

Объединения типов позволяют значению иметь один из нескольких типов. Объединение типов можно определить с помощью оператора |.

Пример объединения типов

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

type Status = 'active' | 'inactive' | 'suspended';

let userStatus: Status;
userStatus = 'active'; // Valid
userStatus = 'pending'; // Error

Что такое пересечения типов?

Пересечения типов объединяют несколько типов в один. Поэтому объединённый тип должен иметь все свойства пересекаемых типов.

Пример пересечения типов

Вот пример использования пересечения типов:

type User = {
  name: string;
  email: string;
};

type Admin = {
  role: string;
};

type AdminUser = User & Admin;

const admin: AdminUser = {
  name: 'Alice',
  email: 'alice@example.com',
  role: 'admin'
};

Различия между объединениями и пересечениями типов

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

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

Объединения типов отлично подходят для обработки нескольких типов входных данных, а пересечения типов — для объединения нескольких ролей или возможностей в один тип.

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

Создайте тип, объединяющий тип Product с типом Discount с помощью пересечения типов. Используйте его для объявления переменной.

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

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