协变、逆变是在有继承关系的对象间有合法赋值关系时，
相应的构造对象间对应的赋值关系是否成立。
我们可以理解成是由Object构造出来的一种新的类型,可以认为是一种构造类型，记f(Object)（可以类比下初中数学中函数的定义），那么我们可以这么来描述协变和逆变：
- 当A ≦ B时,如果有f(A) ≦ f(B),那么f叫做
协变； - 当A ≦ B时,如果有f(B) ≦ f(A),那么f叫做
逆变； - 如果上面两种关系都不成立则叫做
不可变。
https://www.cnblogs.com/feng9exe/p/9761218.html