Typsicherheit bei Interpolation
Extrahieren und erzwingen Sie Interpolationsvariablen aus Strings.
Typsicherheit bei Interpolation ist eine kostenlose TypeScript Academy-Lektion auf CoddyKit. Dies ist Lektion 2 von 4. Du kannst die komplette Lektion unten kostenlos lesen – dann übst du sie direkt im Browser mit einem integrierten Code-Editor und einem KI-Tutor rund um die Uhr. Sie ist Teil des TypeScript Academy-Lernpfads, und dein Fortschritt wird über Web und CoddyKit-App synchronisiert. Der TypeScript Academy-Kurs umfasst insgesamt 4 Lektionen.
Typsichere Interpolation
Nachrichten enthalten häufig Platzhalter wie "Hello, {name}". Typsicheres i18n extrahiert die Namen dieser Platzhalter aus dem Nachrichtentyp und verlangt passende Argumente.
Das Ziel
Ausgehend vom Literaltyp einer Nachricht möchten wir das benötigte Variablenobjekt berechnen, sodass t("greet", { name: "Ada" }) erzwungen wird und ein fehlender Parameter name zu einem Compilefehler führt.
Einen Platzhalter extrahieren
Ein Conditional Type mit Template-Literal-Muster extrahiert den Variablennamen aus einer Zeichenkette mit einem einzelnen Platzhalter. Im echten Code wird das Muster mit Backticks folgendermaßen geschrieben: Zeichenkette, öffnende geschweifte Klammer, infer V, schließende geschweifte Klammer, Zeichenkette. Wir bezeichnen diesen Matcher weiter unten als BraceMatch.
// Real TS pattern (backtick template literal):
// matches any text, then {V}, then any text; infers V.
type Var<S extends string> =
S extends BraceMatch<infer V> ? V : never;
type A = Var<"Hello, {name}">; // "name"Mehrere Platzhalter extrahieren
Rekursiv werden alle Platzhalter zu einer Vereinigung gesammelt. Das Muster erfasst eine Variable und den verbleibenden Rest und wendet anschließend die Rekursion auf den Rest an.
// Pattern: any text, {V}, then Rest tail -- infer V and Rest.
type Vars<S extends string> =
S extends BraceMatchRest<infer V, infer Rest>
? V | Vars<Rest>
: never;
type B = Vars<"Hi {first} {last}!">; // "first" | "last"Von Namen zu einem Argumentobjekt
Wandeln Sie die Vereinigung der Namen mithilfe eines Mapped Types in einen erforderlichen Objekttyp um.
type ArgsOf<S extends string> = {
[K in Vars<S>]: string | number;
};
type G = ArgsOf<"Hello, {name}">;
// { name: string | number }Keine Platzhalter, keine Argumente
Wenn eine Nachricht keine Platzhalter enthält, ist Vars gleich never, sodass das Argumentobjekt leer ist. In diesem Fall können Sie den Argumentparameter optional machen.
type C = Vars<"Goodbye">; // never
type D = ArgsOf<"Goodbye">; // {} (empty)Eine typisierte Übersetzungsfunktion
Machen Sie den Argumentparameter vom ausgewählten Schlüssel abhängig, indem Sie die Nachrichtenzeichenkette auslesen und daraus die Argumente berechnen.
declare const messages: {
greet: "Hello, {name}";
invite: "Join {count} others";
};
declare function t<K extends keyof typeof messages>(
key: K,
args: ArgsOf<(typeof messages)[K]>
): string;Die Durchsetzung in Aktion
Der Compiler verlangt nun genau die Variablen, die jede Nachricht deklariert.
t("greet", { name: "Ada" }); // ok
t("greet", {}); // Error: name is missing
t("invite", { count: 3 }); // ok
t("invite", { name: "x" }); // Error: count missing, name unexpectedOptionale Argumente für einfache Nachrichten
Verwenden Sie eine bedingte Überladung, damit Nachrichten ohne Platzhalter überhaupt kein zweites Argument benötigen.
type MaybeArgs<S extends string> =
Vars<S> extends never ? [] : [args: ArgsOf<S>];
declare function t2<K extends keyof typeof messages>(
key: K,
...rest: MaybeArgs<(typeof messages)[K]>
): string;Benutzerdefinierte Begrenzungen
Wenn Ihr Katalog {{name}} oder %{name} verwendet, passen Sie das Template-Literal-Muster in Vars entsprechend an. Die Technik bleibt gleich; nur das umgebende Literal ändert sich.
Warum das wichtig ist
Fehlende oder falsch geschriebene Interpolationsvariablen sind eine klassische Ursache für fehlerhafte UI-Strings ("Hello, undefined"). Wenn Sie sie auf Typebene extrahieren, werden daraus Compile-Fehler, und jeder Nachrichtenvertrag wird dokumentiert.
Kurzer Test
Testen Sie Ihr Verständnis der Typsicherheit bei Interpolation.
Zusammenfassung
Durch Pattern-Matching von Nachrichten-Literaltypen mit Template-Literals und infer extrahieren Sie Platzhalternamen in eine Union, ordnen sie einem erforderlichen args-Objekt zu und sorgen dafür, dass die translate-Funktion genau diese Variablen verlangt – optional, wenn keine vorhanden sind.
Häufig gestellte Fragen
Ist die Lektion „Typsicherheit bei Interpolation“ kostenlos?
Ja — der vollständige Text von „Typsicherheit bei Interpolation“ ist hier im Web kostenlos zu lesen. Um sie interaktiv zu üben (integrierter Code-Editor und 24/7 KI-Tutor) und den Rest des TypeScript Academy-Kurses freizuschalten, upgrade auf CoddyKit PRO. Der TypeScript Academy-Kurs umfasst insgesamt 4 Lektionen.
Was lerne ich in „Typsicherheit bei Interpolation“?
Extrahieren und erzwingen Sie Interpolationsvariablen aus Strings. Du übst TypeScript Academy mit praktischem Code, den du direkt im Browser ausführst, und ein 24/7 KI-Tutor beantwortet deine Fragen während du die Lektion bearbeitest.
Brauche ich Erfahrung, um TypeScript Academy zu starten?
Keine Vorkenntnisse erforderlich. TypeScript Academy auf CoddyKit ist für Anfänger bis fortgeschrittene Lernende strukturiert, sodass du hier starten oder von Anfang an beginnen und in deinem eigenen Tempo voranschreiten kannst. Dies ist Lektion 2 von 4.
Wie lange dauert die Lektion „Typsicherheit bei Interpolation“?
Die meisten CoddyKit-Lektionen dauern etwa 5–10 Minuten. Jede ist kompakt und interaktiv, sodass du stetig Fortschritte machst und genau dort weitermachst, wo du aufgehört hast – im Web und in der App.
Kann ich in dieser TypeScript Academy-Lektion Code schreiben und ausführen?
Ja. Jede TypeScript Academy-Lektion enthält einen integrierten Code-Editor, sodass du echten Code direkt in deinem Browser schreibst und ausführst und sofort KI-Feedback erhältst — ohne lokale Einrichtung erforderlich.
Alle Lektionen in diesem Kurs
- Übersetzungsschlüssel typisieren
- Typsicherheit bei Interpolation
- Pluralisierung mit Typen
- Locale-bewusste Typinferenz