为什么不能在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具有可判定的子类型,可判定性不受此影响。