【问题标题】:Why function with reified type parameter should be inlined?为什么应该内联具有具体类型参数的函数?
【发布时间】:2020-07-04 22:19:10
【问题描述】:

据我了解,物化主要是糖,并且

Java:

static <T> boolean isTypeOf(Object o, Class<T> tClass) {
    return tClass.isAssignableFrom(o.getClass());
}

科特林:

inline fun <reified T> Any.isTypeOf(): Boolean = this is T

在我看来是等价的,有什么区别吗? 为什么要内联具有具体类型参数的函数?

【问题讨论】:

  • 对内联函数的调用将函数复制到调用站点——这就是内联的含义。因此,对obj.isTypeOf&lt;Foo&gt;() 的调用实际上被替换为obj is Foo。这就是为什么可以为内联函数具体化泛型类型参数的原因。否则 Kotlin 会像 Java 一样遭受类型擦除。

标签: kotlin generics


【解决方案1】:

简答:因为type erasure

JVM 不具体化类型参数;它们被“擦除”,这意味着它们在运行时不可用。对于编译器来说,List&lt;String&gt;List&lt;Int&gt; 是两种完全不同的类型——但在字节码级别,JVM 看到的都是List

(这部分是出于历史原因;早期版本的 Java 没有泛型,后来添加它们以尽量减少干扰。)

因此,如果没有具体化,您将无法访问任何类型参数。如果您将一个值强制转换为该类型,编译器会警告这是一个不安全的强制转换——因为它无法在运行时进行检查。如果您想做检查类型或创建新实例之类的操作,则必须“手动”执行(通常通过让调用者传入 Class 对象作为参数)。

具体化是类型擦除的一种解决方法:当编译器内联一个函数时,它可以访问调用站点的类型信息,并且可以在那里替换它。这就是为什么您可以使用 type 参数进行强制转换、访问其 Class 对象以及以通常方式调用函数时根本不可能的其他事情。

【讨论】:

  • 我不明白为什么他们不提供非内联版本的具体化。使第一个参数 KClass 并允许它被推断(调用函数时省略)。像这样的语法:fun &lt;T&gt; foo(inferrable type: KClass&lt;T&gt;, bar: String) 然后该函数可以从 Java 中使用,并且签名将被保留,您不需要内联它。
  • @Tenfour04 你可以提交一个功能请求(如果还没有的话)。
  • @Tenfour04 有趣的想法。对于参数化类,我猜它需要添加一个隐藏属性以及一个隐藏的构造函数参数。它不需要是KType,而不是KClass(用于处理嵌套类型参数、可空性等)吗?
  • 我没有多想,但是,是的,KType。我只是在功能级别上考虑它。我想如果你把它作为主要的构造函数参数,类类型可能会出现这样的情况。
猜你喜欢
  • 1970-01-01
  • 2014-03-18
  • 1970-01-01
  • 1970-01-01
  • 2010-10-04
  • 2019-03-15
  • 1970-01-01
  • 2020-06-17
相关资源
最近更新 更多