Was ist ein diskriminierte Union und warum ist es mächtig?

Question

Accepted Answer

Eine **diskriminierte (gekennzeichnete) Union** ist eine Union von Objekttypen, die alle ein gemeinsames literales Feld teilen — den **Diskriminator** — das der Compiler verwendet, um Varianten zu unterscheiden und sicher einzugrenzen.

```ts
type Result =
  | { status: "loading" }
  | { status: "success"; data: string }
  | { status: "error"; message: string };
```

Jedes Member hat ein `status`-Literal. Es zu prüfen grenzt genau auf eine Variante ein und entsperrt die Felder dieser Variante:

```ts
function render(r: Result) {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;     // ✅ data exists only here
    case "error":   return r.message;  // ✅ message exists only here
  }
}
```

Wenn Sie versuchen, im `loading`-Fall auf `r.data` zuzugreifen, ist dies ein Compilerfehler — das Typsystem macht ungültige Kombinationen *nicht darstellbar*.

## Warum es wichtig ist

```ts
function render2(r: Result): string {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;
    case "error":   return r.message;
    default:
      const _exhaustive: never = r; // ✅ if you add a variant and forget a case, this errors
      return _exhaustive;
  }
}
```

Die `never`-Zuweisung zwingt Sie, jeden Fall zu behandeln — fügen Sie einen neuen Status hinzu und der Compiler zeigt Ihnen jeden Switch, der aktualisiert werden muss.

## Warum es wichtig ist

Diskriminierte Unions sind die idiomatische Methode zur Modellierung von Zustand (loading/success/error), Events/Aktionen (Redux Reducer) und beliebigen "einer von mehreren Formen"-Daten.

Sie machen illegale Zustände unmöglich und geben Ihnen mit dem `never`-Trick Compile-Zeit-Exhaustiveness-Checking — ein großer Sicherheitsgewinn gegenüber lockerer `boolean`/optionaler Feld-Modellierung.