PECS 泛型参数 逆变/协变/不变/无关
T 用于泛型类和泛型方法的定义
？用于泛型方法的调用和形参
T 只有extends一种限定方式，<T extends List>是合法的，<T super List>是不合法的
PECS
生产者(Producer)使用 extends，消费者(Consumer)使用 super。
逆变与协变用来描述类型转换（type transformation）后的继承关系，其定义：如果AA、BB表示类型，f(⋅)f(⋅)表示类型转换，≤≤表示继承关系（比如，A≤BA≤B表示AA是由BB派生出来的子类）；
- f(⋅)f(⋅)是逆变（contravariant）的，当A≤B 时有f(B)≤f(A)成立；
- f(⋅)f(⋅)是协变（covariant）的，当A≤B 时有f(A)≤f(B)成立；
- f(⋅)f(⋅)是不变（invariant）的，当A≤B 时上述两个式子均不成立，即f(A)与f(B)相互之间没有继承关系。
数组是协变，泛型不是协变的，泛型具有无关性，不具备子父类关系
Number[] numbers = new Integer[3];
<? extends>实现了泛型的协变
List<? extends Number> list = new ArrayList<Integer>();
<? super>实现了泛型的逆变
List<? super Number> list = new ArrayList<Object>();
<? super Number>表示list所持有的类型为在Number与Number的基类中的某一类型，其中Integer与Float必定为这某一类型的子类；所以add方法能被正确调用。
List<? super Number> list = new ArrayList<Object>();
list.add(new Integer(1));
list.add(new Float(1.2f));
生产者，写入/添加 ??
站在谁的角度？？生产消费？ 容器的角度，吃进去，吐出来
消费者，读取/获取 ??
如果你是想遍历collection，并对每一项元素操作时，此时这个集合是生产者（生产元素），应该使用 Collection<? extends Thing>.
如果你是想添加元素到collection中去，那么此时集合是消费者（消费元素）应该使用Collection<? super Thing>
最大接收。
<? extends Person> 上界--无穷小，小，岂止与小
get() 出来只确定最大是Person，最小不知道，故用Student接收错误（多态，子类 = 父类 不允许， 父类 = 子类 允许）
list1.add(Student ) 错误 ？可能比Student还想小 ? << Person
<? super Person> 下届-无穷大，大，岂止与大
list2.add(Student ) 正确 多态 ？ >> Person 子类Student
list2.add(Person父类 ) 错误 ？可能在中间，不符合多态
PECS总结：指”Producer Extends, Consumer Super”
如果你想从一个数据类型里获取数据，使用 ? extends 通配符
如果你想把对象写入一个数据结构里，使用 ? super 通配符 super add 的笑容 消费者
如果你既想存，又想取，那就别用通配符。
泛型方法 E 与 泛型类 T 没关系
super add
泛型没有协变性，通配符使得容器有协变性！
拿出上界，添加下界，保证容器协变性
Java8 Stream
又如何解释？？
Supplier<? extends T> s 生产者
void forEach(Consumer<? super T> action); 流容器消费
Stream<T> filter(Predicate<? super T> predicate); 容器消费数据
<R> Stream<R> map(Function<? super T, ? extends R> mapper);
Function<? super T 进去 消费者
? extends R> mapper 出来 生产者
深入泛型，以下链接很好，难懂
https://www.cnblogs.com/en-heng/p/5041124.html
https://blog.csdn.net/zy_jibai/article/details/90082239
