Vad är strukturell typning i TypeScript?

Question

Accepted Answer

TypeScript använder **strukturell typning** ("duck typing"): två typer är kompatibla om de har **samma form**, oavsett sitt namn eller var de deklarerades. Detta kontrasterar med *nominell* typning (Java, C#) där kompatibilitet beror på det deklarerade typnamnet.

```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` deklarerades aldrig som en `Point`, men accepteras eftersom den *strukturellt* uppfyller formen. Extra egenskaper tillåts när man skickar en befintlig variabel.

## Undantaget för överflödiga egenskaper

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

Objekt**literaler** som skickas direkt får en strängare "kontroll av överflödiga egenskaper" för att fånga stavningsfel — men tilldela den till en variabel först och den godkänns. Detta är en medveten balans mellan flexibilitet och att fånga misstag.

## Varför det är viktigt

Strukturell typning gör TypeScript flexibel och ergonomisk — du kan uppfylla ett interface utan att explicit implementera det, vilket passar JavaScripts stil med objektliteraler.

Kompromissen: typer som råkar dela en form är utbytbara även om de begrepsmässigt är orelaterade (en anledning till att människor använder *märkta typer* när de behöver något som liknar nominell distinktion).