Hvad er strukturel typning i TypeScript?

Question

Accepted Answer

TypeScript bruger **strukturel typning** ("duck typing"): to typer er kompatible, hvis de har den samme **form**, uanset deres navn eller hvor de blev erklæret. Dette står i kontrast til *nominel* typning (Java, C#), hvor kompatibilitet afhænger af det erklærede typenavn.

```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` blev aldrig erklæret som en `Point`, men det accepteres alligevel, fordi det *strukturelt* opfylder formen. Ekstra egenskaber er tilladt, når en eksisterende variabel bruges.

## Undtagelsen for overskydende egenskabskontrol

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

Objekt-**literaler** sendt direkte får en strengere "overskydende egenskabskontrol" for at fange stavefejl — men tildel den til en variabel først, og den accepteres. Dette er en bevidst balance mellem fleksibilitet og fejlfangning.

## Hvorfor det betyder noget

Strukturel typning gør TypeScript fleksibel og ergonomisk — du kan opfylde et interface uden at implementere det eksplicit, hvilket passer til JavaScripts objektliteral-stil.

Kompromis: typer, der tilfældigvis deler en form, er udskiftelige, selvom de konceptuelt er urelaterede (en grund til, at folk bruger *mærkede typer*, når de har brug for nominel-lignende tydelighed).