java 协变 逆变 不可变

阅读更多

参考： http://blog.csdn.net/zero__007/article/details/52245475

文章没转过来，下面是个人结论：
协变：子类的方法返回值可以是父类的子类型。但是方法形参不能是父类方法形参的子类型。
逆变：协变的反类型。
协变的应用是多态和里氏替换原则。

List并不是List的父类型，两者没有任何关系。

List d = new ArrayList();//可以添加Number及Number的任何子类元素

List d2 = new ArrayList();//? extends规定了上限。不能添加除了null之外的任何元素。因为d2具体应用的list对象可以是Integer也可以是Float、Double等，所以不能添加确定的Number元素。

List d3 = new ArrayList();//? super规定了下限，可以添加Number的任何子类，但是不能添加Number的父类。

所以d2和d3中能不能添加元素、添加什么类型的元素关键看和后面具体的集合对象有没有可能存在冲突，如果存在冲突那肯定就不能添加元素了。

什么时候用? extends，什么时候用? super，有个PECS法则，即producer extends, consumer super。在一个集合是数据提供方就用? extends,是数据消费方就用? super。如代码：

public static  void copy(List dest, List src) {  
    int srcSize = src.size();  
    if (srcSize > dest.size())  
        throw new IndexOutOfBoundsException("Source does not fit in dest");  
  
    if (srcSize < COPY_THRESHOLD ||  
        (src instanceof RandomAccess && dest instanceof RandomAccess)) {  
        for (int i=0; i di=dest.listIterator();  
        ListIterator si=src.listIterator();  
        for (int i=0; i 
 
这也就告诉我们，在自定义带list泛型方法的时候，如果这个方法是要消费形参传入进来的数据，这时形参是数据提供方，要定义成list src，如果方法是要产生数据并传给形参，这时形参是数据消费方，要定义成list dst。