TS TypeScript · 20 вопросов · ~55 мин · ⏱ Таймер 55:00 · Лёгкий ·

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

Вопросы требуют читать код, сопоставлять статические гарантии с поведением JavaScript и выбирать решение, которое не рассыплется при развитии проекта.

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

⏱ --:--

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

Вопрос 1 из 20

Какой тип имеет value после успешной проверки isString?

function isString(value: unknown): value is string {
  return typeof value === "string";
}
function upper(value: unknown) {
  if (isString(value)) return value.toUpperCase();
  return "";
}

unknown string boolean never String | unknown

Вопрос 2 из 20

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

function isUser(value: unknown): item is { id: string } {
  return true;
}

Предикаты работают только с this Предикат ссылается на параметр этой сигнатуры unknown нельзя сужать item — зарезервированное слово Тип с id обязан быть интерфейсом

Вопрос 3 из 20

Какой результат даёт filter с предикатом?

function isDefined<T>(value: T | undefined): value is T {
  return value !== undefined;
}
const values = ["a", undefined, "b"].filter(isDefined);

unknown[] Array<string | undefined> string[] undefined[] boolean[]

Вопрос 4 из 20

Что делает пользовательский type guard надёжным?

Runtime-проверка покрывает все обещанные свойства Утверждение as внутри проверки Наличие слова is само по себе Комментарий с именем интерфейса Возврат любого truthy-значения

Вопрос 5 из 20

Когда guard лучше простой локальной проверки typeof?

Когда функция не возвращает boolean Когда тип уже any Когда требуется только сравнить строки Когда нужно изменить объект Когда повторяемой проверке нужно единое точное сужение

Вопрос 6 из 20

Что происходит после assertUser(value)?

function assertUser(value: unknown): asserts value is { id: string } {
  if (typeof value !== "object" || value === null || !("id" in value)) {
    throw new Error("Invalid user");
  }
}
function read(value: unknown) {
  assertUser(value);
  return value.id;
}

value остаётся unknown value становится boolean asserts выполняется только в типах и не бросает ошибку value сужается до { id: string } Функция возвращает объект пользователя

Вопрос 7 из 20

Какой недочёт есть в assertUser?

function assertUser(value: unknown): asserts value is { id: string } {
  if (typeof value !== "object" || value === null || !("id" in value)) {
    throw new Error("Invalid user");
  }
}

Она обязана возвращать true Она не проверяет, что value.id действительно string Она не использует instanceof Object Оператор in удаляет поле id asserts нельзя применять к unknown

Вопрос 8 из 20

Чем asserts condition отличается от asserts value is T?

function invariant(condition: unknown): asserts condition {
  if (!condition) throw new Error("Invariant failed");
}

Она возвращает boolean Первая подтверждает истинность условия Она не влияет на анализ потока Она работает только с классами Она превращает condition в string

Вопрос 9 из 20

Когда assertion function уместнее предиката, возвращающего boolean?

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

Вопрос 10 из 20

Как тестировать assertion function?

Assertion functions не требуют тестов Типовой тест сужения и runtime-тесты отказов Достаточно одного объекта с id Достаточно проверить только текст функции Нужно тестировать только возвращаемый true

Вопрос 11 из 20

Какая проверка действительно подтверждает объект User?

type User = { id: string; active: boolean };
function isUser(value: unknown): value is User {
  // выбрать условие
}

Вернуть Boolean(value) Сравнить JSON.stringify(value).length > 0 Проверить только "id" in value Проверить object, исключить null, затем типы id и active Сделать return true as boolean

Вопрос 12 из 20

Почему Array.isArray недостаточно для number[]?

function isNumbers(value: unknown): value is number[] {
  return Array.isArray(value);
}

Числовые массивы нельзя проверять Массивы всегда содержат strings Предикат должен возвращать объект Она подтверждает массив, но не тип каждого элемента Array.isArray возвращает unknown

Вопрос 13 из 20

Как безопасно проверить вложенное поле?

type Payload = { meta: { requestId: string } };
function isPayload(value: unknown): value is Payload {
  // ...
}

Проверить только typeof value === "object" Сравнить constructor.name с "Payload" Использовать value.meta.requestId без проверок Привести value as Payload и вернуть true Проверить value, meta и requestId с отсечением null

Вопрос 14 из 20

Для крупного DTO с десятками полей ручной guard начал расходиться со схемой. Что разумно сделать?

Единая схема, из которой выводится TypeScript-тип Добавить больше as Перевести DTO в класс без конструктора Проверять только первое поле Отключить skipLibCheck

Вопрос 15 из 20

Почему guard не должен изменять проверяемое значение ради успешного результата?

Мутация создаёт скрытый эффект и подтверждает не исходные данные Изменение всегда делает тип never Побочный эффект улучшает сужение TypeScript запрещает любые присваивания в guard Guard выполняется только во время компиляции

Вопрос 16 из 20

Почему этот guard опасен?

type Admin = { role: "admin"; permissions: string[] };
function isAdmin(value: unknown): value is Admin {
  return typeof value === "object" && value !== null && "role" in value;
}

Guard обязан быть generic Оператор in запрещён для unknown Литеральное поле role нельзя проверять Он не проверяет значение role и массив permissions Admin должен быть классом

Вопрос 17 из 20

Какой тест обнаружит ложную гарантию?

const candidate = { role: "admin", permissions: [1, 2] };

Ожидать false для candidate с числовыми элементами permissions Привести candidate as Admin Ожидать true из-за role Не вызывать guard, потому что объект похож Проверить только длину массива

Вопрос 18 из 20

Что произойдёт, если guard всегда возвращает true?

function isDate(value: unknown): value is Date {
  return true;
}
const input: unknown = "not a date";
if (isDate(input)) input.getFullYear();

getFullYear вернёт undefined без ошибки Код скомпилируется, но упадёт во время выполнения Предикат будет проигнорирован TypeScript проверит тело guard и запретит true input автоматически преобразуется в Date

Вопрос 19 из 20

Как уменьшить вероятность ложного guard?

Узкая проверка всех полей и отрицательные примеры Использовать any внутри Добавлять as к каждому полю Всегда возвращать Boolean(value) Проверять только счастливый путь

Вопрос 20 из 20

Guard из сторонней библиотеки утверждает слишком узкий тип. Как поступить?

Не полагаться слепо Расширить все значения до any Отключить strict Удалить runtime-тесты Считать, что опубликованный тип всегда верен

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

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

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

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