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

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

Ошибка, которую вы получили, связана с стиранием типов (type erasure) — механизмом, унаследованным Kotlin от JVM. При компиляции информация о конкретном типе T удаляется, и во время выполнения JVM видит только Object (или Any в Kotlin). Поэтому проверка it is T невозможна — компилятор не знает, какой тип подставлять.

Ключевое слово reified решает эту проблему, но только для inline-функций. Оно буквально "материализует" тип — делает его доступным во время выполнения. Давайте разберём это на примерах.

Как использовать reified

Чтобы функция могла работать с типом T во время выполнения, нужно сделать её inline и пометить параметр типа как reified:

inline fun <reified T> countElements(list: List<Any>): Int {
    return list.filter { it is T }.count()
}

fun main() {
    val mixedList = listOf("hello", 42, "world", 3.14, "kotlin")
    println(countElements<String>(mixedList)) // 3
    println(countElements<Int>(mixedList))    // 1
}

Теперь код работает! Почему? Потому что inline функция встраивается в место вызова, а reified заставляет компилятор подставить конкретный тип (например, String) прямо в байт-код. В результате проверка it is String становится реальной и выполняется корректно.

Что reified делает под капотом?

Когда вы пишете:

countElements<String>(mixedList)

Компилятор генерирует код, эквивалентный такому:

fun countElements_String(list: List<Any>): Int {
    return list.filter { it is String }.count()
}

То есть reified — это не магия, а просто подстановка типа на этапе компиляции.

Ограничения reified

• Только для inline-функций. Обычные функции не могут использовать reified.
• Нельзя использовать в классах. Только в функциях (включая extension-функции).
• Нельзя передавать как аргумент. Например, нельзя сделать fun <reified T> foo(bar: T) и потом передать bar в другую reified-функцию — тип должен быть известен на месте вызова.
• Увеличение размера байт-кода. Каждый вызов inline-функции с разным типом создаёт копию кода.

Другие примеры использования

reified часто применяется для:

• Создания экземпляров по типу (например, через рефлексию).
• Работы с сериализацией/десериализацией (например, в библиотеках вроде Gson или kotlinx.serialization).
• Фильтрации коллекций по типу.

// Пример с рефлексией
inline fun <reified T> createInstance(): T {
    return T::class.java.getDeclaredConstructor().newInstance()
}

// Пример с фильтрацией
inline fun <reified T> List<Any>.filterByType(): List<T> {
    return this.filter { it is T }.map { it as T }
}

Таким образом, reified — мощный инструмент для работы с типами, который обходит ограничения JVM, но требует осознанного использования из-за особенностей inline-функций.

fun <T : Any> countElementsByClass(list: List<Any>, clazz: Class<T>): Int {
    return list.filter { clazz.isInstance(it) }.count()
}

fun main() {
    val mixedList = listOf("hello", 42, "world", 3.14, "kotlin")
    println(countElementsByClass(mixedList, String::class.java)) // 3
    println(countElementsByClass(mixedList, Int::class.java))    // 1
}