Shrnutí

V této lekci jste se naučili, že:

• Rozlišené sjednocení je sjednocení typů objektů se společnou vlastností, značkou, třeba druh, která má v každém typu jiný literálový typ: type Predmet = { druh: "lektvar"; leceni: number } | { druh: "zbran"; poskozeni: number };. Kontrola značky, if (predmet.druh === "lektvar"), typ zúží. TypeScript kontroluje vlastnosti každého druhu a zachytí druhy s překlepem.
• switch (predmet.druh) skočí na case se stejnou hodnotou; ukončí ho break nebo return a bez nich program propadne do dalšího případu. default zachytí zbytek. Každý case typ zúží.
• Kontrola úplnosti ve větvi default, const neosetreny: never = predmet; return neosetreny;, zařídí, že TypeScript ohlásí každý switch, kterému chybí případ pro nějaký druh, a ten druh pojmenuje. never je typ bez hodnot.
• Record<Vzacnost, number> je objekt, který má přesně klíče z typu Vzacnost a u každého z nich číslo. Chybějící klíč je chyba a hodnotu přečte ceny[predmet.vzacnost].
• const vsechnaPovolani = ["valecnik", "mag"] as const; je seznam přesných hodnot jen pro čtení a (typeof vsechnaPovolani)[number] z něj udělá sjednocení, takže seznam a typ si vždycky odpovídají.
• Rozlišené sjednocení umí popsat i stavy jedné věci, každý s vlastními daty: odměnu má jen úkol se stav: "splneny".
• Místo boolean s nepovinnými vlastnostmi napište sjednocení, aby nemožné kombinace nešly zapsat. Značkou může být i boolean: { jeZamcena: false } | { jeZamcena: true; nazevKlice: string }.

V příští lekci, Generika, se naučíte psát funkce a typy, které fungují s jakýmkoli typem, a TypeScript přitom pořád ví, o jaký typ jde: funkci, která vrátí první prvek libovolného pole, nebo truhlu, do které se vejde jakákoli kořist. A uvidíte, jak fungují typy se špičatými závorkami, jako je Record.