scala - 如何理解 "Covariance"和 "Contravariance"这两句话？

Question

我正在读《深入Scala》第一节，第一节中有两句话是关于“协方差”和“逆变”的:

Covariance (+T or ? extends T) is when a type can be coerced down the inheritance hierarchy.

Contravariance(-T or ? super T) is when a type can be coerced up the inheritance hierarchy.

我读过一些有关“协方差”和“逆变”的文档，但在这种情况下我无法理解“强制向下”和“强制向上”一词。

Answer 1

[TOP / ABSTRACT]

Thing
  ↓
Animal
  ↓
Human
  ↓
Programmer
  ↓
Scala Dev

[BOTTOM / SPECIFIC]

协方差:接受 T 或更低值。
我要求[+Human]，我会接受以下任何一个:[Human、程序员、Scala Dev]。

逆变:接受 T 或更高。
我要求一个[-Human]，我会接受以下任何一个:[Thing, Animal, Human]。

Inariance:接受 T 并且仅接受 T。

强制。
在类型层次结构中向上/向下强制类型意味着检查类型的父/子类型是否通过类型约束。例如，协变函数需要一个 Human，但我们只有一个 Programmer，没关系，编译器可以强制 程序员转变为人类以满足打字限制。