0Pricing
TypeScript Academy · Урок

Распределительные условные типы

Разберитесь, как условные типы распределяются по элементам объединения

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

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

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

Что такое распределение

Когда условный тип содержит отдельный обобщённый T, а T является объединением, TypeScript применяет условие к каждому члену объединения отдельно.
type Wrap<T> = T extends any ? { value: T } : never;
type R = Wrap<string | number>;
// = { value: string } | { value: number }

Ключевое условие

Распределение происходит только тогда, когда T является отдельным (не обёрнутым) обобщённым параметром типа. Обёртывание T в кортеж предотвращает распределение.
type Bare<T> = T extends string ? 'yes' : 'no';
type Wrapped<T> = [T] extends [string] ? 'yes' : 'no';
type B = Bare<'a' | 'b'>; // 'yes' | 'yes' = 'yes'
type W = Wrapped<'a' | 'b'>; // 'no' — treated as a tuple

Фильтрация объединений с помощью never

Возврат never из ветви false отфильтровывает члены объединения.
type StringsOnly<T> = T extends string ? T : never;
type S = StringsOnly<string | number | boolean>; // string

Встроенный тип Extract

Extract реализован с помощью распределяемого условного типа, сохраняющего члены, совместимые с U.
type Extract<T, U> = T extends U ? T : never;
type E = Extract<string | number | boolean, string | number>; // string | number

Встроенный тип Exclude

Exclude удаляет из объединения члены, совместимые с U.
type Exclude<T, U> = T extends U ? never : T;
type Ex = Exclude<string | number | boolean, boolean>; // string | number

Распределение ToArray

Применяйте ToArray к каждому члену объединения отдельно посредством распределения.
type ToArray<T> = T extends any ? T[] : never;
type R = ToArray<string | number>; // string[] | number[]

Сценарий использования без распределения

Иногда требуется рассматривать всё объединение как единый аргумент типа, не распределяя его.
type IsUnion<T> = [T] extends [T] ? [T] extends [Exclude<T, T>] ? false : true : false;

Распределяемые отображаемые типы

Объединяйте распределяемые условные типы с отображаемыми типами, чтобы преобразовывать выбранные свойства.
type PickByValue<T, V> = {
  [K in keyof T as T[K] extends V ? K : never]: T[K]
};

Распределяемый условный тип в ReturnType

Распределяемое поведение позволяет ReturnType корректно работать, когда T является объединением типов функций.
type Fn = (() => string) | (() => number);
type R = ReturnType<Fn>; // string | number

Отложенное и немедленное распределение

TypeScript откладывает вычисление условных типов со свободными параметрами типов до момента их разрешения — это отложенное вычисление.

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

Чему равно `type R = (string | number) extends string ? 'yes' : 'no'`, если T не является отдельным обобщённым параметром?

Итоги

Распределяемые условные типы применяются к каждому члену объединения отдельно, когда T является отдельным обобщённым параметром. Это поведение лежит в основе Extract, Exclude и пользовательской фильтрации объединений. Оберните тип в кортеж, чтобы предотвратить распределение.

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

Урок «Распределительные условные типы» бесплатный?

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

Чему я научусь в уроке «Распределительные условные типы»?

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

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

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

Сколько времени занимает урок «Распределительные условные типы»?

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

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

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

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

  1. keyof и типы индексированного доступа
  2. Ограничения обобщений: сужение параметров типов
  3. Условные типы: T extends U ? X : Y
  4. Распределительные условные типы
← Назад к TypeScript Academy