Как ключевое слово `reified` позволяет получить доступ к информации о типах generics во время выполнения в inline функциях Kotlin?

The Problem: Type Erasure

В Kotlin (и Java) параметры обобщённых типов стираются во время выполнения виртуальной машиной Java. Это значит, что во время выполнения функция вроде fun <T> example() понятия не имеет, что такое T — из-за чего операции типа T::class.java невозможны в обычных функциях.

Что делает reified

Ключевое слово reified, используемое исключительно с inline-функциями, указывает компилятору подставить реальный тип в каждое место вызова во время компиляции. Поскольку inline-функции копируют свой bytecode напрямую в код вызывающей стороны, конкретный тип всегда доступен — поэтому JVM никогда не нужно его стирать.

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

Без reified обращение к T::class.java вызовет ошибку компиляции. С ним компилятор заменяет T на реальный тип в каждом месте вызова, что делает полный доступ к типу во время выполнения возможным.

Ключевые возможности, которые открываются

• Выполнение is-проверок типов: value is T
• Доступ к ссылке на класс: T::class
• Использование рефлексии над обобщённым типом
• Не нужно передавать Class<T> как явный параметр

Важные ограничения

• reified требует, чтобы функция была inline
• Его нельзя использовать с обычными функциями или параметрами типа на уровне класса
• Каждое место вызова получает свою собственную инлайн-копию, что может слегка увеличить размер bytecode

Резюме

reified решает проблему стирания типов для inline-функций, сохраняя информацию об обобщённом типе во время компиляции — конкретный тип встраивается непосредственно в генерируемый bytecode в каждом месте вызова.