Что такое Type Guard

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

Примеры:

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

// instanceof guard
class Car {}
function isCar(vehicle: unknown): vehicle is Car {
return vehicle instanceof Car;
}

// пользовательский type guard
interface Cat { meow(): void }
function isCat(pet: unknown): pet is Cat {
return (pet as Cat).meow !== undefined;
}

Использование:
```typescript
function process(input: unknown) {
  if (isString(input)) {
    console.log(input.toUpperCase()); // TypeScript знает, что input - string
  }
}

Основные виды:

• typeof/instanceof проверки
• проверки на null/undefined
• пользовательские type guards (функции с предикатом типа param is Type)
• проверки с помощью оператора in