为什么不能在Kotlin类型参数有其他界限,如果它是由另一个类型的参数?

这是显示这个问题的最小的演示代码:

interface A fun <T1, T2> test() where T2 : T1, T2 : A {} 

当我尝试编译它时,编译器会抱怨:

错误:(81,25)Kotlin:如果类型参数受另一个类型参数限制,则不能有任何其他边界

我阅读Kotlin语言规范 ,但只能找到以下约束限制:

类型参数不能将自身指定为自己的边界,并且几个类型参数不能以循环的方式将对方指定为边界。

这并不能解释我遇到的限制。

我研究了Kotlin的问题跟踪器,并且发现了一个关于这个限制的问题: 允许从另一个类型参数和类继承一个类型参数:KT-13768 。 然而,这个问题已经被拒绝,原因如下(2017年5月6日更新:这个问题已经由Stanislav Erokhin重新开放):

如果我们删除了这个限制,我认为我们不能将代码正确地编译到JVM上。

由安德烈Breslav

所以问题是:如果我们删除这个限制,为什么我们不能正确地将代码编译到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禁止的某些东西时,会遇到一些微妙的问题,尤其是在Java互操作性方面。 挖掘scalac生成的字节码时,我发现一个有趣的问题。 我修改演示中的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 test(new AB, new AB)将会成功,因为Scala会调用签名(LB;LB;)V ; 但用test(new AB(), new AB());调用test(new AB(), new AB()); 在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具有可判定的子类型,可判定性不受此影响。