Mi az a strukturális típusozás a TypeScriptben?

Question

Accepted Answer

A TypeScript **strukturális típusozást** használ ("duck typing"): két típus kompatibilis, ha azonos **alakkal** rendelkeznek, függetlenül a nevüktől vagy deklarálási helyüktől. Ez ellentétben van a *nominális* típusozással (Java, C#), ahol a kompatibilitás a deklarált típusnéven alapul.

```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)
```

Az `obj` soha nem volt deklarálva `Point`-ként, mégis elfogadják, mert *strukturálisan* kielégíti az alakot. A meglévő változó átadásakor további tulajdonságok megengedettek.

## A túltulajdonság-ellenőrzés kivétele

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

A közvetlenül átadott objektum **literálok** szigorúbb "excess property check" kapnak a típusok elkapásához — de először rendeljük hozzá egy változóhoz, és átmegy. Ez szándékos egyensúly a rugalmasság és a hibák elkapása között.

## Miért fontos

A strukturális típusozás rugalmassá és ergonomikussá teszi a TypeScriptet — kielégítheti az interfészt anélkül, hogy explicit módon implementálná, amely illeszkedik a JavaScript objektumliteral stílusához.

A kompromisszum: az alakot véletlenül megosztó típusok felcserélhetők még akkor is, ha fogalmilag nem kapcsolódnak (ezért használnak az emberek *branded types*-t, ha nominálistartó különálóságra van szükségük).