Как в runtime получить доступ к типу дженерика

Проблема стирания типов и обходные пути

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

// Так НЕ РАБОТАЕТ из-за стирания типа
fun <T> printType() {
    println(T::class.java) // Ошибка компиляции: Cannot use 'T' as reified type parameter
}

Решение: использование Reified Type Parameters

В Kotlin появилось специальное решение — reified (овеществленные) типовые параметры. Они позволяют сохранить информацию о типе во время выполнения, но с важным ограничением: их можно использовать только в inline-функциях. Это связано с тем, что при компиляции тело inline-функции "встраивается" в место вызова, и компилятор может подставить конкретный тип аргумента.

Пример с reified:

inline fun <reified T> getTypeName(): String {
    return T::class.java.simpleName
}

// Использование
val name = getTypeName<List<String>>()
println(name) // Выведет: ArrayList (или другой конкретный класс List)

// На практике часто используют с передачей класса как параметр
inline fun <reified T> fromJson(json: String): T {
    val type = T::class.java
    // Используем тип для десериализации (например, с помощью Gson/Moshi)
    return Gson().fromJson(json, type)
}

// Вызов
val user = fromJson<User>("""{"name": "John"}""")

Альтернативные подходы (когда reified не подходит)

Если вы не можете использовать inline-функцию (например, нужен виртуальный вызов или функция из Java), есть другие способы:

1. Передача Class<T> или KClass<T> как параметра

Самый распространенный и надежный способ, который работает везде:

fun <T> parseJson(json: String, clazz: Class<T>): T {
    return Gson().fromJson(json, clazz)
}

// В Kotlin можно использовать KClass
fun <T : Any> createInstance(kClass: KClass<T>): T {
    return kClass.java.newInstance()
}

// Использование
val user = parseJson("""{"name": "John"}""", User::class.java)

2. Использование суперкласса с известным типом

Если у вас есть иерархия классов, можно вынести тип в родительский класс или интерфейс:

abstract class TypedEntity<T> {
    abstract val type: Class<T>
}

class UserEntity : TypedEntity<User>() {
    override val type: Class<User> = User::class.java
}

3. Неявная передача через параметры функции

Часто тип можно вывести из аргументов функции:

fun <T> List<Any?>.filterByType(clazz: Class<T>): List<T> {
    return this.filter { clazz.isInstance(it) }.map { it as T }
}

// Использование
val mixedList = listOf("text", 42, User(), "another")
val strings = mixedList.filterByType(String::class.java)

Особенности для Android и библиотек

В Android-разработке эти подходы особенно важны при работе с:

• Сериализацией/десериализацией (Gson, Moshi, Kotlinx.serialization)
• Dependency Injection (Dagger, Koin)
• Навигации (Jetpack Navigation с безопасными аргументами)
• RecyclerView Adapters с разными типами ViewHolder

// Пример с безопасными аргументами Navigation
inline fun <reified T> NavArgumentBuilder.defaultValue(value: T) {
    this.defaultValue = value
    // Тип T используется для проверки совместимости
}

// Пример с адаптером RecyclerView
inline fun <reified T : ViewHolder> createViewHolderFactory(
    crossinline creator: (View) -> T
): (View) -> ViewHolder {
    return { view -> creator(view) }
}

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

1. reified работает только с конкретными типами — нельзя получить List<String>::class, только List::class.
2. Тип должен быть известен в точке вызова — если тип сам является generic-параметром внешней функции, reified не поможет.
3. Производительность — inline-функции увеличивают размер байт-кода, но для небольших функций это не критично.
4. Совместимость с Java — функции с reified параметрами нельзя вызвать из Java-кода.

Вывод

Для runtime-доступа к типам дженериков в Kotlin/Android:

• Используйте reified параметры в inline-функциях — это идиоматичный способ в Kotlin
• В остальных случаях передавайте Class<T> или KClass<T> явно
• Помните о фундаментальном ограничении JVM — стирании типов, и проектируйте API с учетом этого