Что такое пересечение типов (intersection types) в TypeScript, и как оно используется?

Пересечение типов (intersection types) — это способ объединить два или более типов в один. В отличие от объединения типов (union types), которое позволяет переменной быть одного из нескольких типов, пересечение требует, чтобы переменная соответствовала сразу всем объединяемым типам.

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

Рассмотрим пример с пересечением типов для описания объекта, который должен быть одновременно и человеком, и работником:

interface Person {
	name: string;
	age: number;
}
interface Employee {
	employeeId: number;
	position: string;
}
// Пересечение типов Person и Employee
type Worker = Person & Employee;
const worker: Worker = {
	name: "John",
	age: 35,
	employeeId: 12345,
	position: "Developer"
};

Здесь тип Worker включает все свойства типов Person и Employee. Объект worker должен содержать как имя и возраст (от Person), так и идентификатор сотрудника и должность (от Employee).

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

interface Cat {
	name: string;
	purrs: boolean;
}
interface Dog {
	name: string;
	barks: boolean;
	purrs: number; // Противоречие
}
// TypeScript выдаст ошибку, так как типы свойства purrs различаются
type Pet = Cat & Dog;

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