协变与逆变

• 协变：用窄类型替代宽类型，如子类代替父类，符合里氏替换原则
• 逆变：用宽类型替代窄类型，与里氏替换相反，所以叫“逆”变

Java泛型本身不支持协变和逆变，但是可以通过通配符模拟。

假设Apple属于Fruit的子类，代码如下：

List<? extends Fruit> list = new ArrayList<Apple>(); 
List<? super Apple> list2 = new ArrayList<Fruit>();

Scala泛型原生支持协变(+)和逆变(-)。为了符合里氏替换原则，子类函数的参数类型是逆变的，而返回类型是协变的（可以理解为子类可以处理比父类更多的输入类型，但是输出类型比父类更加严格）。

参考

Java语言中的协变和逆变
Scala的协变(+)，逆变(-)，上界(<:)，下界(>:)