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

Question

Accepted Answer

TypeScript использует **структурную типизацию** ("duck typing"): два типа совместимы, если имеют **одинаковую форму**, независимо от названия или места объявления. Это контрастирует с *номинальной* типизацией (Java, C#), где совместимость зависит от объявленного имени типа.

```ts
interface Point { x: number; y: number; }

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

// No `: Point` annotation anywhere, but the shape matches:
const obj = { x: 1, y: 2, z: 3 };
print(obj); // ✅ works — obj has x and y (extra z is fine)
```

`obj` никогда не был объявлен как `Point`, но принимается, потому что *структурно* удовлетворяет форму. Дополнительные свойства разрешены при передаче существующей переменной.

## Исключение проверки избыточных свойств

```ts
print({ x: 1, y: 2, z: 3 }); // ❌ Error: 'z' does not exist in type 'Point'
```

Объектные **литералы**, переданные напрямую, получают более строгую проверку "excess property check", чтобы поймать опечатки — но сначала присвойте его переменной, и он пройдёт. Это намеренный баланс между гибкостью и обнаружением ошибок.

## Почему это важно

Структурная типизация делает TypeScript гибким и эргономичным — вы можете удовлетворить интерфейс без явной его реализации, что подходит стилю объектных литералов JavaScript.

Компромисс: типы, которые случайно имеют одну форму, взаимозаменяемы, даже если концептуально не связаны (причина, по которой люди используют *branded types*, когда нужна номинальная различимость).