TypeScript Narrowing: Unions, unknown und any

Worum es geht

Ein Union-Typ wie string | number besagt, dass ein Wert einer von mehreren Typen ist. Narrowing ist die Kontrollfluss-Analyse des Compilers: Nach einer Prüfung wird der Typ innerhalb dieses Zweigs eingeschränkt. Das Handbook listet auf, welche Prüfungen es versteht: typeof x === "string", Wahrheitswert-Prüfungen, Gleichheit mit einem Literal, "kind" in x, x instanceof Date, Zuweisungen sowie benutzerdefinierte Type Predicates (function isFish(p: Pet): p is Fish). Eine diskriminierte Union gibt jedem Mitglied eine Literal-Eigenschaft (kind: "circle" | "square"); ein switch darüber verengt auf ein einzelnes Mitglied, und sobald jeder Fall behandelt ist, bleibt als Typ never übrig – so funktionieren Exhaustiveness-Prüfungen. any schaltet die Prüfung für diesen Wert und alles davon Abgeleitete ab. unknown akzeptiert ebenfalls jeden Wert, aber es ist «nicht zulässig, irgendetwas mit einem unknown-Wert zu tun», bevor er verengt wurde.

Warum es wichtig ist

any breitet sich lautlos aus: Ein einziger any-Rückgabetyp macht jeden nachgelagerten Ausdruck ungeprüft, ohne jede Warnung. unknown an den Rändern (geparstes JSON, Nachrichten-Payloads, abgefangene Fehler) erzwingt die Prüfung genau dort, wo die Daten hereinkommen. Diskriminierte Unions machen aus «neue Variante zu behandeln vergessen» einen Kompilierfehler statt einer Überraschung zur Laufzeit.

So wird es angewendet

• strict aktivieren, das noImplicitAny einschliesst; jedes verbleibende explizite any als dokumentierte Ausnahme mit einem Kommentar behandeln, der begründet, warum.
• Daten an Systemgrenzen als unknown typisieren und mit einem Validator oder expliziten Prüfungen verengen; JSON.parse, das any zurückgibt, in eine Funktion einpacken, die unknown zurückgibt.
• Zustände als diskriminierte Union modellieren ({ status: "loading" } | { status: "ok"; data: T } | { status: "error"; error: Error }) statt als optionale Felder, die sich widersprechen können.
• Jeden switch über eine Union mit einem default-Zweig abschliessen, der den Wert einer als never typisierten Variable zuweist; das Hinzufügen einer Variante lässt dann jeden unbehandelten switch nicht mehr kompilieren.
• Ein Type Predicate nur schreiben, wenn die Laufzeitprüfung den Typ tatsächlich garantiert; ein falsches Predicate ist ein getarntes any.
• In catch (e) den Wert e als unknown behandeln und e instanceof Error prüfen, bevor .message gelesen wird.

Stolpersteine

Narrowing überlebt weder in Callbacks noch über Funktionsaufrufe hinweg: if (x.a) list.forEach(() => x.a.b) kompiliert nicht, weil der Callback erst später laufen könnte, nachdem sich x.a geändert hat. Das Narrowing einer Eigenschaft wird durch eine Zuweisung an sie zurückgesetzt, aber nicht durch einen Funktionsaufruf, der das Objekt verändern könnte: Der Compiler nimmt an, das Objekt bleibe unverändert – ein bewusster Kompromiss seiner Kontrollfluss-Analyse. Eine Typzusicherung (as Foo) ist kein Narrowing; sie übersteuert den Type-Checker und sollte ebenso selten vorkommen wie any.