java通配符上下边界＜? extends T＞和＜? super T＞

这鬼东西本来不想看的，但是看源码经常看到，以前看过强行记忆后来又忘了，这里记录下：

我写下感觉容易理解就是先按照"上"和"下"为什么＜? extends T＞是上边界，＜? super T＞是下边界

1、extends T之所以叫"上"边界，是因为T相对于通配符"?"来说"T"就是最上的边界，即?<=T,字面理解就是所有的都是继承T的子类或自己；

2、super T之所以是下边界，和上面正好相反，T最小，这里的T就是下边界，即T<=?

给出下面通用讲解的四个类class App extends Fruit{}, class Fruit extends Food{}，class  T Plate{里面有set和get，以及带参T的构造函数}

3、为什么使用通配符也就是一句话，容器本身没有继承关系，例如Fruit f = new Apple();因为Apple继承Fruit所以这个是编译通过的，而Plate<Fruit> fp = new Plate<Apple>(new Apple());这样就不行了，虽然元素继承但是Plate<Apple>容器并不继承Plate<Fruit>。

4、用通配符来解决容器继承的问题，先写个上边界的Plate<? extends Fruit>  TT2 = new Plate<Apple>(new Apple());这里的上边界是Fruit，而赋值语句右边等同于通配符"?"，即右边的赋值语句必须<=Fruit，同理举一反三Plate<? extends Fruit>  TT2右边的容器元素可以是Fruit也可以是extends Fruit的；相反>Fruit的就不行了如Plate<? extends Fruit>  TT2 = new Plate<Food>(new Food());，Food已经超出 Fruit的边界了。

5、下边界的Plate<? super Fruit> TT3 根据4同理得出Fruit最小，右边的赋值语句等同于通配符"?"，容器里的元素必须>=Fruit,如Plate<? super Fruit>  TT3 = new Plate<Food>(new Food());而小于Fruit的就不行。

6、理解了上下边界以及赋值语句就还剩下针对上下边界 容器对应的set和get属性了。

==>上边界的get方法，对应上边界的容器Plate是可以使用get的只是get的出来的元素赋值需要给>=Fruit的类，因为向上转型类似于3里面的Fruit f = new Apple(); 同级转型也可以只是要加个类似于强转Apple a1 = (Apple) TT2.getItem();但是同级转型要注意如果再有个Orange extends Fruit ，明明初始化容器的时候里面是Apple，Orange o1 = (Orange) TT2.getItem();就会异常了，Apple不是Orange。所以上边界容器的get一般都转型给>=上边界的类。(java向上转型都是往范围大的转保证不丢失的特性)

==>上边界的set方法都不能使用，因为最小元素不确定，只知道最大元素Fruit，所以容器初始化元素最小范围是不知道的，就比如再来个  苹果籽.class extends Apple, 初始化的右边容器元素是"苹果籽"肯定放不了Apple更别说Apple的父类Fruit了，后面还能出现更小的无限套娃。。。（java特性转型是为了保证数据完整）

==>下边界的get方法只能赋值给Object ，因为Fruit是最小的边界，向上转型最大是Object，在初始化的时候右边元素的大是不确定的，但是最大也只能到Object((java向上转型都是往范围大的转保证不丢失的特性))

==>下边界的set方法，只能set <=Fruit的，因为边界初始元素最小到Fruit，所以容器里<=Fruit的都能往里装；

总结 上边界＜? extends T＞是上边界只能确定容器最大元素T，无法知道容器最小元素。对于可初始化元素不能知道最小范围的set就不可用，get则应该向上转型（大于等于最大的边界T）>=T；

下边界＜? super T＞则能知道初始化容器最小元素T --最大则到Object。对于容器初始化元素知道最小元素的，则set元素<= T, 任何继承T的都能向上转型成T， get则应该向上转型（大于等于最大的边界Object）>=Object，所以只能是Object。