Kotlin 中的 `reified` 关键字全解析：保留类型信息 + 优化高阶函数的双重魔法

news2025/4/10 7:13:32

在使用 Kotlin 编写泛型函数时，你是否遇到过这样的尴尬：你想判断某个对象是不是泛型类型 T，结果却发现代码根本编译不过？这是因为 Kotlin 和 Java 一样，泛型在运行时会被类型擦除。

为了解决这个问题，Kotlin 提供了一个非常有用的关键字：reified。本篇博客将通过简单的例子带你了解：

为什么需要 reified
如何使用 inline + reified 来保留类型信息
inline 本身的另一个用处：优化高阶函数性能
两种方式的对比及适用场景

🎯 为什么需要 `reified`

来看一个经典的错误示例：

fun <T> isOfType(value: Any): Boolean {
    return value is T // ❌ 编译失败：Cannot check for instance of erased type
}

这是因为 T 是泛型参数，在运行时类型信息已经被擦除了，所以无法直接用 is T 来判断类型。

✅ 使用 `inline + reified` 的正确写法

在 Kotlin 中，我们可以通过将函数标记为 inline，并使用 reified 保留泛型类型，从而解决这个问题。

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

使用方式：

fun main() {
    println(isOfType<String>("Hello")) // true
    println(isOfType<Int>("Hello"))    // false
}

reified 的字面意思是“具体化的”，即让类型参数在运行时仍然是“具体的”而非被擦除。

🧠 reified 的另一个作用：配合高阶函数使用

我们知道 inline 最初的设计是为了优化高阶函数（即 lambda 表达式）的性能。但当你结合 reified 使用时，inline 函数就解锁了新能力。

来看这个例子：我们希望传入一个对象和一段逻辑，只有当对象类型匹配时才执行逻辑。

inline fun <reified T> doIfMatch(value: Any, action: (T) -> Unit) {
    if (value is T) {
        action(value)
    } else {
        println("类型不匹配，不执行")
    }
}

调用方式：

fun main() {
    val anyValue: Any = "Hello Kotlin"

    doIfMatch<String>(anyValue) {
        println("字符串长度是：${it.length}")
    }

    doIfMatch<Int>(anyValue) {
        println("这个不会执行")
    }
}

这个例子就同时体现了 inline 的两个用途：

💡 类型具体化：通过 reified 实现 is T 的类型判断
🚀 高阶函数优化：避免创建 lambda 对象，提升性能

🤯 如果没有 reified 会怎么样？

不使用 reified 的话，你必须手动传入 Class<T> 类型信息：

fun <T> doIfMatchWithoutReified(value: Any, clazz: Class<T>, action: (T) -> Unit) {
    if (clazz.isInstance(value)) {
        @Suppress("UNCHECKED_CAST")
        action(value as T)
    } else {
        println("类型不匹配，不执行")
    }
}

调用方式：

fun main() {
    doIfMatchWithoutReified("Hello", String::class.java) {
        println("执行了：$it")
    }
}

虽然功能一致，但语法繁琐，也不够 Kotlin 风格。

🔍 总结

功能	`inline + reified`	普通泛型
是否能用 `is T`	✅ 是	❌ 否
是否能获取 `T::class`	✅ 是	❌ 否
是否需要传入 `Class<T>`	❌ 不需要	✅ 需要
是否可用在高阶函数中优化性能	✅ 是	✅ 是（只 inline 部分）