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

Сужение типов

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

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

⏱ --:--

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

Вопрос 1 из 20

Какой тип имеет value в каждой ветви?

function show(value: string | number) {
  if (typeof value === "string") {
    return value.toUpperCase();
  }
  return value.toFixed(2);
}

В обеих ветвях string | number Тип определяется только во время выполнения и не сужается В первой String, во второй Number В первой unknown, во второй never В первой ветви string, во второй number

Вопрос 2 из 20

Почему проверка typeof value === "object" недостаточна?

function read(value: object | null) {
  if (typeof value === "object") {
    return Object.keys(value);
  }
}

Потому что typeof null тоже равен "object" object всегда включает undefined typeof не работает с union Object.keys принимает только массивы null автоматически превращается в пустой объект

Вопрос 3 из 20

До какого типа сужается animal?

class Cat { meow() {} }
class Dog { bark() {} }
function speak(animal: Cat | Dog) {
  if (animal instanceof Cat) {
    animal.meow();
  }
}

never Cat Cat | Dog typeof Cat object

Вопрос 4 из 20

Когда instanceof не подходит для проверки данных из JSON?

Когда JSON содержит строки Когда интерфейс имеет метод Когда включён strict Когда класс экспортирован Когда тип не имеет runtime-конструктора

Вопрос 5 из 20

Почему сравнение typeof x === "array" никогда не сузит массив?

Потому что массивы нельзя включать в union Потому что массивы имеют тип string Потому что strict запрещает строковые сравнения Потому что typeof доступен только для примитивов TypeScript Потому что JavaScript не возвращает строку "array"

Вопрос 6 из 20

Какой тип имеет value в истинной ветви?

type File = { path: string; size: number };
type Folder = { path: string; children: string[] };
function inspect(value: File | Folder) {
  if ("children" in value) {
    return value.children.length;
  }
  return value.size;
}

never File | Folder Record<string, unknown> Folder File

Вопрос 7 из 20

Почему проверка поля kind особенно надёжна?

type Job =
  | { kind: "queued"; position: number }
  | { kind: "done"; result: string };
function render(job: Job) {
  if (job.kind === "done") return job.result;
  return job.position;
}

Сравнение строки проверяет данные сервера Литеральная метка сохраняет связь с полями каждого варианта Поле kind удаляет остальные свойства Метка превращает union в intersection После if оба поля становятся optional

Вопрос 8 из 20

Почему hasOwn полезнее простого in в этом сценарии?

const settings = Object.create({ theme: "dark" });
if ("theme" in settings) {
  // свойство может прийти из прототипа
}

in работает только с массивами Object.create удаляет прототип при компиляции hasOwn выполняет статическое сужение без runtime-проверки Прототипные свойства всегда имеют тип never in видит прототип, hasOwn — только собственные поля

Вопрос 9 из 20

В union оба варианта имеют optional-поле value. Сузит ли проверка "value" in x до одного варианта?

Да, всегда до первого варианта Не обязательно Да, всегда до варианта с меньшим числом полей Нет, оператор in вообще не сужает Сузит до never

Вопрос 10 из 20

Какой признак лучше выбрать для размеченного union?

Обязательное поле с уникальными литералами Наличие любого общего поля Случайное число Длина объекта в JSON Имя переменной

Вопрос 11 из 20

Какой тип имеет input после проверки и раннего возврата?

function trim(input: string | null) {
  if (input === null) return "";
  return input.trim();
}

string | null never unknown string null

Вопрос 12 из 20

Почему сужение может потеряться внутри отложенного callback?

function use(value: { name?: string }) {
  if (value.name) {
    setTimeout(() => console.log(value.name.toUpperCase()), 0);
  }
}

Свойство может измениться до выполнения callback Optional-поля становятся any в замыканиях setTimeout всегда меняет name на undefined Стрелочные функции запрещают сужение toUpperCase работает только синхронно

Вопрос 13 из 20

Что произойдёт с типом value после присваивания?

let value: string | number = "42";
value = 42;
value.toFixed(0);

Становится any Остаётся string | number навсегда Становится литералом "42" Становится never В этой точке value сужен до number

Вопрос 14 из 20

Почему сужение локальной const-переменной обычно устойчивее сужения изменяемого свойства объекта?

const выполняет глубокое замораживание всех объектов const существует только в TypeScript const неизменна, а свойство могут изменить через другую ссылку Анализ потока не работает с объектами Свойства объектов всегда имеют any

Вопрос 15 из 20

Функция проверила параметр, но затем вызвала другую функцию, которая может изменить объект. Что разумно сделать?

Считать, что TypeScript блокирует мутацию во время выполнения Сделать объект глобальным Не полагаться на старое сужение изменяемого свойства Отключить strictFunctionTypes Добавить as после внешнего вызова

Вопрос 16 из 20

Почему default-ветка получает тип never?

type Shape =
  | { kind: "circle"; radius: number }
  | { kind: "square"; side: number };
function area(shape: Shape) {
  switch (shape.kind) {
    case "circle": return Math.PI * shape.radius ** 2;
    case "square": return shape.side ** 2;
    default: {
      const impossible: never = shape;
      return impossible;
    }
  }
}

never означает любой объект Переменная shape удаляется после case switch всегда превращает значение в never Все варианты Shape уже обработаны default выполняется первым

Вопрос 17 из 20

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

function fail(message: string): never {
  throw new Error(message);
}
function get(value: string | undefined) {
  return value ?? fail("missing");
}

unknown; результат get — unknown null; результат get — string | null never; ветка fail не продолжает выполнение void; результат get — string | undefined Error; результат get — string | Error

Вопрос 18 из 20

Какой участок недостижим?

function parse(value: string | number) {
  if (typeof value === "string") return value.length;
  if (typeof value === "number") return value;
  return value;
}

Второй return Последний return Ни один участок Обе ветви if Первый return

Вопрос 19 из 20

Зачем оставлять assertNever в production-коде, если ветка должна быть недостижимой?

Он ловит новый union-вариант и неверные runtime-данные Он делает типы доступными в JavaScript Он автоматически валидирует JSON Он ускоряет switch Он заменяет все unit-тесты

Вопрос 20 из 20

Что опасного в default, который молча возвращает пустой объект для неизвестного варианта?

default запрещён при strict Компилятор добавит бесконечный цикл Union автоматически удалит новый вариант Пустой объект всегда имеет тип never Новый вариант превращается в тихую логическую ошибку

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

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

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

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