java协变，逆变，不可变

协变:

如果Sub是Super的子类型，那么TYPE(Sub)也是TYPE(Super)的子类型。
例子:数组是协变的Object[] objectArray=new Long[1];
因为 Long≦Object; 而且Object[]的引用可以持有Long[]类型的对象。

逆变：

如果Sub是Super的子类型，那么TYPE(Sub)是TYPE(Super)的父类型。

List<? super Number> list = new ArrayList<Object>();

不可变：

如果Sub是Super的子类型，那么TYPE(Sub)和TYPE(Super)没有关系。
例子：List< Sub >和List< Super >是不可变的。（其实泛型不含通配符都是不可变的）。

网上一般是这么写的：A ≦B代表A直接或间接继承自B
当A ≦ B时,如果有f(A) ≦ f(B),那么f叫做协变；
当A ≦ B时,如果有f(B) ≦ f(A),那么f叫做逆变；
如果上面两种关系都不成立则叫做不可变。

在java中父类型可以持有子类型的引用，但是子类型不可以持有父类型的引用。

package hello;import java.util.ArrayList;import java.util.List;class A{}class B extends A{}class C extends B{}class D extends C{}/** *  * 协变，逆变，和不可变 * */public class SubandSuper {    public static void main(String[] args) {         //协变        //数组是协变的         Object[] objectArray=new Long[1];         objectArray[0]="I don't fit in";//运行时报错，会抛出异常         //逆变         //         List<? super C> list = new ArrayList<B>();         //不可变         //列表是不可变的         List<Object> ol=new ArrayList<Long>();//编译时报错，无法通过编译    }}