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

在使用 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 部分）

---

✅ 使用建议

• 如果你写的是泛型函数并需要类型判断 或反射功能，请考虑使用 inline + reified。
• 如果你需要频繁传 lambda，请使用 inline 优化性能。
• 记住：reified 只能用于 inline 函数中，因为类型信息只有在内联时才能保留下来。