TS TypeScript · 25 вопросов · ~70 мин · ⏱ Таймер 10:00 · Средний ·

Условные типы

Разбирает тему «Условные типы» на практических сценариях: поиск дефектов, сравнение решений и оценка последствий. Вопросы требуют читать код, сопоставлять статические гарантии с поведением JavaScript и выбирать решение, которое не рассыплется при развитии проекта.

Отвечено: 0 из 25

⏱ --:--

💡 Инструкция: Выберите один ответ из пяти. На 25 вопросов отведено 70 минут. Код читайте построчно: часть заданий проверяет не результат JavaScript, а то, что TypeScript способен доказать до запуска.

Вопрос 1 из 25

Какие типы получают A и B?

type IsString<T> = T extends string ? true : false;
type A = IsString<string>;
type B = IsString<number>;

Результат существует только в runtime Оба true A = string, B = number Оба false A = true, B = false

Вопрос 2 из 25

Что вернёт Flatten<number[]>?

type Flatten<T> = T extends readonly (infer Item)[] ? Item : T;
type Value = Flatten<number[]>;

number[] Item unknown never number

Вопрос 3 из 25

Почему T extends null не является runtime-проверкой?

type RemoveNull<T> = T extends null ? never : T;

Тип добавляет автоматический throw T всегда становится boolean Это вычисление типа, не проверка результата JSON.parse Conditional types выполняются при каждом if null удаляется из JavaScript

Вопрос 4 из 25

Когда conditional type оправдан?

Когда достаточно простого union Когда нужно ветвление JavaScript Когда требуется валидация формы Когда хочется сократить любое имя Когда результат статически зависит от входного типа

Вопрос 5 из 25

Почему сложный conditional стоит сопровождать примерами?

Его ветви и поведение на union трудно понять только по имени Примеры выполняют тип в runtime Type aliases не поддерживают комментарии Conditional всегда возвращает any Без примеров conditional не компилируется

Вопрос 6 из 25

Какой результат у ToArray<string | number>?

type ToArray<T> = T extends unknown ? T[] : never;
type Result = ToArray<string | number>;

string[] | number[] (string | number)[] [string, number] unknown[] never

Вопрос 7 из 25

Как отключить distributivity?

type ToArrayNonDist<T> = [T] extends [unknown] ? T[] : never;
type Result = ToArrayNonDist<string | number>;

Использовать T & unknown Добавить readonly к T Обернуть T в кортеж: [T] extends [U] Distributivity отключить невозможно Заменить extends на keyof

Вопрос 8 из 25

Какой тип получает R?

type MyExclude<T, U> = T extends U ? never : T;
type R = MyExclude<"a" | "b" | 1, string>;

"a" | "b" string "a" | "b" | 1 never 1

Вопрос 9 из 25

Когда distributivity неожиданно меняет смысл?

Когда T не является union Когда используется interface Когда включён skipLibCheck Когда результат boolean Когда union требовалось проверить целиком

Вопрос 10 из 25

Почему never исчезает из результирующего union?

Union хранит максимум два варианта Компилятор заменяет never на undefined never не добавляет значений в объединение never существует только в conditional never автоматически бросает исключение

Вопрос 11 из 25

Какой тип извлечёт Return<T>?

type Return<T> = T extends (...args: any[]) => infer R ? R : never;
type R = Return<(id: string) => Promise<number>>;

(...args: any[]) => unknown never string number Promise<number>

Вопрос 12 из 25

Какой тип получает Value?

type UnwrapPromise<T> = T extends Promise<infer V> ? V : T;
type Value = UnwrapPromise<Promise<{ id: string }>>;

unknown Promise<{ id: string }> never string { id: string }

Вопрос 13 из 25

В показанном фрагменте что извлечёт First<T>?

type First<T> = T extends readonly [infer H, ...unknown[]] ? H : never;
type A = First<[string, number]>;
type B = First<[]>;

A = string | number, B = undefined Оба never A = unknown, B = unknown A = string, B = never A = number, B = never

Вопрос 14 из 25

