java 协变逆变不可变

最新推荐文章于 2025-08-12 21:03:53 发布

原创最新推荐文章于 2025-08-12 21:03:53 发布 · 209 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#java #协变 #集合

本文详细解析了Java中的协变与逆变概念，包括它们如何应用于List泛型，以及PECS法则的使用场景。通过具体示例，帮助读者理解如何正确地使用?extends和?super来确保代码的安全性和灵活性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

参考：[url]http://blog.youkuaiyun.com/zero__007/article/details/52245475[/url]

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

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

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

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

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

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

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


public static <T> void copy(List<? super T> dest, List<? extends T> 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<srcSize; i++)  
            dest.set(i, src.get(i));  
    } else {  
        ListIterator<? super T> di=dest.listIterator();  
        ListIterator<? extends T> si=src.listIterator();  
        for (int i=0; i<srcSize; i++) {  
            di.next();  
            di.set(si.next());  
        }  
    }  
}