Дженерики

Дженерик параметризует функцию, класс или тип переменной типа, поэтому один и тот же код работает с разными типами, сохраняя точный тип. Классический пример — identity<T>(x: T): T: она возвращает ровно тот тип, что получила, так что identity(5) имеет тип number, а не размытый any.

Именно этим дженерик отличается от any: any стирает тип и отключает проверки, а параметр типа сохраняет связь между входом и выходом, оставаясь полностью типобезопасным. Дальше эта идея масштабируется: ограничения через extends и keyof сужают то, что можно передать, не теряя точности, а встроенные utility-типы (Partial, Pick, Omit, Record) — это дженерики поверх mapped-типов, переиспользуемые преобразования формы. Полная карта — в слоях ниже.

Карта темы

• Дженерики — параметр типа <T>, дженерик-функции, классы и интерфейсы; вывод типа и почему дженерик — не any.
• Ограничения (extends) — <T extends U> как верхняя граница, keyof и <K extends keyof T> для безопасной индексации.
• Utility-типы — Partial, Required, Pick, Omit, Record, Readonly как дженерики поверх mapped-типов.

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

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

Дженерики — одна из самых частых тем на TypeScript-интервью, потому что за ними стоит понимание всей системы типов. Кандидат, который объясняет, что дженерик сохраняет тип там, где any его теряет, сразу показывает зрелость.

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

• Чем дженерик отличается от any и почему identity(5) — это number, а не any.
• Может ли компилятор вывести аргумент типа или его нужно передавать явно.
• Как ограничить параметр через extends и что даёт <K extends keyof T>.
• Как устроены Partial, Pick, Omit, Record и что они компилируются в ничто.
• Разница Pick / Omit и на чём работает Exclude (объединение, а не ключи объекта).

Типичный неверный ответ: «дженерик — это просто красивый any». Это открывает разговор о том, что any рвёт связь входа и выхода, а дженерик её держит, поэтому один типобезопасный код заменяет стопку перегрузок.