Što je strukturno tipiziranje u TypeScriptu?

Question

Accepted Answer

TypeScript koristi **strukturno tipiziranje** ("duck typing"): dva tipa su kompatibilna ako imaju **isti oblik**, bez obzira na njihovo ime ili gdje su deklarirani. To je u suprotnosti s *nominalnim* tipiziranjem (Java, C#) gdje kompatibilnost ovisi o deklariranom imena tipa.

```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` nikada nije deklariran kao `Point`, ipak se prihvaća jer *strukturno* zadovoljava oblik. Dodatna svojstva su dopuštena pri proslijeđivanju postojeće varijable.

## Iznimka od provjere viška svojstava

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

Objektni **literali** proslijeđeni izravno dobivaju stroža "excess property check" da bi se uhvatile greške — ali dodjeli ga varijabli prvo i prođe. To je namjerna ravnoteža između fleksibilnosti i hvatanja grešaka.

## Zašto je to važno

Struktuno tipiziranje čini TypeScript fleksibilnim i ergonomskim — možete zadovoljiti sučelje bez da ga eksplicitno primjenjujete, što je pogodno za JavaScriptov stil objektnih literala.

Kompromis: tipovi koji se slučajno dijele oblik mogu se zamjenjivati čak i ako su konceptualno nepovezani (zato što ljudi koriste *branded types* kada trebaju nominalnu razliku).