Что такое предикаты типов в TypeScript?

TypeScript умеет автоматически сужать типы, но иногда ему нужна подсказка от разработчика.

Определение

Предикат типов — это функция с возвращаемым типом вида value is Type, которая сообщает TypeScript, что значение относится к определённому типу.

Пример предиката

Рассмотрим проверку пользовательского типа:

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

Как это работает

После использования такой функции:

• TypeScript доверяет результату проверки

• тип переменной сужается внутри блока

if (isString(data)) {
  // data имеет тип string
  data.toUpperCase();
}

Зачем это нужно

Предикаты типов полезны, когда:

• работают с unknown

• используют объединённые типы

• пишут переиспользуемые проверки

• валидируют данные из API

Отличие от обычных проверок

Обычная функция:

• возвращает boolean

• не влияет на тип

Предикат типов:

• возвращает boolean

• влияет на систему типов

Краткий вывод

Предикаты типов позволяют вручную управлять сужением типов и делают код безопаснее и выразительнее. Это мощный инструмент TypeScript для сложных проверок.