Как Kotlin реализует дженерики на JVM «под капотом»?

Как Kotlin реализует дженерики на JVM «под капотом»?

• На уровне исходного кода типы Kotlin являются универсальными (generic)
• Компиляция выполняется для JVM с type erasure
• В JVM конкретный параметр типа стирается и не сохраняется в байткоде
• Ограничивать допустимые типы помогает ограничение (upper bound), которое учитывается при проверке на этапе компиляции
• Сохранить информацию о типе позволяют параметры reified, используемые в inline-функциях
• Работа с дженериками включает применение castов, ограничений и рефлексии (RuntimeType)
• На практике дженерики обеспечивают безопасность: типы проверяются компилятором, однако в рантайме JVM не располагает сведениями о точном типе

Итого: дженерики Kotlin используют стирание типов JVM, а дополнительные механизмы сохраняют типовую информацию на этапе compile-time и в inline-функциях с reified.

Развёрнутый ответ

Основной ответ

Механизм type erasure (стирания типов), знакомый по Java, лежит в основе реализации дженериков в Kotlin. Во время компиляции сведения о параметрах типа удаляются, поэтому в рантайме получить их напрямую нельзя. При этом Kotlin позволяет применять reified типы в inline-функциях и тем самым частично обходить ограничение type erasure.

Главные особенности

• При использовании Type erasure компилятор заменяет параметры дженериков верхним bound — как правило, Any?. Благодаря этому один байткод подходит для разных типов: расход ресурсов снижается, но напрямую обратиться к типу в рантайме уже нельзя.
• Reified типы и inline-функции: начиная с Kotlin 1.1+, модификатор inline вместе с ключевым словом reified позволяет сохранить сведения о параметре типа и использовать их внутри функции. Например, это применимо для is-проверок и создания объектов, что недоступно для обычных дженериков.
• Типобезопасность: во время компиляции Kotlin проверяет типы и формирует байткод, добавляя приведения типов там, где требуется работа с объектами. Такой подход объединяет безопасность типов с совместимостью JVM.

Практический пример

Например, при работе с коллекцией List<String> в байткоде JVM она будет представлена как List без информации о типе элементов. Для обеспечения типобезопасности компилятор Kotlin добавит необходимые cast-операции. Связка inline + reified предоставляет гибкость API, которым нужен реальный тип, например при JSON-сериализации или рефлексии; такой подход часто используется в проектах на Kotlin 1.3+.