如果 Kotlin 中的類型參數受另一個類型參數的限制，為什么它不能有任何其他限制？

Question

這是顯示此問題的最小演示代碼：

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放寬后可能會遇到同樣的問題。

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