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

Определение

Type Guard — это выражение или функция, которая сужает тип значения в определённой области видимости.

Встроенные Type Guard

1. typeof

2. instanceof

3. Проверка по свойству

Пример:

function print(value: string | number) {
  if (typeof value === 'string') {
    value.toUpperCase();
  }
}

Пользовательский Type Guard

type 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;
}

Зачем они нужны

1. Безопасная работа с union-типами

2. Читаемый код без as

3. Защита от runtime-ошибок

Вывод

Type Guard — ключевой инструмент TypeScript для безопасной логики, когда тип значения определяется во время выполнения.