Ce este tiparea structurală în TypeScript?

Question

Accepted Answer

TypeScript folosește **tiparea structurală** ("duck typing"): două tipuri sunt compatibile dacă au **aceeași formă**, indiferent de nume sau unde au fost declarate. Aceasta contrastează cu tiparea *nominală* (Java, C#), unde compatibilitatea depinde de numele tipului declarat.

```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` nu a fost niciodată declarat ca `Point`, dar este acceptat deoarece *structural* satisface forma. Proprietățile suplimentare sunt permise atunci când se transmite o variabilă existentă.

## Excepția verificării proprietăților în exces

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

Obiecte **literale** transmise direct primesc o verificare mai strictă "excess property check" pentru a detecta greșelile de tastare — dar atribuiți-l unei variabile mai întâi și va trece. Aceasta este un echilibru deliberat între flexibilitate și detectarea erorilor.

## De ce este important

Tiparea structurală face TypeScript flexibil și ergonomic — puteți satisface o interfață fără a o implementa explicit, ceea ce se potrivește stilului literal de obiecte JavaScript.

Compromisul: tipurile care întâmplător partajează o formă sunt interschimbabile chiar dacă din punct de vedere conceptual sunt neconectate (un motiv pentru care oamenii folosesc *branded types* când au nevoie de distinc­țiune asemănătoare celei nominale).