Scala 类型系统 - 理解 lower/upper 范围的协变

scala type system - understanding covariant with lower/upper bounds

我是 scala 新手,对 scala 泛型有疑问

问题是 animalContainer.add 方法如何接受新的 Cat。根据我的理解 B>:A - A 是动物,B 是猫。 猫不是超级动物。它是如何工作的..

B不是猫,B是动物。推断出的 add 类型实际上是:

def add(element: Animal)

您可以在此处传递 Cat,因为 Cat 扩展了 Animal。