Scala中非常奇怪的类型不匹配

Question

为什么我在触发 printGenericType(new Box[Master]()) 时会出现错误，而在 new Box[Master]() 上运行 printGenericType(new Box()) 时不会出现任何错误？

object VarianceExample extends App {

  new Box[Master]().printGenericType(new Box()) // ok
  new Box().printGenericType(new Box[Master]()) // fail

}

class Box[T >: Tool](implicit m: Manifest[T]) {
  def printGenericType(box: Box[T]) = {
    println(s"Generic type is [$m] - $box")
  }
}

class Master
class Tool   extends Master
class Hammer extends Tool

Answer 1

你需要定义类型T协变，否则你只能传递你在构造函数中使用的相同类型。 new Box()- 给你Box[Tool]（没有任何其他限制）并且你试图通过Box[Master]。

在第一个示例中，scalac 自动将new Box() 推断为Box[Master]，因为它位于Box[Master] 位置。

不确定您想要实现什么，但要解决具体问题，您需要像这样定义类型 Box：

class Box[+T >: Tool](implicit m: Manifest[T]) {
  def printGenericType[A >: T](box: Box[A]) = {
    println(s"Generic type is [$m] - $box")
  }
}