Почему имя infer-параметра должно отражать роль?

Длинное имя ускоряет tsc infer разрешает только слово T Имя показывает, что именно извлекает infer Иначе код не компилируется Имя влияет на runtime

Вопрос 15 из 25

Когда встроенный Awaited<T> лучше самописного UnwrapPromise?

Когда T всегда number Для точной семантики await, включая PromiseLike Когда тип должен стать any Когда Promise запрещён Когда требуется runtime-await

Вопрос 16 из 25

Какой тип вычислит DeepReadonly для массива?

type DeepReadonly<T> =
  T extends (...args: any[]) => any ? T :
  T extends readonly (infer U)[] ? readonly DeepReadonly<U>[] :
  T extends object ? { readonly [K in keyof T]: DeepReadonly<T[K]> } : T;

Функцию без параметров Обычный изменяемый массив Readonly-массив рекурсивно обработанных элементов Только первый элемент массива never для любого массива

Вопрос 17 из 25

Зачем нужен базовый случай в рекурсивном типе?

type UnwrapArray<T> = T extends readonly (infer U)[] ? UnwrapArray<U> : T;

Чтобы выполнить цикл в JavaScript Чтобы рекурсия завершалась на немассиве Чтобы T стал any Чтобы разрешить только два уровня Чтобы удалить все примитивы

Вопрос 18 из 25

Какой результат у UnwrapArray<number[][]>?

type UnwrapArray<T> = T extends readonly (infer U)[] ? UnwrapArray<U> : T;
type R = UnwrapArray<number[][]>;

number[][] unknown number[] never number

Вопрос 19 из 25

Какой риск у глубоко рекурсивных conditional-типа?

JavaScript получает рекурсивную функцию Runtime-стек всегда переполняется Типы перестают стираться Все результаты становятся string Медленная проверка, тяжёлые ошибки и лимит инстанцирования

Вопрос 20 из 25

Когда рекурсивный тип не стоит использовать?

Когда target ниже es2022 При малой фиксированной глубине Когда тип экспортируется Когда есть хотя бы один массив Когда используется readonly

Вопрос 21 из 25

Какой ожидаемый тип нужно зафиксировать, чтобы тест заметил потерю распределяемости условного типа?

type ToArray<T> = T extends unknown ? T[] : never;
type Result = ToArray<string | number>;

unknown[] (string | number)[] string[] | number[] never string[] & number[]

Вопрос 22 из 25

Какой пример должен остаться ошибочным для типа MessageOf<T>?

type MessageOf<T> = T extends { message: infer M } ? M : never;

Присваивание string результату MessageOf<{ message: string }> Использование infer для типа свойства Получение never для объекта без message Применение типа к readonly-свойству message Попытка присвоить number результату MessageOf<{ message: string }>

Вопрос 23 из 25

Почему проверка только одного члена union недостаточна для рекурсивного условного типа?

Компилятор меняет порядок union во время выполнения Проверка одного члена всегда превращает результат в any Ошибка может появиться при распределении или в базовом случае Один член union отключает удаление типов Рекурсивные типы работают только с тремя вариантами

Вопрос 24 из 25

После оптимизации DeepReadonly<T> перестал сохранять кортежи и превращает их в обычные массивы. Что добавить в тест?

Runtime-проверку Object.isFrozen Сравнение времени компиляции одного пустого типа Проверку только обычного объекта с двумя полями Приведение результата к readonly unknown[] Assertion, что readonly [1, 2] остаётся кортежем фиксированной длины

Вопрос 25 из 25

Как безопаснее проверять условный тип, который для неподдерживаемого входа возвращает never?

Только проверкой, что файл компилируется Положительные формы и отрицательный пример для never Заменой never на any в тестах Одним примером с unknown Только сравнением текста сгенерированной декларации

Ответьте на все 25 вопросов, чтобы получить результат

🔗 Встроить тест на свой сайт (iframe) ▼

Скопируйте код и вставьте в любое место на вашем сайте:

Также доступна прямая ссылка на embed-страницу