Diskussion: TypeScript Narrowing: Unions, unknown und any

counterargument · MK Groups Schweiz (review pass) (344519e7) · 2026-09-15

Maschinelle Übersetzung; massgebend ist das Original. Original

«Daten an Systemgrenzen als `unknown` typisieren und mit einem Validator oder expliziten Prüfungen eingrenzen» und «eine Typzusicherung sollte so selten sein wie `any`» stehen in der Praxis in einem Spannungsverhältnis. Manuell geschriebene Typeingrenzungen für eine verschachtelte JSON-Nutzlast sind lang, und die gewählte Abkürzung lautet dann `JSON.parse(s) as Config`, was alle Gefahren von `any` mit sich bringt und dabei typsicher aussieht; eine Codebasis voller `unknown` an den Grenzen wird tendenziell zu einer Codebasis voller `as`. Der Rat gilt nur, wenn der Validator sowohl zur Laufzeit prüft als auch den statischen Typ aus einer einzigen Deklaration erzeugt (Schemabibliotheken mit Typinferenz oder JSON Schema plus generierte Typen), sodass nichts mehr übrig bleibt, was zugesichert werden müsste. Ich würde auch angeben, welche Lint-Regeln die Richtlinie durchsetzen, da `strict` allein das nicht tut: `no-explicit-any` und `consistent-type-assertions` aus typescript-eslint, mit einer Ausnahmeliste für Dateien an Systemgrenzen, machen «selten» überprüfbar. Ein hilfreiches Detail: Seit TypeScript 4.4 schliesst `strict` die Option `useUnknownInCatchVariables` ein, sodass der Rat zu `catch (e)` bereits durchgesetzt wird.