![](/img/trans.png)
[英]Kotlin reified type parameter can't be used as type parameter in body of function
[英]Why can't type parameter in Kotlin have any other bounds if it's bounded by another type parameter?
这是显示此问题的最小演示代码:
interface A
fun <T1, T2> test() where T2 : T1, T2 : A {}
当我尝试编译它时,编译器会抱怨:
错误:(81, 25) Kotlin:如果类型参数受另一个类型参数限制,则类型参数不能有任何其他限制
我阅读了 Kotlin Language Specification ,但只找到以下绑定限制:
一个type-parameter不能指定自己为自己的bound,多个type-parameter不能循环指定对方为bound。
它没有解释我遇到的限制。
我探索了 Kotlin 的问题跟踪器,发现了一个关于此限制的问题: Allow to inherit a type parameter from another type parameter and a class: KT-13768 。 然而,这个问题被拒绝了,原因如下(2017年5月6日更新:这个问题已经被Stanislav Erokhin重新打开):
如果我们删除此限制,我认为我们无法将代码正确编译为 JVM。
安德烈布雷斯拉夫
那么问题来了:如果去掉这个限制,为什么不能将代码正确编译为JVM呢?
同样的演示适用于 Scala:
trait A
def test[T1, T2 <: T1 with A](): Unit = {}
说明Scala可以正确编译出JVM的代码,为什么Kotlin不能呢? 保证 Kotlin 中的可判定子类型是否有限制(我猜。Scala 的子类型不可判定(Scala 具有图灵完备类型系统)。Kotlin 可能需要像 C# 这样的可判定子类型。)?
@erokhins ( https://stackoverflow.com/a/43807444/7964561 ) 回答后更新:
在支持 Java 禁止但 JVM 允许的内容时存在一些微妙的问题,尤其是在 Java 互操作性方面。 在深入研究 scalac 生成的字节码时,我发现了一个有趣的问题。 我将demo中的Scala代码修改如下:
trait A
trait B
def test[T1 <: B, T2 <: T1 with A](t1: T1, t2: T2): Unit = {}
class AB extends A with B
Scalac 将生成以下签名:
// signature <T1::LB;T2:TT1;:LA;>(TT1;TT2;)V
// descriptor: (LB;LB;)V
public <T1 extends B, T2 extends T1 & A> void test(T1, T2);
在 Scala 中使用test(new AB, new AB)
调用test
将成功,因为 Scalas 调用签名(LB;LB;)V
; 但是调用test(new AB(), new AB());
in Java 将失败,因为 Java 调用签名(LB;Ljava/lang/Object;)V
,在运行时导致java.lang.NoSuchMethodError
。 这意味着放宽此限制后,scalac 会生成无法在 Java 中调用的内容。 Kotlin放宽后可能会遇到同样的问题。
这个限制是因为java(语言)有它:
interface A {}
// Error:(7, 26) java: a type variable may not be followed by other bounds
<T1, T2 extends T1 & A> void test() {}
我们认为这也禁止在字节码级别。 我深入研究它似乎是允许的,并且scalac生成以下签名:
// access flags 0x1
// signature <T1:Ljava/lang/Object;T2:TT1;:LA;>()V
// declaration: void test<T1, T2T1 extends A>()
public test()V
所以,我们可能会在未来版本的kotlin中支持这种情况。
PS据我所知,Kotlin具有可判定的子类型,并且可判定性不受此影响。
如果添加以下抑制注释,它应该可以工作:
interface A
@Suppress("BOUNDS_NOT_ALLOWED_IF_BOUNDED_BY_TYPE_PARAMETER")
fun <T1, T2> test() where T2 : T1, T2 : A {}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.