2024年HarmonyOS鸿蒙最全Kotlin 浅谈 reified 与泛型那些事_kotlin reified 原理，2024年最新c++程序员面试题_intrinsics.checknotnullparameter(context-CSDN博客

本文链接：https://blog.csdn.net/2401_84871792/article/details/138824710

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

解析

通过查看 kotlin 字节码，我们可以得知 reified 的底层实现。

例如下面示例与其对应的字节码:

inline fun <reified C : Activity> Context.toAct() {
    startActivity(Intent(this, C::class.java))
}

fun test(context: Context) {
    context.toAct<MainActivity>()
}

// $FF: synthetic method
public static final void toAct(Context $this$toAct) {
   int $i$f$toAct = 0;
   Intrinsics.checkNotNullParameter($this$toAct, "$this$toAct");
   Intrinsics.reifiedOperationMarker(4, "C");
   $this$toAct.startActivity(new Intent($this$toAct, Activity.class));
}

public static final void test(@NotNull Context context) {
   Intrinsics.checkNotNullParameter(context, "context");
   int $i$f$toAct = false;
   context.startActivity(new Intent(context, MainActivity.class));
}

我们在 test() 方法中调用toAct(),不难发现,toAct()的逻辑已经被移动到了 test() 中,而我们的泛型类型也被替换为实际使用的类型，从而我们可以在方法函数中直接获取相应的泛型类型。

这也就是为什么 reified 必须要增加 inline ,因为其必须内联才能知道具体类型，从而将我们的实际泛型类型更新到具体的调用代码中,从而完成泛型类型再生。

小提示

Java中无法调用

需要注意的是,reified 无法在java中进行调用，为什么呢？

因为 Java 并没有内联的特性，我们使用的 inline 方法在 Java 中会被当做普通方法，而 reified 正是需要内联才可以保证泛型再生，所以自然无法调用。

从源码上来说，对于reified 关键字的方法,相应的字节码生成时会增加 // $FF: synthetic method 的标记。

如下示例所示：

inline fun <reified C : Activity> Context.toAct() {
   ...
}

// $FF: synthetic method
public static final void toAct(Context $this$toAct) {
   ...
}

// $FF: synthetic method

如果你经常写组件，肯定见过这段注释。你可以理解这只是一个标记，其作用为告诉编译器 禁止java代码在编译期访问该方法 。

比如我们在写 kotlin 组件，而且要同时满足 java 调用时,经常会免不了使用 internal ,即 模块可见 。但相应的，该关键字修饰的方法或者字段在Java中却依然可以被调用，甚是让java调用者费解与不优雅。所以相应的，对于方法，我们可以增加 @JvmSynthetic ,从而避免java代码编译期调用。而 reified 也是正是采用了该思路。