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>();//编译时报错，无法通过编译

}

}