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

Продвинутые обобщения

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

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

⏱ --:--

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

Вопрос 1 из 25

Зачем нужны два параметра T и K?

function pluck<T, K extends keyof T>(items: readonly T[], key: K): T[K][] {
  return items.map(item => item[key]);
}

T нужен только для массива, K всегда string K заменяет T во время выполнения T[K] означает union всех свойств независимо от key T задаёт объект, K — ключ, T[K] — тип результата Оба параметра всегда должны совпадать

Вопрос 2 из 25

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

function zip<A, B>(a: readonly A[], b: readonly B[]): Array<[A, B]> {
  return a.slice(0, b.length).map((x, i) => [x, b[i]!]);
}
const pairs = zip([1, 2], ["a", "b"]);

Array<number | string> Array<[number, string]> Array<[A, B]> без конкретизации unknown[] [number[], string[]]

Вопрос 3 из 25

Почему здесь нужен отдельный R?

function pipe<T, R>(value: T, fn: (value: T) => R): R {
  return fn(value);
}

T нельзя возвращать R выполняет функцию Два параметра ускоряют компиляцию Тип результата преобразования может отличаться от T R обязан расширять T

Вопрос 4 из 25

Когда несколько type parameters избыточны?

Когда параметры объявлены через const Когда функция возвращает Promise Когда есть constraint Когда один параметр полностью выводится из другого Когда имена короче трёх букв

Вопрос 5 из 25

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

Смысловые имена: TInput, TKey, TResult Использовать русские строки в угловых скобках Скрыть параметры через any Именовать их по файлам Всегда только T, U, V независимо от числа

Вопрос 6 из 25

Какой параметр типа можно опустить при вызове?

type ApiResponse<TData, TError = Error> =
  | { ok: true; data: TData }
  | { ok: false; error: TError };

TData Оба всегда Только если TData = never Ни один TError, потому что у него есть default Error

Вопрос 7 из 25

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

type Box<T = string> = { value: T };
const response: Box = { value: "ok" };

string Box<unknown> { value: never } Box<string> Box<any>

Вопрос 8 из 25

Почему default обязан удовлетворять constraint?

type Collection<T extends { id: string } = { id: number }> = T[];

Иначе значение по умолчанию нарушит ограничение Defaults проверяются только во время выполнения Constraint применяется только к явным аргументам Generic aliases не поддерживают defaults Числовой id автоматически станет строкой

Вопрос 9 из 25

Когда default = any опасен?

Он делает generic runtime-классом Он отключает проверку при пропущенном аргументе типа Он всегда равен never Он запрещает вывод типов Он увеличивает JavaScript-bundle

Вопрос 10 из 25

Как default влияет на совместимость API при добавлении нового type parameter?

Он автоматически мигрирует runtime-данные Он меняет порядок выполнения функций Он запрещает новые аргументы Разумный default сохраняет старые вызовы Он действует только внутри d.ts

Вопрос 11 из 25

Почему Producer<Dog> обычно можно использовать как Producer<Animal>?

class Animal { name = "" }
class Dog extends Animal { bark() {} }
type Producer<T> = () => T;

Функция только выдаёт T; Dog безопасно читать как Animal Потому что Dog и Animal номинально равны Потому что Producer принимает T на вход Потому что функции игнорируют результат Это допустимо только при strict: false

Вопрос 12 из 25

Почему Consumer<Animal> может обслужить место, где нужен Consumer<Dog>?

type Consumer<T> = (value: T) => void;

Потому что параметры функций ковариантны Потому что Dog автоматически преобразуется в string Потому что void отключает проверку параметров Обработчик всех Animal точно умеет принять Dog Потому что Consumer не использует T

Вопрос 13 из 25

Почему mutable-массивы усложняют вариантность?

const dogs: Dog[] = [new Dog()];
const animals: Animal[] = dogs;
animals.push(new Animal());

Dog не расширяет Animal Массивы нельзя присваивать вообще Через animals можно записать Animal Проблема только в const push меняет тип переменной на unknown

