scala 类型系统 - 了解具有下限/上限的协变

Question

我是 Scala 的新手，对 Scala 泛型有疑问

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

Answer 1

B不是猫，B是动物。 然后推断出的 add 类型是：

def add(element: Animal)

您可以在这里传递 Cat，因为 Cat 扩展了 Animal。