首页 文章

为什么't type parameter in Kotlin have any other bounds if it'受另一个类型参数的限制？

提问于
浏览 次
18

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

interface A

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

当我尝试编译它时，编译器会抱怨：

错误：（81,25）Kotlin：如果类型参数受另一个类型参数的限制，则它不能有任何其他边界

我读了Kotlin Language Specification，但只找到以下约束限制：

类型参数不能将自身指定为自己的边界，并且多个类型参数不能以循环方式将彼此指定为边界 .

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

我探索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 ;但是在Java中用 test(new AB(), new AB()); 调用将失败，因为Java调用签名 (LB;Ljava/lang/Object;)V ，在运行时导致 java.lang.NoSuchMethodError . 这意味着在放宽此限制后，scalac会生成无法在Java中调用的内容 . Kotlin放松后可能会遇到同样的问题 .

types kotlin

1 回答

  • 9

    这个限制是因为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中支持这种情况 .

    附：据我所知，Kotlin具有可判定的子类型，并且可判定性不受此影响 .

    回复于

相关问题