Вопрос 14 из 25

Как уменьшить риск вариантности в API коллекций?

Отключить strictFunctionTypes Сделать массив tuple из одного элемента Принимать readonly T[] для чтения, запись отделить Заменить элементы на any Использовать T[] везде

Вопрос 15 из 25

Почему методы и function properties могут проверяться немного по-разному при strictFunctionTypes?

Разницы нет ни в одной версии Методы существуют только в runtime Методы бивариантны, свойства-функции проверяются строже Function properties всегда any strictFunctionTypes действует только на return

Вопрос 16 из 25

Какой публичный тип проще для потребителя?

// Вариант A
export type Cache<T, K extends keyof T, V = T[K]> = { get(key: K): V };
// Вариант B
export interface UserCache { get(key: "id" | "name"): string }

Оба типа одинаковы для всех T Доменный UserCache, если универсальность API не нужна Всегда вариант A из-за большего числа generic Всегда вариант B, generic запрещены в API Вариант A выполняется быстрее

Вопрос 17 из 25

Почему не стоит экспортировать служебный type parameter?

export type Query<TInternalAst, TResult> = {
  run(): TResult;
};

TResult нельзя использовать вместе с ним Два параметра делают type alias invalid Параметры типов обязаны быть видимы в JavaScript AST всегда должен быть any TInternalAst раскрывает внутреннюю деталь, не участвуя в API

Вопрос 18 из 25

Как фабрика может скрыть сложный generic?

function defineRoutes<const T extends Record<string, Route>>(routes: T) {
  return createRouter<T>(routes);
}

Потребителю всё равно нужно написать все type arguments Функция превращает routes в any Фабрика отключает проверку Route T становится доступен в runtime Потребитель передаёт обычный объект, а точные параметры выводятся внутри

Вопрос 19 из 25

Как оценить ergonomics generic-API?

Посмотреть реальные вызовы Считать любой conditional признаком качества Сравнить длину имён функций Посчитать число type parameters Проверить только скорость tsc

Вопрос 20 из 25

Когда overload или отдельные функции понятнее универсального generic?

Когда API должен работать с массивами Когда любой вход возвращает себя Когда используется readonly Когда варианты не связаны общей зависимостью типов Когда есть K extends keyof T

Вопрос 21 из 25

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

function echo<const T extends string>(value: T): T { return value; }
const result = echo("draft");

string "draft" T extends string "draft" | undefined unknown

Вопрос 22 из 25

Какой отрицательный пример лучше проверяет ограничение K extends keyof T?

type User = { id: string; name: string };
declare function read<T, K extends keyof T>(obj: T, key: K): T[K];

Вызов read(user, "email") с @ts-expect-error, когда email нет в User Проверка результата через console.log Приведение ключа к any перед вызовом Запуск функции с пустым объектом в JavaScript Вызов read(user, "id") без дополнительных директив

Вопрос 23 из 25

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

type Actual = { id: string; role: "admin" };
type Expected = { id: string; role: "admin" };

Потому что readonly проверяется только при обратном присваивании Потому что TypeScript случайно меняет порядок свойств Чтобы JavaScript выполнил функцию дважды Односторонняя совместимость не доказывает точное равенство типов Чтобы generic-параметры появились во время выполнения

Вопрос 24 из 25

После добавления значения по умолчанию generic-функция стала выводить слишком широкий тип. Какая проверка поймает регрессию точнее всего?

Проверка конкретного результата вызова без явных типов Проверка количества параметров функции через length Снимок скомпилированного JavaScript Тест только с явно указанными generic-аргументами Отключение noImplicitAny в тестовом проекте

Вопрос 25 из 25

Библиотека экспортирует сложный generic с четырьмя параметрами. Какой тест лучше отражает опыт реального потребителя?

Отдельный consumer-проект без доступа к внутренним типам Сравнение размера итогового JavaScript Запуск форматтера на декларациях Проверка только исходного файла внутри монорепозитория Компиляция с отключённым strict

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

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

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

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