未明确指定类型参数时，Scala 下限类型参数不起作用

Question

我有一个下面的类，它使用协方差注释和另一个类型参数作为类类型参数下界的方法

class MyQueue[+T]{
  def add[U >: T](arg:U):Unit= {
    println("Arg value :"+ arg)
  }
}

鉴于上面的代码，我不明白为什么下面的行会成功执行。根据我对下限的理解，方法“add”应该只接受 Int 类型或其父类(super class)型的值。

val q1:MyQueue[Int] = new MyQueue[Int]
q1.add("string")

但是，如果我们如下显式指定类型参数，它会给出预期的编译错误(字符串不符合方法 add 的类型参数边界)

q1.add[String]("string")

Answer 1

String 不是 Int 的父类(super class)型，但 Int 和 String 之间共享一个公共(public)父类(super class)型，并且即 Any

val q1:MyQueue[Int] = new MyQueue[Int]
q1.add("string")

相当于

val q1:MyQueue[Int] = new MyQueue[Int]
q1.add[Any]("string")

另一方面，如果您显式传递 String 作为类型参数，则会发生编译错误，因为 String 不是 Int 的父类(super class)型>