Что такое структурная типизация в TypeScript?

Question

Структурная типизация - это подход, при котором совместимость типов определяется их структурой (полями и методами), а не явными объявлениями или именами. TypeScript проверяет, что объект имеет все требуемые свойства с правильными типами, независимо от того, какой тип был объявлен у этого объекта.

YeaHub · Accepted Answer

Структурная типизация в TypeScriptСтруктурная типизация (structural typing) - это основополагающая концепция системы типов TypeScript, которая отличается от номинальной типизации, используемой в таких языках как Java или C#.Основная концепцияВ структурной типизации два типа считаются совместимыми, если они имеют одинаковую структуру:typescriptinterface Person {
  name: string;
  age: number;
}

// Этот объект совместим с Person, хотя он не объявлен как Person
const user = { name: "Иван", age: 30 };
const person: Person = user; // OK - структура совпадаетСравнение с номинальной типизациейСтруктурная типизация:Проверяет форму объектовТипы с одинаковой структурой совместимыИспользуется в TypeScript, GoНоминальная типизация:Проверяет явные объявления типовТребует явного наследования или реализацииИспользуется в Java, C#Примеры структурной типизации1. Совместимость объектовtypescriptinterface Point {
  x: number;
  y: number;
}

// Объект с дополнительными свойствами тоже совместим
const point3D = { x: 1, y: 2, z: 3 };
const point: Point = point3D; // OK

function printPoint(p: Point) {
  console.log(p.x, p.y);
}

printPoint(point3D); // OK - структура Point присутствует2. Совместимость функцийtypescripttype Adder = (a: number, b: number) => number;

// Функция совместима, если параметры и возвращаемое значение совместимы
const multiply: Adder = (x: number, y: number) => x * y; // OKПреимущества структурной типизацииГибкость: Не требует явных объявлений типовДекомпозиция: Позволяет легко комбинировать типыУтилитарность: Фокус на том, что объект может делать, а не что он естьПотенциальные проблемыtypescriptinterface User {
  id: number;
  name: string;
}

// Оба объекта структурно совместимы с User
const correctUser = { id: 1, name: "Иван" };
const wrongUser = { id: "1", name: "Иван" }; // Ошибка - id должен быть number

// Но эта проблема выявляется на этапе компиляцииИспользование в практикеСтруктурная типизация полезна при работе с внешними библиотеками:typescript// Мы можем использовать объекты, которые структурно совпадают
// с ожидаемыми типами, без явного приведения типов
fetch('/api/users')
  .then(res => res.json())
  .then((users: User[]) => {
    // TypeScript проверит структуру полученных данных
  });Вывод: Структурная типизация делает TypeScript гибким и практичным языком, позволяя работать с объектами на основе их фактической структуры, а не формальных объявлений типов.