? super T和? extends T的区别和应用

经常看见框架很多这样的泛型写法<? extends T>，后来终于看了相关资料才明白。

<? extends T>是指“上界通配符”，<? super T>是指下界通配符。

比较有趣，而且有点烧脑，归根结底，还是一个上下转型的问题。

举例：有3个类，animal（动物），cat(猫),dog(狗)。猫和狗都继承动物类

<? extends T>： 如果以下赋值合法：   //编译器会报错，new ArrayList 需要指定类型

List<? extends Animal> f = new ArrayList<? extends Animal>();

那么，能存放什么类型呢，有可能是猫，也可能是狗。

唯一可确认的就是读取出来，是一个动物或者它的子类型。

                                            引申出---可以读取动物的任意子类

<? super T> 可以正常存入，

    List<? super Animal> b = new ArrayList<>();
            b.add(new Cat());
            b.add(new Dog());
            for (Object o : b) {
                System.out.println(o);
            }

但是获取的时候，只能是对象，因为可能是猫类，也可能是狗类。

                                                    引申出---可以存入动物的任意子类

所以，搭配使用，也就是

PECS（Producer Extends Consumer Super）原则，已经很好理解了：

    频繁往外读取内容的，适合用上界Extends。
    经常往里插入的，适合用下界Super。
---------------------
作者：qq_39723363
来源：CSDN
原文：https://blog.csdn.net/qq_39723363/article/details/81701472
版权声明：本文为博主原创文章，转载请附上博文链接！