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

Структурная типизация в TypeScript

Структурная типизация (structural typing) - это основополагающая концепция системы типов TypeScript, которая отличается от номинальной типизации, используемой в таких языках как Java или C#.

Основная концепция

В структурной типизации два типа считаются совместимыми, если они имеют одинаковую структуру:

typescript

interface Person {
  name: string;
  age: number;
}

// Этот объект совместим с Person, хотя он не объявлен как Person
const user = { name: "Иван", age: 30 };
const person: Person = user; // OK - структура совпадает

Сравнение с номинальной типизацией

Структурная типизация:

• Проверяет форму объектов

• Типы с одинаковой структурой совместимы

• Используется в TypeScript, Go

Номинальная типизация:

• Проверяет явные объявления типов

• Требует явного наследования или реализации

• Используется в Java, C#

Примеры структурной типизации

1. Совместимость объектов

typescript

interface 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. Совместимость функций

typescript

type Adder = (a: number, b: number) => number;

// Функция совместима, если параметры и возвращаемое значение совместимы
const multiply: Adder = (x: number, y: number) => x * y; // OK

Преимущества структурной типизации

• Гибкость: Не требует явных объявлений типов

• Декомпозиция: Позволяет легко комбинировать типы

• Утилитарность: Фокус на том, что объект может делать, а не что он есть

Потенциальные проблемы

typescript

interface 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 гибким и практичным языком, позволяя работать с объектами на основе их фактической структуры, а не формальных объявлений типов.