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

Пересечения и композиция типов

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

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

⏱ --:--

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

Вопрос 1 из 20

Какие поля обязательны у Employee?

type Person = { name: string };
type Worker = { employeeId: string };
type Employee = Person & Worker;

name и employeeId Только employeeId Ни одного, потому что intersection пуст Только name Одно из двух полей на выбор

Вопрос 2 из 20

Почему значение не подходит типу Audited?

type Entity = { id: string };
type Stamp = { updatedAt: Date };
type Audited = Entity & Stamp;
const value: Audited = { id: "x" };

Date нельзя использовать в type alias id должен быть числом Отсутствует обязательное поле updatedAt Типы с & нельзя присваивать литералам Intersection требует одинаковые имена полей

Вопрос 3 из 20

В показанном фрагменте какой тип имеет merged?

function merge<A, B>(a: A, b: B): A & B {
  return Object.assign({}, a, b);
}
const merged = merge({ id: "x" }, { active: true });

{ id: string } & { active: boolean } [A, B] { id: string } | { active: boolean } object unknown

Вопрос 4 из 20

Когда intersection естественен?

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

Вопрос 5 из 20

Почему A & B не означает последовательное хранение двух объектов?

Это одно значение, совместимое с обеими структурами Значение автоматически клонируется дважды Оператор & создаёт массив [A, B] Каждая часть хранится в отдельном процессе Intersection существует только у функций

Вопрос 6 из 20

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

type CanRead = { read(): string };
type CanWrite = { write(value: string): void };
type Store = CanRead & CanWrite;

Store выбирает один метод при создании read и write объединяются в одну функцию Store обязан иметь и read, и write Методы становятся optional Store равен never из-за разных имён

Вопрос 7 из 20

Какой объект совместим с Handler?

type HasName = { name: string };
type Callable = (input: string) => number;
type Handler = HasName & Callable;

Функция с добавленным строковым свойством name Обычный объект { name: string } без вызова Любая функция без свойства name Класс с методом call, но не вызываемый объект Строка с методом length

Вопрос 8 из 20

Как composition влияет на параметр функции?

type WithId = { id: string };
type WithVersion = { version: number };
function save(value: WithId & WithVersion) {}

Вызывающий должен передать объект с обоими полями Можно передать только WithId Функция получит tuple из двух объектов Поля появятся автоматически внутри save Можно передать только WithVersion

Вопрос 9 из 20

Чем композиция мелких ролей полезнее огромного базового интерфейса?

Композиция исключает все зависимости Большие интерфейсы запрещены TypeScript Intersection выполняет методы быстрее Мелкие роли автоматически валидируются Потребители зависят только от нужных им ролей

Вопрос 10 из 20

Когда лучше создать именованный интерфейс, а не повторять длинное A & B & C & D?

Всегда при двух типах Когда составная роль стала доменным понятием Только для примитивов Когда нужно runtime-наследование Никогда: имя скрывает структуру

Вопрос 11 из 20

Почему тип Conflicted практически непригоден?

type A = { value: string };
type B = { value: number };
type Conflicted = A & B;

Получается value: string | number Свойство становится optional Intersection удаляет конфликтующее поле Побеждает последнее объявление number Свойство value должно одновременно быть string и number

Вопрос 12 из 20

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

type F1 = (value: string) => void;
type F2 = (value: number) => void;
type Both = F1 & F2;

Параметр становится any Both получает две сигнатуры вызова Побеждает F2 Both нельзя вызвать вообще Функции нельзя пересекать

Вопрос 13 из 20

Что произойдёт при пересечении optional и required свойства?

type A = { id?: string };
type B = { id: string };
type C = A & B;

id станет обязательным string Весь тип станет never id станет string | undefined обязательно id останется optional id исчезнет

Вопрос 14 из 20

Как найти скрытый never в сложном intersection?

Смотреть только на имя alias Добавить as any и продолжить Заменить все & на | Отключить exactOptionalPropertyTypes Поочерёдно раскрыть конфликтующие требования свойств

Вопрос 15 из 20

Как исправить конфликт value: string и value: number, если это разные понятия?

Оставить never и приводить значения Сделать value: any Переименовать или вложить свойства, сохранив оба смысла Удалить одно требование случайно Использовать boolean вместо обоих

Вопрос 16 из 20

Почему этот тип может быть избыточным?

type User = { id: string; name: string };
type NamedUser = User & { name: string };

NamedUser станет union Intersection удалит id Вторая часть повторяет name: string Повторное свойство делает name never User нельзя пересекать с объектом

Вопрос 17 из 20

Какой подход лучше сохраняет различие частей конфигурации?

type Http = { timeout: number };
type Cache = { timeout: number };

type Config = Http & Cache и считать timeout одним Использовать { http: Http; cache: Cache } Сделать Config = Http | Cache Удалить один таймаут Заменить оба значения на any

Вопрос 18 из 20

Когда mixin-функция действительно возвращает intersection?

function withTimestamp<T extends object>(value: T) {
  return { ...value, updatedAt: new Date() };
}

Когда T может быть примитивом Когда updatedAt удаляется перед возвратом Когда возвращается исходный value без изменений Когда результат сохраняет все поля T и добавляет updatedAt Когда функция только меняет прототип без поля

Вопрос 19 из 20

Почему бесконтрольное наращивание intersections ухудшает публичный API?

Непонятны происхождение полей, конфликты и роль типа Типы перестают стираться Оператор & увеличивает размер JavaScript-файла Каждая часть создаёт сетевой запрос Intersection запрещает автодополнение

Вопрос 20 из 20

Как проверить практическую применимость intersection-типа?

Создать реальное значение без assertions Добавить as unknown as Type Сравнить имена исходных типов Проверить только keyof Посчитать число символов в alias

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

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

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

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