Зачем нужен Type Guard

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

Пример:

function isString(value: unknown): value is string {
  return typeof value === 'string';
}

function process(input: string | number) {
if (isString(input)) {
// Здесь TypeScript знает, что input - string
console.log(input.toUpperCase());
} else {
// Здесь input - number
console.log(input.toFixed(2));
}
}

Основные варианты Type Guards:
- `typeof` для примитивов
- `instanceof` для классов
- Пользовательские type predicates (`value is Type`)
- Проверка существования свойства (`'prop' in obj`)