泛型中的PECS原则,？super T和? extends T的区别

PECS

请记住PECS原则：生产者（Producer）使用extends，消费者（Consumer）使用super。

生产者使用extends

如果你需要一个列表提供T类型的元素（即你想从列表中读取T类型的元素），你需要把这个列表声明成<? extends T>，比如List<? extends Integer>，因此你不能往该列表中添加任何元素。

消费者使用super

如果需要一个列表使用T类型的元素（即你想把T类型的元素加入到列表中），你需要把这个列表声明成<? super T>，比如List<? super Integer>，因此你不能保证从中读取到的元素的类型。

即是生产者，也是消费者

如果一个列表即要生产，又要消费，你不能使用泛型通配符声明列表，比如List。

泛型中上界和下界的定义

上界 <? extend Fruit>

下界 <? super Apple>

泛型中上界和下界的区别

上界的list只能get，不能add（确切地说不能add出除null之外的对象，包括Object）

下界的list只能add，不能get

//上界
    List<? extends Fruit> flistTop = new ArrayList<Apple>();
    flistTop.add(null);
    //add Fruit对象会报错
    //flist.add(new Fruit());
    Fruit fruit1 = flistTop.get(0);
 
	//下界
    List<? super Apple> flistBottem = new ArrayList<Apple>();
    flistBottem.add(new Apple());
    flistBottem.add(new Jonathan());
    //get Apple对象会报错

泛型中上界和下界的原因

首先明确一点：一个list只能add一个约定好类型的对象。
如List list = new ArrayList()，这个list约定好了存储Fruit类型的对象，当然也可以存储Fruit子类对象，编译器知道要往里面存：
1、Fruits类的对象
2、Fruit类子类的对象
那就可以：

list.add(new Fruit());
list.add(new Apple());

那来看<? extends T>和<? super T>：
1.<? extends T>首先你很容易误解它为继承于T的所有类的集合，这是大错特错的，相信能看下去你一定见过或用过List<? extends T>吧？为什么我说理解成一个集合是错呢？如果理解成一个集合那为什么不用List来表示？所以<? extends T>不是一个集合，而是T的某一种子类的意思，记住是一种，单一的一种，问题来了，我们根本没有约定好这个list到底要存哪个子类（只知道这个类是T类的子类），由于连哪一种都不确定，带来了不确定性，所以是不可能通过 add（）来加入元素。你或许还觉得为什么add(T)不行?因为<? extends T>是T的某种子类，能放入子类的容器不一定放入超类，也就是没可能放入T。

2.<? super T>这里比较容易使用，没<? extends T>这么多限制，这里的意思是，以T类为下限的某种类，简单地说就是T类的超类。但为什么add(T)可以呢？因为我们虽然没有约定这个超类是哪个，但是我们知道它的子类啊，能放入某一类的容器一定可以放入其子类

参考：https://blog.csdn.net/jdsjlzx/article/details/70479227