Was ist strukturelles Typing in TypeScript?

Question

Accepted Answer

TypeScript verwendet **strukturelles Typing** ("duck typing"): zwei Typen sind kompatibel, wenn sie die gleiche **Form** haben, unabhängig von ihrem Namen oder wo sie deklariert wurden. Dies steht im Gegensatz zu *nominalem* Typing (Java, C#), bei dem die Kompatibilität vom deklarierten Typnamen abhängt.

```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` wurde nie als `Point` deklariert, wird aber akzeptiert, weil es *strukturell* die Form erfüllt. Zusätzliche Eigenschaften sind beim Übergeben einer vorhandenen Variablen zulässig.

## Warum es wichtig ist

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

Objekt-**Literale**, die direkt übergeben werden, erhalten eine strengere "Excess Property Check", um Tippfehler zu erkennen — aber weisen Sie es zuerst einer Variablen zu und es wird akzeptiert. Dies ist ein bewusster Kompromiss zwischen Flexibilität und Fehlererfassung.

## Ausnahme der Excess-Property-Prüfung

Struktuurelles Typing macht TypeScript flexibel und ergonomisch — Sie können eine Schnittstelle erfüllen, ohne sie explizit zu implementieren, was zu JavaScripts Objektliteral-Stil passt.

Der Kompromiss: Typen, die zufällig eine Form teilen, sind austauschbar, auch wenn sie konzeptionell unabhängig sind (ein Grund, warum Menschen *Branded Types* verwenden, wenn sie eine nominale Unterscheidung benötigen).