Literaltypinferenz

Die Literaltypinferenz ist eine Funktion von TypeScript, mit der der Typ einer Variablen oder eines Parameters anhand seines Werts abgeleitet werden kann.

Im folgenden Beispiel sehen wir, dass TypeScript x als Literaltyp betrachtet, da der Wert später nicht geändert werden kann. y wird dagegen als String abgeleitet, da der Wert später jederzeit geändert werden kann.

const x = 'x'; // Literaltyp 'x', da dieser Wert nicht geändert werden kann
let y = 'y'; // Typ string, da dieser Wert geändert werden kann

Im folgenden Beispiel sehen wir, dass o.x als string (und nicht als Literal von a) abgeleitet wurde, da TypeScript davon ausgeht, dass der Wert später jederzeit geändert werden kann.

type X = 'a' | 'b';

let o = {
    x: 'a', // Dies ist ein breiterer String-Typ
};

const fn = (x: X) => `${x}-foo`;

console.log(fn(o.x)); // Ein Argument vom Typ 'string' kann keinem Parameter vom Typ 'X' zugewiesen werden

Wie Sie sehen, gibt der Code beim Übergeben von o.x an fn einen Fehler aus, da X ein engerer Typ ist.

Dieses Problem kann durch eine Typassertion mit const oder dem Typ X gelöst werden:

let o = {
    x: 'a' as const,
};

oder:

let o = {
    x: 'a' as X,
};