Продвинутые типы

Система типов TypeScript — это не таблица аннотаций, а маленький чистый функциональный язык, который исполняется в компиляторе на этапе проверки и полностью стирается до того, как будет сгенерирован хоть один байт JavaScript. Продвинутые типы — это программирование на этом языке: keyof берёт ключи типа, mapped-тип перебирает их и строит новый тип, условный тип — это if над совместимостью, infer захватывает часть образца, а рекурсивный псевдоним вызывает сам себя. Ничего из этого не существует в рантайме: рефлексии над типами нет, as — это ничем не подкреплённое обещание компилятору, а не проверка. Держите этот тезис в голове — половина ловушек темы растёт из ожидания рантайм-семантики от чисто компиляторной машины.

Вторая половина ловушек — это места, где язык типов ведёт себя не так, как подсказывает интуиция, и их стоит назвать сразу. keyof на типе с индексной сигнатурой даёт string | number, а не string, потому что JavaScript приводит числовые ключи к строкам. Условный тип распределяется по объединению только когда проверяемый тип — голый параметр типа; обёртка в кортеж [T] extends [U] распределение выключает — именно на этом различии стоят Exclude, NonNullable и корректный IsNever. infer допустим только внутри клаузы extends, нигде больше. Подстановка объединений в template literal type раскрывается в декартово произведение — быстрый путь взорвать бюджет инстанцирования. А рекурсия упирается в жёсткий предел глубины (ts(2589), «excessively deep»), который TS 4.5 поднял с ~50 до ~1000 итераций, но только для рекурсии в хвостовой позиции. Разбор по слоям — ниже.

Карта темы

• Оператор keyof и индексированный доступ — keyof T как объединение имён ключей, T[K] для безопасного чтения и почему индексная сигнатура даёт string | number.
• Mapped-типы — перебор объединения ключей { [K in keyof T]: … }, модификаторы readonly/?, ремаппинг ключей через as и гомоморфность.
• Условные типы — T extends U ? X : Y как if над совместимостью, отложенное вычисление и определения Exclude/Extract/ReturnType.
• Ключевое слово infer — захват части образца внутри extends, infer X extends Y из TS 4.7 и объединение против пересечения при нескольких позициях.
• Дистрибутивность условных типов — распределение по голому параметру-объединению, подавление через [T] extends [U] и ловушка распределения по never.
• Template literal types — сборка строковых литеральных типов, декартово произведение объединений, Uppercase/Capitalize и разбор строки через infer.
• Рекурсивные типы — ссылающиеся на себя псевдонимы, хвостовая рекурсия по кортежам и предел глубины инстанцирования компилятора.

Частые ошибки и ловушки

Значение для собеседований

Продвинутые типы — это senior-сигнал домена. Интервьюер проверяет не знание слов «mapped» и «conditional», а наличие модели исполнения языка типов: что именно вычисляет компилятор, в каком порядке и где у него пределы. Водораздел middle/senior — один вопрос: «когда условный тип распределяется по объединению и как это остановить?». Правильный ответ — не «всегда», а «только когда проверяемый тип — голый параметр типа; [T] extends [U] распределение выключает». Тот же приём применяют ко всей теме: вас просят воспроизвести ReturnType через infer, объяснить, почему Awaited обязан рекурсировать, и починить тип, падающий с «excessively deep», назвав настоящую причину — позицию рекурсивного вызова.

Что обычно проверяют:

• Что даёт keyof T и почему индексная сигнатура расширяет его до string | number.
• Как написать Partial, Required, Readonly руками и что делает клауза as в mapped-типе.
• Что означает T extends U ? X : Y, что это проверка совместимости и что тип стирается из вывода.
• Где допустим infer и как через него определён ReturnType.
• Когда условный тип распределяется по объединению и как выключить распределение.
• Что умеет template literal type и почему подстановка объединений даёт комбинаторный взрыв.
• Как типизировать рекурсивный Json, почему возникает предел глубины и как хвостовая рекурсия его поднимает.

Типичный неверный ответ: «условный тип всегда распределяется по любому объединению, которое встретит». Кандидат, который так считает, не сможет объяснить, почему [T] extends [never] ? true : false — единственный корректный способ написать IsNever, а наивный T extends never ? true : false всегда даёт never (распределение по пустому объединению — ноль итераций). Второй классический провал — прочитать ошибку «Type instantiation is excessively deep» как признак того, что тип бесконечен, и «лечить» её поднятием памяти компилятора. На деле это исчерпание бюджета глубины инстанцирования: рекурсивный вызов, зашитый внутрь template literal, держит все кадры в стеке одновременно, а перенос его в хвостовую позицию через аккумулятор даёт компилятору развернуть рекурсию итеративно.