协变、逆变总结

协变、逆变是在有继承关系的对象间有合法赋值关系时，

相应的构造对象间对应的赋值关系是否成立。

 

我们可以理解成是由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