java 返回 extends t_JAVA通配符——? extends T ? super T（尖括号不让打吗不是吧不

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

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();)，如果我们插入C，亦或是E，也就是做了将C,E强转为D的操作，这是不符合强转规则的，如下图

但讲道理我觉得T的实例应该能插啊，也不知道为什么不让插

因此对于 extends T>的List或者其他容器是不允许进行插入操作的。但是我们可以确定的是，如果我们从List中获取元素，这个元素一定是B的子类，所以 extends T>一般用来声明拿来取元素的容器。

下界 super T>

相对的，有上界就有下界。但是这两个东西的概念并不是完全相反的。

还是刚刚那个继承关系，现在有一个List super C> list;

我们现在想要从里面取一个元素，但我们并不知道它到底是C往上几层的基类，这个list可以等于new ArrayList(),也可以等于new ArrayList()，因此当get一个元素后，我们无法确定它是什么类型的，有可能原本list是ArrayList,而我们却用一个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的子类的实例

你以为是能存基类，实际是拿来存子类哒

为啥？

如果list原来是类型的，我们却存了个A的实例进去，父类转子类，不被允许。

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

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

484很绕

因此有个助记原则，叫做PECS(Producer Extends / Consumer Super)

也就是生产者(取)用extends，消费者(存)用super。

记录一下~

JAVA通配符——? extends T ? super T(尖括号不让打吗不是吧不相关教程