Kaj je strukturno tipiziranje v TypeScriptu?

Question

Accepted Answer

TypeScript uporablja **strukturno tipiziranje** ("duck typing"): dva tipa sta združljiva, če imata **enako obliko**, ne glede na ime ali kje sta bila deklarirana. To je v nasprotju z *nominalnim* tipiziranjem (Java, C#), kjer je združljivost odvisna od deklarirane 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` nikoli ni bil deklariran kot `Point`, vendar je sprejet, ker *strukturno* izpolnjuje obliko. Dodatne lastnosti so dovoljene pri prehajanju obstoječe spremenljivke.

## Izjema preverjanja presežnih lastnosti

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

Objektni **literali**, direktno podani, dobijo strožje "excess property check" preverjanje za zajetje napak pri pisanju — toda ga najprej dodelite spremenljivki in bo prešel. To je zavestno ravnovesje med prožnostjo in zajetjem napak.

## Zakaj je to pomembno

Struktурно tipiziranje naredi TypeScript prožnega in ergonomičnega — lahko zadostite vmesniku brez njegove jasne implementacije, kar se ujema s stilom objektnih literalov JavaScripta.

Kompromis: tipi, ki naključno imajo enako obliko, so zamenljivi, čeprav so konceptualno nepovezani (razlog, zakaj ljudje uporabljajo *branded types*, ko potrebujejo nominalno razlikovanje).