Zusammenfassung

In dieser Lektion hast du gelernt:

• Eine Funktion, die mit jedem Typ arbeiten soll, verliert den Typ mit any (Fehler schlüpfen durch) und mit unknown (du musst nach jedem Aufruf eingrenzen). Eine Funktion pro Typ wiederholt denselben Code. Generics lösen das.
• Eine generische Funktion hat einen Typparameter in spitzen Klammern: function erstes<T>(elemente: T[]): T | undefined. T ist ein Typ, der bei jedem Aufruf eingesetzt wird: Bei erstes(namen) ist T gleich string.
• TypeScript leitet die Typargumente aus den Argumenten ab. Du kannst sie auch schreiben, erstes<string>(namen); das ist nötig, wenn TypeScript einen zu engen Typ ableiten würde: fuelle<string | null>(null). Eine Funktion kann mehrere Typparameter haben: paar<A, B>(erstes: A, zweites: B): [A, B].
• string[] ist die Kurzform von Array<string>. Bei Unions ist Array<string | number> oft besser lesbar als (string | number)[]; string | number[] bedeutet etwas anderes. Auch Record<K, V> ist ein generischer Typ.
• Auch deine eigenen Typen können generisch sein: type Truhe<T> = { ort: string; beute: T };, interface Regal<T> { gegenstaende: T[] }. Bei einer Variablen schreibst du das Typargument: Truhe<number>.
• type Ergebnis<T> = { ok: true; wert: T } | { ok: false; fehler: string }; beschreibt das Ergebnis von etwas, das scheitern kann; prüfe if (ergebnis.ok), bevor du ergebnis.wert verwendest.
• Eine Einschränkung begrenzt einen Typparameter: <T extends { kraft: number }>. Darin ist ding.kraft erlaubt, und das Ergebnis behält den vollen Typ des Aufrufers.
• keyof Werte ist die Union der Schlüssel von Werte. <K extends keyof Held>(held: Held, schluessel: K): Held[K] liest eine Eigenschaft über ihren Schlüssel und gibt ihren genauen Typ zurück.

In der nächsten Lektion, Klassen, erzeugst du Objekte aus Vorlagen: Eine Klasse beschreibt einmal, was jeder Held oder jedes Monster hat und was es kann, und TypeScript prüft alles davon.

Aber zuerst fasst du diese Lektion zusammen. Der Laden verkauft Tränke und Waffen, die verschiedene Typen sind, aber beide haben einen preis. Im Editor findest du den Typ Ergebnis aus dieser Lektion und die Waren des Ladens; das Waffenregal ist heute leer.