JAVA通配符——? extends T ，? super T（尖括号不让打吗不是吧不是吧）

今天看了看 <? extends T> 和<? super T>的一些博客，发现这个东西并没有我想象的那么简单。这里就记录一下我自己的理解。

JAVA强制转换

java中子类是可以强转为基类的，而基类不能强转为子类。很好理解，因为子类比基类多了很多东西，子类强转为基类只会丢失信息，而基类想要强转为子类则确实需要的信息，无法强转。

JAVA继承

不同于C++，java只能继承一个基类，但是一个基类可以有很多子类

正题

假设有这样一个继承关系，其中箭头指向子类。

上界<? extends T>

现在有这么一个容器 ArrayList<? extends B> list，很明显，我们声明了这个List里装的是B及B的所有子类（这也是<? extends T>的作用）。
首先，我们不能插入B的父类的实例，比如A，因为存进去个A就等于把A强转为B，父类转子类是不被允许的。

那么T的子类的实例呢？如果我们想要插入一个C的实例，编辑阶段编译器就会报错。为啥呢，因为我们这个容器可能装的是D类的实例（List<? extends B> list=new ArrayList<D>();），如果我们插入C，亦或是E，也就是做了将C,E强转为D的操作，这是不符合强转规则的，如下图

但讲道理我觉得T的实例应该能插啊，也不知道为什么不让插
因此对于<? extends T>的List或者其他容器是不允许进行插入操作的。但是我们可以确定的是，如果我们从List中获取元素，这个元素一定是B的子类，所以<? extends T>一般用来声明拿来取元素的容器。

下界<? super T>
相对的，有上界就有下界。但是这两个东西的概念并不是完全相反的。
还是刚刚那个继承关系，现在有一个List<? super C> list;
我们现在想要从里面取一个元素，但我们并不知道它到底是C往上几层的基类，这个list可以等于new ArrayList<B>(),也可以等于new ArrayList<A>()，因此当get一个元素后，我们无法确定它是什么类型的，有可能原本list是ArrayList<A>,而我们却用一个B类型的变量去接收，也就是B b=list.get(0)//return A;那么还是违背了同样的规则，也就是基类强转子类，这是不被允许的。除非你用Object去接收这个返回值，Object o=list.get(0)//return A，Object是所有类的基类，因此这样就能够避免父类转子类了。

所以，<? super T>不允许用来取变量，除非你用Object接收(强转其实也是一个道理)

那么是不是<? super T>可以存放T及T的基类的实例呢？
不是的，恰恰相反，<? super T>可以存放T及T的子类的实例
你以为是能存基类，实际是拿来存子类哒
为啥？

1. 如果list原来是<B>类型的，我们却存了个A的实例进去，父类转子类，不被允许。
2. 不论list是什么类型的，如果我们存进去的是C及其子类，因为list的类型只能是A,B,C中的一种，再不济我们存了个C的实例进去，也不会出现父类转子类的情况。

总而言之，<? super T>可以存放T及T的子类的实例，也可以以Object接收容器中的实例

484很绕

因此有个助记原则，叫做PECS（Producer Extends / Consumer Super）
也就是生产者（取）用extends，消费者（存）用super。

记录一下~