kotlin中reified如何实现真泛型

news/2025/3/5 14:26:28/

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


举个现实例子

假设你要写一个函数,判断某个对象是否是 String 类型:

// 普通泛型函数(类型擦除后,运行时不知道 T 是啥)
fun <T> isString(obj: Any): Boolean {return obj is T // ❌ 编译报错:Cannot check for instance of erased type T
}// 用 reified + inline(运行时能看清 T 的真身)
inline fun <reified T> isString(obj: Any): Boolean {return obj is T // ✅ 能正确判断
}// 使用:
println(isString<String>("hello")) // 输出:true
println(isString<Int>("hello"))    // 输出:false

→ reified 让泛型 T 在运行时保留类型信息,从而支持 is T 这样的操作。


原理拆解

1. 泛型类型擦除的困境
  • Java/Kotlin 的泛型在编译后会擦除类型信息(比如 List<String> 运行时只是 List)。
  • 普通泛型函数中,无法在运行时知道 T 的具体类型(比如 T::class.java 会报错)。
2. reified 的魔法
  • 结合 inline 函数
    内联函数在编译时会把代码直接粘贴到调用处,此时编译器知道具体的泛型类型(如 StringInt)。
  • reified 关键字
    告诉编译器保留泛型类型信息,允许在运行时访问 T 的实际类型。
3. 底层实现

编译后的代码中,泛型 T 会被替换为具体的类型(比如调用时传入 String,代码中的 T 就变成 String)。

// 假设调用 isString<String>("hello")
// 编译后代码实际变成:
fun isString(obj: Any): Boolean {return obj is String // 直接替换为具体类型!
}

reified 的经典应用场景

1. 类型检查
inline fun <reified T> checkType(obj: Any) {if (obj is T) {println("是 ${T::class.simpleName} 类型")}
}
checkType<String>("hello") // 输出:是 String 类型
2. 反射创建对象
inline fun <reified T> createInstance(): T {return T::class.java.getDeclaredConstructor().newInstance()
}
val str: String = createInstance() // 创建 String 实例(需要无参构造)
3. 解析 JSON(如 Gson 库)
inline fun <reified T> Gson.fromJson(json: String): T {return fromJson(json, T::class.java) // 直接获取 T 的 Class 对象
}
val user = gson.fromJson<User>(json) // 自动推断 User 类型

为什么 Java 做不到?

  • Java 的泛型是伪泛型:编译后类型信息被擦除,运行时无法获取。
  • Kotlin 的 reified 是语法糖:通过内联函数 + 编译器替换类型实现,属于“作弊”方案。

注意事项

  1. 必须结合 inline 使用reified 只能修饰内联函数的泛型参数。
  2. 不能用于非内联函数:普通函数无法绕过类型擦除。
  3. 慎用于复杂泛型:如嵌套泛型 List<String>T::class.java 只能拿到 List 类型,无法拿到 String

超简记忆法

  • reified =  “让泛型现出原形” (需配合 inline 使用)。
  • 记住口诀:内联函数加 reified,泛型类型看得清

总结

reified 通过编译时的代码替换,让泛型在运行时保留类型信息,解决了类型擦除的痛点。
适用场景:需要运行时获取泛型类型时(类型检查、反射、JSON 解析等)。
代价:内联函数可能导致代码膨胀,但通常可忽略不计。


http://www.ppmy.cn/news/1576834.html

相关文章

供应链管理:质量屋HQ / House of Quality

在供应链管理中&#xff0c;质量屋&#xff08;House of Quality, HOQ&#xff09;是一种重要的质量管理工具&#xff0c;它源于质量功能配置&#xff08;Quality Function Deployment, QFD&#xff09;理论&#xff0c;用于将顾客需求转化为产品或服务的技术要求&#xff0c;从…

477页pdf深度剖析!张潼教授的《机器学习算法数学分析》

在当今数字化时代&#xff0c;机器学习已成为解决复杂问题的关键技术。从数据分析到人工智能&#xff0c;机器学习的应用无处不在。 然而&#xff0c;尽管机器学习算法在实践中取得了显著成功&#xff0c;其背后的数学理论却往往散布在广泛的文献中。张潼教授的新书《机器学习…

从 JVM 源码(HotSpot)看 synchronized 原理

大家好&#xff0c;我是此林。 不知道大家有没有这样一种感觉&#xff0c;网上对于一些 Java 框架和类的原理实现众说纷纭&#xff0c;看了总是不明白、不透彻。常常会想&#xff1a;真的是这样吗&#xff1f; 今天我们就从 HotSpot 源码级别去看 synchronized 的实现原理。全…

MyBatis-Plus 逻辑删除实现

在很多企业级应用中&#xff0c;数据删除操作通常采用 逻辑删除 的方式&#xff0c;而不是物理删除。逻辑删除指的是通过更新字段&#xff08;例如 is_deleted 或 status&#xff09;来标记数据为删除状态&#xff0c;而不是真的从数据库中删除记录。这样做的好处是保留数据的历…

网线水晶头接法

目录 介绍 排线标准 连接方法 直连互联法 交叉互联法 操作步骤 介绍 网线&#xff1a;双绞线&#xff0c;有4对8条芯线&#xff0c;分别为白绿色、绿色、白橙色、蓝色、白蓝色、橙色、白棕色、棕色。 水晶头&#xff1a;也被称为RJ45连接器&#xff0c;是一种用于网络连接…

【应急响应工具教程】一款自动化分析网络安全应急响应工具--FindAll

1、工具介绍 FindAll 是一款安全团队开发的轻量化蓝队工具&#xff0c;专为应急响应场景设计&#xff0c;主打信息收集与威胁情报联动&#xff0c;尤其适合团队快速排查多台主机的安全风险。同时FindAll采用客户端-服务器&#xff08;CS&#xff09;架构&#xff0c;特别适用于…

AI赋能校园安全:科技助力预防与应对校园霸凌

校园本应是学生快乐学习、健康成长的地方&#xff0c;然而&#xff0c;校园霸凌却成为威胁学生身心健康的隐形“毒瘤”。近年来&#xff0c;随着人工智能&#xff08;AI&#xff09;技术的快速发展&#xff0c;AI在校园安全领域的应用逐渐成为解决校园霸凌问题的新突破口。通过…

YOLOv12 ——基于卷积神经网络的快速推理速度与注意力机制带来的增强性能结合

概述 实时目标检测对于许多实际应用来说已经变得至关重要&#xff0c;而Ultralytics公司开发的YOLO&#xff08;You Only Look Once&#xff0c;只看一次&#xff09;系列一直是最先进的模型系列&#xff0c;在速度和准确性之间提供了稳健的平衡。注意力机制的低效阻碍了它们在…