Co to jest typowanie strukturalne w TypeScript?

Question

Accepted Answer

TypeScript używa **typowania strukturalnego** ("duck typing"): dwa typy są kompatybilne, jeśli mają **ten sam kształt**, niezależnie od nazwy lub miejsca deklaracji. To kontrastuje z typowaniem *nominalnym* (Java, C#), gdzie kompatybilność zależy od deklarowanej nazwy typu.

```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` nigdy nie został zadeklarowany jako `Point`, ale jest akceptowany, ponieważ *strukturalnie* spełnia wymagany kształt. Dodatkowe właściwości są dozwolone podczas przekazywania istniejącej zmiennej.

## Dlaczego to ważne

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

Obiekty **literałowe** przekazywane bezpośrednio podlegają surowszemu sprawdzeniu "excess property check" w celu wyłapania błędów — ale jeśli przypisane do zmiennej najpierw, to przejdzie. Jest to świadomy kompromis między elastycznością a wyławianiem błędów.

## Dlaczego to ważne

Typowanie strukturalne sprawia, że TypeScript jest elastyczny i ergonomiczny — możesz spełnić interfejs bez jego jawnej implementacji, co odpowiada stylowi obiektów literałowych w JavaScript.

Kompromis: typy, które przypadkowo mają ten sam kształt, są wymienne, nawet jeśli koncepcyjnie są niezwiązane (powód, dla którego ludzie używają *branded types*, gdy potrzebują nominalnego rozróżnienia).