Как работает ключевое слово reified в Kotlin и зачем оно нужно для дженериков?

Что такое reified и как он решает проблему стирания типов

Ключевое слово reified в Kotlin — это механизм, который позволяет сохранять информацию о типе во время выполнения, несмотря на стирание дженериков в JVM. Без reified тип T стирается до Object (или границы), и вы не можете проверить, является ли объект экземпляром этого типа.

Как это работает

reified работает только в паре с inline. Когда вы объявляете функцию как inline, компилятор встраивает её код прямо в место вызова. А reified говорит компилятору: "подставь реальный тип вместо T в месте вызова". В результате компилятор генерирует код, где тип уже известен, и проверки is T становятся возможными.

Вот как исправить ваш пример:

inline fun <reified T> checkType(value: Any): Boolean {
    return value is T
}

fun main() {
    println(checkType<String>("hello"))  // true
    println(checkType<Int>("hello"))     // false
    println(checkType<List<*>>(listOf(1, 2, 3))) // true
}

После встраивания код в main будет выглядеть примерно так:

fun main() {
    println("hello" is String)  // true
    println("hello" is Int)     // false
    println(listOf(1, 2, 3) is List<*>) // true
}

Где ещё полезен reified

• Создание экземпляров через рефлексию: T::class.java или T::class становятся доступны.
• Работа с сериализацией: библиотеки вроде Gson или Kotlinx.serialization используют reified, чтобы избежать передачи Class<T> вручную.
• Фильтрация по типу: можно написать универсальную функцию для фильтрации списка.

Пример с созданием экземпляра:

inline fun <reified T : Any> createInstance(): T {
    return T::class.java.getDeclaredConstructor().newInstance()
}

data class Person(val name: String = "Default")
fun main() {
    val person = createInstance<Person>()
    println(person) // Person(name=Default)
}

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

• reified работает ТОЛЬКО с inline функциями. Если функция не inline, использовать reified нельзя.
• inline функции не могут быть вызваны из Java-кода (только из Kotlin).
• Нельзя использовать reified в свойствах классов или в обычных функциях-членах — только в inline-функциях.
• С reified нельзя работать с примитивными типами напрямую (например, Int будет боксован), но это редко бывает проблемой.

Как это работает "под капотом"

Когда вы пишете inline fun <reified T> foo(), компилятор для каждого вызова foo<String>() и foo<Int>() создаёт отдельную копию кода с конкретным типом. Это увеличивает размер байткода, но даёт возможность использовать тип во время выполнения. По сути, это синтаксический сахар над тем, что вы могли бы сделать вручную, передавая Class<T> как параметр.

В отличие от Java, где вам пришлось бы писать public <T> boolean checkType(Object value, Class<T> clazz) и передавать String.class, в Kotlin с reified это делается лаконично и безопасно.

fun <T : Any> checkTypeWithClass(value: Any, clazz: Class<T>): Boolean {
    return clazz.isInstance(value)
}

fun main() {
    println(checkTypeWithClass("hello", String::class.java))  // true
    println(checkTypeWithClass("hello", Int::class.java))     // false
}

fun <T : Any> checkTypeWithKClass(value: Any, kClass: KClass<T>): Boolean {
    return kClass.isInstance(value)
}

fun main() {
    println(checkTypeWithKClass("hello", String::class))  // true
}