如果它受到另一个类型参数的限制,为什么Kotlin中的类型参数不能有任何其他界限？

Question

以下是显示此问题的最小演示代码:

interface A

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

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

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

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

type-parameter不能将自己指定为自己的绑定,并且多个type-parameters不能以循环方式将彼此指定为绑定.

它没有解释我遇到的限制.

我探索了Kotlin的问题跟踪器,我发现了有关此限制的问题:允许从另一个类型参数和类继承类型参数: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(/sf/answers/3066521111/)回答后更新:

在支持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);

由于Scalas调用签名test,因此test(new AB, new AB)在Scala中调用将成功(LB;LB;)V; 但与调用test(new AB(), new AB());Java中会失败,因为Java的调用签名(LB;Ljava/lang/Object;)V,从而导致java.lang.NoSuchMethodError在运行时.这意味着在放宽此限制后,scalac会生成无法在Java中调用的内容.放松后,Kotlin可能会遇到同样的问题.

Answer 1

这个限制是因为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具有可判定的子类型,并且可判定性不受此影响.

Answer 2

如果添加以下抑制注释，它应该可以工作：

interface A

@Suppress("BOUNDS_NOT_ALLOWED_IF_BOUNDED_BY_TYPE_PARAMETER")
fun <T1, T2> test() where T2 : T1, T2 : A {}

参考： https://discuss.kotlinlang.org/t/bug-in-where/25011/2