Das Inventar

Jetzt Kiras Rucksack. Sie trägt drei Arten von Gegenständen bei sich: Tränke, die heilen, Waffen, die Schaden machen, und Schlüssel, die etwas öffnen. Jede Art hat andere Daten, also ist das Inventar ein Fall für eine diskriminierte Union aus der Lektion „Daten modellieren“. Jede Art ist ein eigener Objekttyp mit einem art-Tag, und Gegenstand ist die Union davon. Gib jeder Art einen eigenen Namen, Trank, Waffe und Schluessel: Im nächsten Schritt brauchst du den Typ Waffe allein.

Um einen Gegenstand zu beschreiben, verwende ein switch auf dem Tag. In jedem case weiß TypeScript, welche Art von Gegenstand es ist, also kannst du in case "trank" gegenstand.heilung verwenden. Und in den default-Zweig kommt die Vollständigkeitsprüfung mit never aus der Lektion „Daten modellieren“: Wenn irgendwann eine neue Art hinzukommt und ihr case vergessen wird, meldet TypeScript es genau dort. Zum Beispiel bei Zaubern:

type FeuerZauber = { art: "feuer"; name: string; schaden: number };
type EisZauber = { art: "eis"; name: string; runden: number };
type Zauber = FeuerZauber | EisZauber;

function beschreibeZauber(zauber: Zauber): string {
    switch (zauber.art) {
        case "feuer":
            return `${zauber.name} verursacht ${zauber.schaden} Schaden`;
        case "eis":
            return `${zauber.name} friert für ${zauber.runden} Runden ein`;
        default:
            const unbehandelt: never = zauber;
            return unbehandelt;
    }
}

const zauber: Zauber[] = [
    { art: "feuer", name: "Feuerball", schaden: 30 },
    { art: "eis", name: "Frostnova", runden: 2 },
];
for (const einZauber of zauber) {
    console.log(`- ${beschreibeZauber(einZauber)}`);
}

Das gibt aus:

- Feuerball verursacht 30 Schaden
- Frostnova friert für 2 Runden ein

Kiras Gegenstände kommen in eine neue Eigenschaft von Held, inventar: Gegenstand[]. In kira ist das ein Array von Objekten, und TypeScript prüft jedes davon gegen seine Art: Ein Trank mit schaden statt heilung wäre ein Fehler. Das Hauptprogramm gibt dann die Überschrift Inventar: aus und geht die Gegenstände mit for...of durch.

Typische Fehler:

• Ein Großbuchstabe in einem case, case "Trank":. Das Tag ist genau der Text "trank", deshalb meldet TypeScript Type '"Trank"' is not comparable to type '"schluessel" | "trank" | "waffe"'., und dadurch noch ein paar weitere Fehler weiter unten.
• Ein vergessener Fall. Ohne case "schluessel" landet der Schlüssel in default, und die never-Prüfung nennt ihn: main.ts(36,19): error TS2322: Type 'Schluessel' is not assignable to type 'never'.