TypeScript Academy · Урок

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

Пишите предикаты is для создания собственных средств проверки типов

Урок 3 из 413 шагов

«Пользовательские функции проверки типов» — бесплатный урок TypeScript Academy на CoddyKit. Это урок 3 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения TypeScript Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс TypeScript Academy содержит 4 уроков всего.

Добро пожаловать

Пользовательские защитники типов позволяют инкапсулировать проверку сужения в повторно используемой функции с помощью типа возвращаемого значения-предиката `is`.

Тип возвращаемого значения-предиката is

Функция-защитник типа возвращает `paramName is Type`. Если функция возвращает true, TypeScript сужает параметр до этого типа.
function isString(val: unknown): val is string {
  return typeof val === 'string';
}

Использование защитника типа

Вызовите защитник типа в условии if. TypeScript сузит тип внутри блока.
function process(val: unknown) {
  if (isString(val)) {
    console.log(val.toUpperCase()); // val: string
  }
}

Защитник типа для интерфейсов

Поскольку с интерфейсами нельзя использовать instanceof, защитники типов — основной способ сужения объединений интерфейсов.
interface Cat { meow(): void }
interface Dog { bark(): void }
function isCat(pet: Cat | Dog): pet is Cat {
  return 'meow' in pet;
}

Защитники типов для сложных объектов

Напишите защитник типа, который проверяет форму объекта во время выполнения, прежде чем использовать его как конкретный тип.
interface User { name: string; age: number; }
function isUser(val: unknown): val is User {
  return (
    typeof val === 'object' &&
    val !== null &&
    typeof (val as any).name === 'string' &&
    typeof (val as any).age === 'number'
  );
}

Защитники типов и утверждения

Защитники типов выполняют проверки во время выполнения. Утверждения типов (as Type) работают только во время компиляции и могут быть ложными. Для внешних данных предпочтительнее использовать защитники.

Array.isArray как защитник типа

Array.isArray — встроенный защитник типа. TypeScript понимает его и выполняет соответствующее сужение.
function flatten(val: string | string[]): string[] {
  return Array.isArray(val) ? val : [val];
}

Обобщённые защитники типов

Защитники типов могут быть обобщёнными, что позволяет создавать повторно используемые средства проверки во время выполнения.
function isNonNull<T>(val: T | null | undefined): val is T {
  return val !== null && val !== undefined;
}
const values = [1, null, 2, undefined].filter(isNonNull);
// values: number[]

Функции утверждений

Функции утверждений (с использованием asserts) выбрасывают исключение, если условие ложно, и сужают тип после вызова.
function assertIsString(val: unknown): asserts val is string {
  if (typeof val !== 'string') throw new TypeError('Not a string');
}
assertIsString(input);
console.log(input.toUpperCase()); // narrowed to string

Ответственность защитников типов

TypeScript полностью доверяет возвращаемым значениям защитников типов. Если ваш защитник неверен, TypeScript не обнаружит несоответствие во время компиляции.

Защитники типов в filter и find

Передавайте защитники типов непосредственно в array.filter, чтобы сузить тип результата.
const mixed: (string | null)[] = ['a', null, 'b'];
const strings = mixed.filter((x): x is string => x !== null);
// strings: string[]

Быстрая проверка

Какая аннотация возвращаемого типа помечает функцию как защитник типов TypeScript?

Повторение

Пользовательские защитники типов используют возвращаемые типы `param is Type`, чтобы инкапсулировать логику сужения. Они работают с filter/find, позволяют сужать интерфейсы и могут быть обобщёнными. Функции утверждений выполняют сужение без возврата логического значения.
Можно начать бесплатно

Изучай TypeScript с ИИ-репетитором — бесплатно

Пиши и запускай код прямо в браузере, получай мгновенную помощь от ИИ-репетитора 24/7 и продолжи учиться на сайте или в приложении.

Курсы
101
Уроки
352

Часто задаваемые вопросы

Урок «Пользовательские функции проверки типов» бесплатный?

Да — полный текст урока «Пользовательские функции проверки типов» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс TypeScript Academy, подпишись на CoddyKit PRO. Курс TypeScript Academy содержит 4 уроков всего.

Чему я научусь в уроке «Пользовательские функции проверки типов»?

Пишите предикаты is для создания собственных средств проверки типов Ты практикуешь TypeScript Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать TypeScript Academy?

Предыдущий опыт не требуется. TypeScript Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 3 из 4.

Сколько времени занимает урок «Пользовательские функции проверки типов»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке TypeScript Academy?

Да. Каждый урок TypeScript Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

  1. Сужение типов с помощью typeof и проверки истинности
  2. Сужение типов с помощью instanceof и in
  3. Пользовательские функции проверки типов
  4. Проверка полноты с помощью never
← Назад к TypeScript Academy