Hva er strukturell typing i TypeScript?

Question

Accepted Answer

TypeScript bruker **strukturell typing** ("duck typing"): to typer er kompatible hvis de har **samme form**, uavhengig av navn eller hvor de ble deklarert. Dette står i kontrast til *nominell* typing (Java, C#) der kompatibilitet avhenger av det deklarerte typnavnet.

```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` ble aldri deklarert som en `Point`, men blir akseptert fordi det *strukturelt* oppfyller formen. Ekstra egenskaper er tillatt når man sender en eksisterende variabel.

## Unntaket for overflødig-egenskaper-sjekk

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

Objekt **literals** som sendes direkte får en strengere "excess property check" for å fange stavefeil — men tilordne det til en variabel først og det passerer. Dette er en bevisst balanse mellom fleksibilitet og feildeteksjon.

## Hvorfor det betyr noe

Strukturell typing gjør TypeScript fleksibel og ergonomisk — du kan oppfylle et interface uten å eksplisitt implementere det, noe som passer JavaScripts objekt-literal-stil.

Kompromisset: typer som tilfeldigvis deler en form er utbyttbare selv om de konseptuelt er uavhengige (en grunn til at folk bruker *branded types* når de trenger nominell-aktig distinkthet).