引言
我们在看开源框架经常会看到泛型来定义数据类型。
有时候， <? extends T> 和 <? super T> 这样带通配符的泛型参数。
这种通配符的泛型是什么意思怎么用？？？？
概念
型变： 用来描述类型转换后的继承关系。（即协变，逆变和不变的总称）
协变： 满足 条件 ： 例子 list<orange> 是 list<? extends Fruits> 的子类型时，称为协变。
逆变： 满足条件 ： 例子 List<fruits> 是 List <? super Orange > 的子类型时，称之为逆变。
带通配符的泛型是什么意思？
这是因为java 泛型本身不支持型变，因此引入通配符来解决泛型类型转换问题。
通用表达式：
C <? extends T> 表示类型转换的上界。
C<? super T >. 表示类型转换的下界。
上界和下界的理解？
在java中泛型加入了extends 关键字 实现了支持协变。<? extends T > 其中？代表不确定的类型的通配符， 和extends 结合就声明了泛型的上限 表示 接收类型是 T或者 T的子类。
使用 super 关键字，实现了支持逆变 。声明泛型下界 ， <? super T > 逆变后就可以接收本类型或父类型的泛型类。
如果直接指定 T会有什么问题？
直接使用 T 不会有问题，但会限制函数接口的灵活性导致框架的通用性降低。
目的
型变的最终目的是保证运行安全的基础上提高了参数类型的灵活性。
应用场景
只读不写： 用协变
只写不读： 用逆变
又读又写： 用不变。
)
