Какой синтаксис у Type Guard

Type Guard в TypeScript - это способ сужения типа переменной внутри блока кода. Основные синтаксисы:

1. typeof для примитивов:

if (typeof value === 'string') {
  // value теперь string
}

2. instanceof для классов:

if (error instanceof Error) {
  // error теперь тип Error
}

3. Пользовательские type guards (функции с предикатом):

function isFish(pet: Fish | Bird): pet is Fish {
  return (pet as Fish).swim !== undefined;
}

if (isFish(pet)) {
  pet.swim(); // TypeScript знает, что pet - Fish
}

4. Проверка свойств (in operator):

if ('swim' in animal) {
  // animal имеет свойство swim
}

Type Guards особенно полезны при работе с union типами, помогая TypeScript корректно определить тип в runtime.