Типы объединения и пересечения

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

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

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

Пример: переменная, которая может содержать строку или число:

Задание: объявите переменную с типом объединения и присвойте ей разные значения.

let value: string | number;
value = "Hello";
console.log(value); // Output: "Hello"

value = 42;
console.log(value); // Output: 42

Использование типов объединения в функциях

Вы можете использовать типы объединения для параметров функций, чтобы разрешить значения нескольких типов. Пример:

Задание: напишите функцию, которая принимает параметр типа объединения и выводит его в консоль.

function printValue(value: string | number): void {
  console.log(`The value is ${value}`);
}

printValue("Hello"); // Output: The value is Hello
printValue(100); // Output: The value is 100

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

Типы пересечения объединяют несколько типов в один. Для определения типа пересечения можно использовать символ &.

Пример: объединение двух типов объектов:

Задание: создайте тип пересечения, объединяющий два объекта, и используйте его.

type Person = { name: string };
type Employee = { employeeId: number };

type Staff = Person & Employee;

let staffMember: Staff = {
  name: "Alice",
  employeeId: 123,
};

console.log(staffMember);

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

TypeScript не знает, какой тип Вы используете в типе объединения. Для сужения типа можно применять проверки типов. Пример:

Задание: используйте проверки типов для обработки разных типов в объединении.

function display(value: string | number): void {
  if (typeof value === "string") {
    console.log(`String value: ${value.toUpperCase()}`);
  } else {
    console.log(`Number value: ${value * 2}`);
  }
}

display("Hello"); // Output: String value: HELLO
display(5); // Output: Number value: 10

Типы пересечения на практике

Типы пересечения полезны при работе с объектами, у которых есть общие свойства. Пример:

Задание: создайте тип пересечения для ролей admin и пользователя.

type Admin = { adminLevel: string };
type User = { username: string };

type AdminUser = Admin & User;

let admin: AdminUser = {
  adminLevel: "super",
  username: "admin123",
};

console.log(`Admin ${admin.username} has level ${admin.adminLevel}`);

Распространённые ошибки при работе с типами объединения и пересечения

Вот несколько распространённых ошибок:

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

Совет: всегда проверяйте код, чтобы убедиться, что типы работают ожидаемым образом!

Когда использовать объединения и пересечения

Используйте типы объединения, когда:

• Переменная может иметь один из нескольких возможных типов.
• Вам нужна гибкость параметров функции.

Используйте типы пересечения, когда:

• Нужно объединить несколько объектов или типов в один.
• Нужно создать более сложные типы для определённых случаев использования.

Отличная работа!

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