Die neue const-Typparameter-Syntax von TypeScript ermöglicht es einer Funktion, Literal-Typen intakt zu halten, ohne dass Aufrufer überall as const verteilen müssen, wodurch die häufigste Quelle von Type-Widening-Bugs eliminiert wird.

Das Widening-Problem, das generischen Code heimsucht

Wenn eine generische Funktion ein Objekt-Literal erhält, erweitert der Compiler jede Literal-Eigenschaft auf ihren breiteren primitiven Typ. 

function call<T>(arg: T) {}
call({ method: "GET" })   // T is inferred as { method: string }

Das Literal "GET" wird zu string herabgestuft. Nachgelagerter Code, der vom exakten Wert abhängt – wie etwa Discriminated Unions oder die Extraktion von Template-Literals – bricht ab, da der Typ das präzise Literal nicht mehr enthält. Entwickler haben dies lange Zeit umgangen, indem sie an der Aufrufstelle { method: "GET" } as const geschrieben haben, was dem Compiler sagt, das Literal beizubehalten. Diese Lösung liegt jedoch in der Hand des Aufrufers und nicht in der Funktionsdefinition.

Const-Typparameter: Eine Lösung auf Signaturebene

Der neue const-Modifier an einem Typparameter weist den Compiler an, den möglichst engen Typ für dieses generische Argument abzuleiten. Die Deklaration einer Funktion als function foo<const T>(arg: T) bewirkt, dass sich T automatisch so verhält, als hätte der Aufrufer as const geschrieben.

  • String-, Number-, Boolean-Literale behalten ihre exakten Werte ("GET" statt string).
  • Arrays werden zu Readonly-Tuples, wobei jedes Element präzise typisiert ist.
  • Objekte werden zu tief verschachtelten Readonly-Strukturen, die Literal-Typen auf jeder Ebene beibehalten.

Da die Einschränkung in der Funktionssignatur liegt, profitiert jeder Aufrufer automatisch; das Vergessen eines Casts führt nicht mehr zu Unsoundness.

Warum es den klassischen as const-Hack schlägt

as const ist eine Lösung auf der Aufruferseite. Sie erfordert, dass jeder Konsument einer generischen Funktion daran denkt, die Assertion hinzuzufügen. Verpasst man einen einzigen Aufruf, verflüchtigt sich die Typsicherheit. Der Const-Typparameter verlagert die Verantwortung in das API-Design selbst: Die Funktion erklärt: „Ich benötige die engstmögliche Form dessen, was du übergibst“, und der Compiler erzwingt dies.

Diese Verschiebung ist besonders wichtig für Bibliotheken und Utilities, die generische Builder, Konfigurations-Factories oder APIs bereitstellen, bei denen der Literal-Wert eines Feldes die Typ-Logik steuert. Der Bibliotheksautor kann eine korrekte Ableitung garantieren, ohne den nachgelagerten Code kontrollieren zu müssen.

Praxisnahe Szenarien, die davon profitieren

  • Konfigurations-Builder – Umgebungsvariablen ("dev" | "prod") bleiben Literale, was Discriminated-Union-Prüfungen ohne zusätzliche Casts ermöglicht.
  • API-Routendefinitionen – Pfad-Strings bleiben exakt, sodass Template-Literal-Typen Parameter extrahieren können ("/users/:id" → \/users/${string}``).
  • State-Machine-Helfer – Zustands-Identifikatoren bleiben durch Method Chaining feste Literale, was versehentliche Zustands-Fehlpaarungen verhindert.

In jedem Fall eliminiert der Const-Parameter wiederkehrenden as const-Boilerplate-Code und verringert die Gefahr, dass subtile Bugs durchrutschen.

Kombination mit dem satisfies-Operator

Der satisfies-Operator validiert, dass ein Wert einem strukturellen Typ entspricht, während seine ursprünglichen Literal-Informationen erhalten bleiben. Die Kombination aus beidem bietet das Beste aus beiden Welten: const-Parameter ermöglichen eine enge Ableitung, und satisfies stellt sicher, dass der Wert der erforderlichen Form entspricht.

function makeConfig<const C>(cfg: C) {
  // cfg is inferred with exact literals
}
const cfg = {
  env: "staging",
  ports: [8080, 8443],
} satisfies { env: string; ports: number[] };
makeConfig(cfg); // works, literals stay intact

Wann man bei as const bleiben sollte

Der Const-Parameter glänzt dann, wenn Sie die Funktionssignatur kontrollieren. Wenn Sie mit Funktionen von Drittanbietern arbeiten, denen dieser Modifier fehlt, oder wenn Sie eine einmalige Erhaltung eines Literals für eine lokale Variable benötigen, bleibt as const das richtige Werkzeug. Es dient weiterhin als Standardmethode, um einen Wert einzufrieren, ohne die aufgerufene API zu verändern.

Worauf man als Nächstes achten sollte

Das Feature ist noch recht neu, daher entwickeln sich die Tooling-Unterstützung und Community-Patterns stetig weiter. Rechnen Sie mit Updates der IDE-Unterstützung, die die neue Syntax in Autocomplete- und Quick-Fix-Vorschlägen anzeigen. Behalten Sie die Maintainer von Bibliotheken im Auge: Viele werden damit beginnen, öffentliche Generics auf const-Parameter umzustellen, was Breaking Changes für Code verursachen kann, der zuvor auf explizite as const-Casts angewiesen war.

Fazit: Durch die direkte Einbettung der Literal-Erhaltung in die Typparameter einer Funktion eliminieren die Const-Typparameter von TypeScript eine häufige Quelle von Widening-Fehlern und verlagern die Sicherheit vom Aufrufer zurück zum API-Designer. Nutzen Sie sie für jeden generischen Einstiegspunkt, den Sie selbst kontrollieren; behalten Sie as const für lokale Werte oder externe APIs vor.