Java 协变、逆变与不变

逆变 与 协变 用来 描述类型转换（type transformation）后的继承 关系，其定义：若是 X、Y 表示类型，f(⋅) 表示类型转换，≤ 表示继承关系（好比，A≤B 表示 A 是由 B 派生出来的子类）。

• f(⋅) 是协变（Covariant）的，当 X≤Y 时，f(X)≤f(Y) 成立；如数组，固然，泛型也能够经过通配符（extends、super）来实现协变与逆变

• f(⋅) 是逆变（Contravariant）的，当 X≤Y 时，f(Y)≤f(X) 成立

• f(⋅) 是不变（Invariant）的，当 X≤Y 时上述两个式子均不成立，即 f(X) 与 f(Y) 相互之间没有继承关系。如泛型