以下是显示此问题的最小演示代码:
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 …