Кратко и по пунктам: синтаксис, ограничения (ограничения/возможности), влияние на производительность и безопасность типов для Java, C++ и TypeScript.
1) Синтаксис (основные примеры)
- Java:
- Объявление: `class Box { T value; }`
- Ограничение: `class Box { }`
- Использование wildcards: `Box`
- C++:
- Объявление: `template class Box { T value; };`
- Ограничение (C++20 concepts): `template class Box { };`
- Нон-тайп параметры: `template struct Array { int data[N]; };`
- TypeScript:
- Объявление: `class Box { value: T; }`
- Ограничение: `class Box { }`
- Функции/условные типы: `type Unwrap = T extends Promise ? U : T;`
2) Ограничения / возможности
- Java (type erasure):
- Реализация через стирание типов — нет реified типов во время выполнения.
- Нельзя параметризовать примитивы напрямую (используются обёртки, автoboxing).
- Нельзя создавать `new T()`, массивы `new T[]`, или использовать параметризированные типы в `instanceof`.
- Нельзя объявлять обобщённые исключения.
- Variance через wildcards (`? extends`, `? super`) — контроль ковариантности/контравариантности на месте использования.
- C++ (compile-time templates):
- Шаблоны — механика метапрограммирования: инстанцируются при компиляции под конкретные типы.
- Поддерживаются примитивы, объекты, non-type шаблонные параметры, specialization, partial specialization.
- Можно писать SFINAE/traits и с C++20 — concepts для явных ограничений.
- Нет отдельного runtime-«generic» механизма — всё генерируется как обычный код для каждого типа.
- Отсутствует прямой эквивалент wildcards; полиморфизм через перегрузки/шаблонные специализации.
- TypeScript (системы типов над JS):
- Типы существуют только во время компиляции/проверки — полная эрaзия в JS.
- Ограничения через `extends`, `keyof`, условные и mapped-типов — очень мощная система для выражения структурных ограничений.
- Генерики структурные и декларативные; можно обходить системой `any`/type assertions (незащищённо).
- Нет runtime-информации о типах (как у Java — отсутствует).
3) Влияние на производительность
- Java:
- Генерики реализованы через type erasure — нет отдельных классов для разных аргументов типа, поэтому нет прямого runtime-накладного кода, кроме автoboxing/распаковки при использовании примитивов (это даёт overhead и аллокации).
- Отсутствие реified типов упрощает runtime, но мешает оптимизациям, основанным на знаниях о типе.
- C++:
- "Zero-overhead" по идее: шаблоны компилируются в конкретный код для каждого типа — высокая производительность, оптимизации применяются полноценно.
- Минусы: возможен рост размера бинарника (code bloat) и увеличение времени компиляции.
- TypeScript:
- Типы удаляются при компиляции в JS — никакого runtime-накладного времени на generics. Производительность равна эквивалентному JS.
- Однако ошибки типов приводят к runtime-ошибкам в JS, если компиляция/проверка пропущены или используются unsafe-операции.
4) Безопасность типов (уровень проверки и гарантии)
- Java:
- Строгая проверка во время компиляции, но из-за type erasure некоторые проверки выполняются только в рантайме (ClassCastException при небезопасных приведениях или использовании сырых типов).
- Wildcards и bounded types помогают выразить variance, но часть ошибок может проявиться только при приведении или при взаимодействии с legacy raw-кодом.
- Нет проверки параметров типа во время выполнения (ограничения рефлексии).
- C++:
- Сильная статическая типизация на этапе компиляции: большинство ошибок выявляются при инстанцировании шаблонов.
- Параметризация на уровне компиляции даёт строгую безопасность типов, но шаблонный код может быть менее понятен (ошибки генерируются при подстановке — иногда поздно и сложно читаемо).
- Тем не менее C++ сам по себе допускает небезопасные операции (reinterpret_cast, UB) — безопасность не гарантия языка.
- TypeScript:
- Типовая система во время разработки обеспечивает мощные проверки (особенно с продвинутыми типами), но всё это исчезает в рантайме — гарантии только на этапе компиляции/редактора.
- Возможность обхода (`any`, assertions) снижает безопасность; structural typing даёт гибкость, но может скрывать несовместимые ожидания, если runtime-структуры не проверяются.
- Для безопасного runtime-поведения нужны дополнительные проверки/валидация (например, zod/io-ts).
5) Короткое резюме — когда что выбирать
- Java: удобные, знакомые generics с хорошей статической проверкой для типов-ссылок; ограничения runtime (erase) и накладные расходы при работе с примитивами.
- C++: максимальная производительность и гибкость (метапрограммирование, non-type params, specialization), но потенциально сложные ошибки, увеличение бинарника и сложность кода.
- TypeScript: мощная и гибкая система типов для JS-разработки, нулевая runtime-стоимость, но отсутствие гарантий в рантайме — требуется дисциплина/валидация.
Если нужны конкретные примеры кода для каждого языка или сравнение по конкретным кейсам (массивы, коллекции, runtime-reflection), скажите — пришлю краткие примеры.