Scala下限类型示例

Question

我有以下代码：

class A[+X] {
  def printY[Y >: X](y: Y) = println(y)
}

class F
class G extends F

val f = new F
val g = new G

val a = new A[F]
a.printY(g)

我期望a.printY(g)出现编译错误，因为g类型为G ，而不是F的超类型。 但是在class A我指出printY方法仅接受A的类型参数的超类型，在我的示例中为F

为什么它可以正常工作？

Answer 1

因为g 也是 F的实例。 因此，将Y推断为F ，它是F的超类型。 即：

a.printY[F](g)

但是，这不会编译：

a.printY[G](g)

Answer 2

注意：如果不希望 a.printY(g)进行编译，则需要重写该方法：

def printY[Y](y: Y)(implicit ev: X <:< Y) = println(y)

这样，编译器将类型参数推断为G ， 然后检查它是否是F的超类型，而不是查找F的超类型，而F恰好也是g的可接受类型。

Answer 3

请尝试从另外两个角度解释它的工作原理。

首先，您知道上限是reflexive ，对于Y>：X，可以接受类型X或Y的子类型。 因此，当您定义val a = new A[F] ，printY将类似于：

def printY[Y >: F](y: Y) = println(y)

当您调用a.printY（g）时，printY的type参数将被推断为G，这也是F的类型。

其次，对于def printY[Y >: F](y: Y) = println(y) ，当您传递类型为Y的实例I时，编译器将尝试查找I和F的公共父级 ，并使结果类型为printY的类型参数，因此您甚至可以将String，Int的值传递给printY。

a.printY[Any]("xxx")
a.printY[Any](3)