Kotlin reified：泛型在编译时的“具现化”`reified` 是 Kotlin 的「**泛型透视镜**」，配

一句话总结

reified 是 Kotlin 的「泛型透视镜」，配合 inline 函数，让泛型在运行时保留类型信息，直接看到具体的类型（不再被类型擦除蒙蔽双眼）。

一、核心原理：绕过类型擦除的编译时魔法

在 Java 和 Kotlin 中，泛型在编译后会进行类型擦除，这意味着在运行时，泛型类型信息（如 List<String> 中的 String）会被抹去。

reified 的工作方式：reified 关键字只能用于 inline 内联函数的泛型参数。当编译器遇到一个内联函数时，它会将被调用处的代码替换为函数体。
类型“具现化” ：由于在替换时，编译器已经知道具体的泛型类型（例如 isString<String> 中的 String），它会用这个具体类型来替换函数体中的泛型 T。
结果：在生成的字节码中，不再有泛型 T，而是具体的类型 String。这使得我们可以在运行时安全地进行类型检查（is T）和反射（T::class.java）。

二、经典应用场景

reified 极大地简化了需要运行时类型信息的泛型编程。

类型安全转换：

// 在一个函数中安全地将对象转换为指定类型
inline fun <reified T> safeCast(obj: Any): T? {
    if (obj is T) {
        return obj
    }
    return null
}
val result: String? = safeCast<String>("hello") // result 为 "hello"
val result2: Int? = safeCast<Int>("hello") // result2 为 null

Gson 等库的封装：

在 Gson 等 JSON 解析库中，reified 允许开发者直接获取泛型的 Class 对象，而无需手动传递。

inline fun <reified T> Gson.fromJson(json: String): T {
    // 在这里，T::class.java 返回的是 T 类型的 Class 对象
    return this.fromJson(json, T::class.java)
}
val user: User = gson.fromJson<User>(json)

反射创建对象：

利用 reified 获取 Class 对象，可以简化反射创建实例的代码。

三、使用限制与陷阱

reified 是一种强大的工具，但它并非没有限制。

必须与 inline 结合：这是 reified 的核心限制。它依赖于编译时的代码替换机制。
不改变类型擦除的本质：reified 只是在编译时“作弊”绕过类型擦除，它没有从根本上改变 JVM 的泛型实现。
复杂泛型的局限性：对于嵌套泛型（如 List<String>），reified 只能获取到外层的类型信息（List::class.java），而无法获取到内层的类型信息（String）。
代码膨胀：过度使用 reified 可能会导致代码膨胀，因为内联函数会在每个调用点生成重复的代码。
与 Java 的互操作：由于 reified 是一种特殊的 Kotlin 语法，包含 reified 泛型的 Kotlin 函数无法被 Java 代码调用。

四、总结

reified 是 Kotlin 为开发者提供的“泛型透视镜”，它让原本在运行时不可见的泛型类型，在编译时得以“具现化”。理解其编译时代码替换的本质，能帮助我们更好地利用它来简化代码，同时避开其带来的陷阱。