Zusammenfassung

In dieser Lektion hast du gelernt:

• Eine diskriminierte Union ist eine Union aus Objekttypen, die eine Tag-Eigenschaft gemeinsam haben, etwa art, mit je einem anderen Literaltyp: type Gegenstand = { art: "trank"; heilung: number } | { art: "waffe"; schaden: number };. Den Tag zu prüfen, if (gegenstand.art === "trank"), grenzt den Typ ein. TypeScript prüft die Eigenschaften jeder Art und fängt falsch geschriebene Arten ab.
• switch (gegenstand.art) springt zum case mit demselben Wert; break oder return beendet ihn, und ohne sie rutscht das Programm in den nächsten Fall durch. default fängt den Rest ab. Jeder case grenzt den Typ ein.
• Die Vollständigkeitsprüfung in default, const unbehandelt: never = gegenstand; return unbehandelt;, sorgt dafür, dass TypeScript jedes switch meldet, dem für eine Art der Fall fehlt, und sie nennt die Art. never ist der Typ ohne Werte.
• Record<Seltenheit, number> ist ein Objekt mit genau den Schlüsseln von Seltenheit und einer Zahl für jeden von ihnen. Ein fehlender Schlüssel ist ein Fehler, und preise[gegenstand.seltenheit] liest einen Wert.
• const klassen = ["krieger", "magier"] as const; ist eine schreibgeschützte Liste genauer Werte, und type HeldenKlasse = (typeof klassen)[number]; macht daraus eine Union, sodass Liste und Typ immer zusammenpassen.
• Eine diskriminierte Union kann auch die Zustände einer einzigen Sache beschreiben, jeden mit eigenen Daten: Nur ein Auftrag mit status: "erledigt" hat eine belohnung.
• Schreibe statt eines boolean mit optionalen Eigenschaften eine Union, damit unmögliche Kombinationen sich nicht schreiben lassen. Auch ein boolean kann der Tag sein: { istVerschlossen: false } | { istVerschlossen: true; schluesselName: string }.

Als Nächstes kommt ein weiteres kleines Projekt: das Auftragsbuch eines Schmieds, in dem du Objekttypen, Unions und diskriminierte Unions selbstständig einsetzt. Danach lernst du in der Lektion über Generics, Funktionen und Typen zu schreiben, die mit jedem Typ arbeiten, während TypeScript trotzdem im Blick behält, welcher Typ es ist: eine Funktion, die das erste Element eines beliebigen Arrays zurückgibt, oder eine Truhe, die jede Beute enthalten kann. Und du siehst, wie Typen mit spitzen Klammern wie Record funktionieren.

Jetzt üben. Kiras Reise im Editor ist eine Liste von Begegnungen: Kämpfe, Schätze und Rasten.