- 协变：用窄类型替代宽类型，如子类代替父类，符合里氏替换原则
- 逆变：用宽类型替代窄类型，与里氏替换相反，所以叫“逆”变
Java泛型本身不支持协变和逆变，但是可以通过通配符模拟。
假设Apple属于Fruit的子类，代码如下：
List<? extends Fruit> list = new ArrayList<Apple>();
List<? super Apple> list2 = new ArrayList<Fruit>();
Scala泛型原生支持协变(+)和逆变(-)。为了符合里氏替换原则，子类函数的参数类型是逆变的，而返回类型是协变的（可以理解为子类可以处理比父类更多的输入类型，但是输出类型比父类更加严格）。
