Что такое Type Guard и зачем он нужен

Question

Type Guard — это проверка, которая позволяет TypeScript точно определить тип значения в конкретной ветке кода. Он используется при работе с union-типами, когда поведение зависит от реального типа данных. Type Guard делает код безопаснее и избавляет от лишних проверок и приведения типов. Он может быть встроенным или пользовательским.

YeaHub · Accepted Answer

ОпределениеType Guard — это выражение или функция, которая сужает тип значения в определённой области видимости.Встроенные Type GuardtypeofinstanceofПроверка по свойствуПример:function print(value: string | number) {
  if (typeof value === 'string') {
    value.toUpperCase();
  }
}
Пользовательский Type Guardtype User = { name: string };
type Admin = { name: string; role: string };

function isAdmin(user: User | Admin): user is Admin {
  return 'role' in user;
}
Использование:if (isAdmin(u)) {
  u.role;
}
Зачем они нужныБезопасная работа с union-типамиЧитаемый код без asЗащита от runtime-ошибокВыводType Guard — ключевой инструмент TypeScript для безопасной логики, когда тип значения определяется во время выполнения.