Итоги

В этом уроке вы узнали, что:

• Объединение типов (union type) вроде string | number допускает значение любого из своих типов. Без проверки можно делать только то, что работает для всех них: reward.toUpperCase() для string | number — ошибка.
• Проверка сужает тип. Внутри if (typeof reward === "string") { … } значение reward — это string; в ветке else и ниже if, который завершается через return, это number. Массиву из объединения нужны скобки: (number | string)[].
• Объединение литералов вроде type HeroClass = "воин" | "маг" | "следопыт"; допускает только эти значения. TypeScript сообщает об опечатках в значениях, аргументах и сравнениях. У let со строкой тип string, поэтому задайте ему тип или используйте const. Вместо enum используйте объединения литералов.
• null и undefined входят в тип, только если вы сами их туда записали: Monster | null. Проверяйте такое значение, прежде чем использовать, например с помощью if (target === null) { return; }; иначе TypeScript сообщит 'target' is possibly 'null'.
• find() возвращает первый подходящий элемент или undefined, если ничего не подошло. Его тип — Item | undefined: обработайте оба случая и задайте функции, которая ищет, тип возвращаемого значения Item | undefined.
• hero.weapon?.name читает name, только если hero.weapon существует, иначе даёт undefined. value ?? "default" заменяет null и undefined, но, в отличие от ||, не заменяет 0 и "".
• Array.isArray(loot) отличает массив от одиночного значения, например в string | string[]. Остерегайтесь того, что работает для обоих типов, например length и for...of.
• unknown принимает любое значение, но ничего не разрешает, пока вы не сузите тип, например с помощью typeof. Для данных извне используйте его вместо any.
• "heal" in item сужает объединение типов объектов по свойству. Защитник типа (type guard), function isPotion(item: Item): item is Potion, выносит такую проверку в функцию. TypeScript ей доверяет, поэтому проверка должна быть верной.

В следующем уроке, «Моделирование данных», вы узнаете самый распространённый способ описывать данные объединениями в TypeScript: размеченные объединения (discriminated unions), где свойство вроде kind говорит, чем является каждый объект. Вы также познакомитесь с JavaScript-конструкцией switch и узнаете, как TypeScript следит, чтобы вы не забыли ни один случай.