协变：若B是A的子类，且F(B)是F(A)的子类，则F为协变
逆变：若B是A的子类，且F(B)是F(A)的父类，则F为逆变
java中的协变：B是A的子类，则List是List的子类
java中的逆变：B是A的子类，则List是List的子类
java中协变与逆变的约束：java中的协变逆变和约束，都是出于对多态的应用。
多态：同一个接口，使用不同的实例执行不同的操作。
协变约束：协变方法支持对传入参数的读操作，但不支持修改操作
逆变约束：
原文：https://www.cnblogs.com/huiandong/p/9941477.html