java 泛型_返回? extends

一、什么是泛型通配符

<一>简单定义泛型统配符

         1. 在了解泛型的统配符之前，我们先了解下什么是泛型，泛型是一种包含类型参数的类，值得注意的一点是这里的类型必须是引用数据类型，而且放在尖括号< >内，这里引进了类型参数，将类直接作为了参数。

         2. 那么是什么泛型统配符呢，我没有找到定义，所以我自己给它下了个定义。泛型通配符是在泛型的使用中，用来表示对泛型类型进行类型范围限定的特殊符号。这里用通配符就是为了表明要输入的类型要在一定范围之内，说的通俗一些其实就是一个类型取值范围，而最大值是Object这是确定的。

<二>泛型通配符的分类

         1. <?>:无限通配符，可以在?中放入里放入任何引用数据类型，用来接收任意引用数据类型。

         2. <? extends E>:这个表明的是通配符的上界，通俗讲就如同取值范围中的负无穷到E，即小于等于E的所有类型， 因为E是最大的类型(最大可以达到Object)，表明可以输入所有的E的子类和E，等下会进行细致的讲解。

         3. <? super E>:这个表明的是通配符的下界，通俗讲其取值范围就是E到最大值Object(因为Object是所有类的基类)，就是大于等于E,小于等于Object类。

         注意：这里能制定上界或者下界，但是不能同时制定，然后<? extends E>中的extends不一定表示类与类的继承还可以表示实现的关系，然后通配符一般是用在方法的形参声明和方法调用上，无法用于定义类和接口中。 

二、泛型通配符讲解

 <一>通配符的使用以及代码演示

         1.无限通配符<?>的使用:可以传入任何引用数据类型

         A 在调用方法时使用？通配符的过程中无法使用add方法。

         原因分析:因为通配符?代表任意的数据类型，但是当我们调用的时候或者用在方法的声明上，其实这个时候还是没有给？通配符一个指定的引用数据类型，那么Java出于安全起见，就不可能允许添加元素。

         B 以上的add方法虽然无法调用，add<null>是例外。

         原因分析:因为null可以给任意引用数据类型赋值，代表任意引用数据，但是很容易引起NullPointerException。 

         C 注意使用List<?>和List<Object>当作形参时的作用不能等同,比如当传入List<Integer>时List<?>可以接收，但是List<Object>无法接收。

         原因分析:因为？代表任何参数类型可以接收，但是List<Object>中虽然Object是所有子类的父类，但是List<Object>不是List<Integer>的父类，List<Object>是ArrayList<Object>等类的父类，这就是为什么泛型前后要一致的原因，从数组的角度去理解集合就比如Object[ ] arr不是Integer[ ] arr1的父类。

2.上界通配符<? extends E>的使用:可以传入E和E的子类

         A <? extends E>作为形参时例如List<? extends E>可以使用集合的get方法来获取E或者E类型本身的元素。

         原因分析:当我们用get方法时我们其实是在获取集合里内部的元素，但是我们的集合的数据类型还没有确定，但是我们可以获得一些明确的已知条件，那就是在<? extends E>中最大的类型是E，而且这个E最大是Object，所以我们可以利用这一点，那么我们就可以清楚地了解到该集合里面的获取的元素肯定是E或者Object的子类，他们的范围肯定小于E或者Object，那么我们就可以用Object和E这两个范围比集合里面的元素大的类去接收集合里面的元素。(注：可能略显啰嗦但是我就是想解释清楚。) 

         B 在使用上界通配符时，无法调用add方法来添加非null的元素。

         原因分析:由于上面已经说得很清楚了，<? extends E>作为形参时例如List<? extends E>这时最大类型是E和Object,但是我们不清楚最小的类型是什么，因为此时?这个通配符没有被赋值，我们调用add方法是要添加集合元素或者集合元素的子类，但是我们没法明确肯定该集合元素类型，或者比该集合元素范围更小的子类，那么Java就不会允许添加元素。

3.下界通配符<? super E>的使用:可以传入E或者E的父类

         A 在使用下界通配符时，无法使用get方法获取Object以外的元素,或者需要向下转型，但是可能出现ClassCastException的异常。

         原因分析:上界通配符，在使用get方法的时候，此时类型没有明确还是问号？我们只能明确其最大父类或者接口时，我们才能接收，但是我们只能明白<? super E>作为形参时例如List<? super E>时，只能明确Object是最大父类，其他的一概不知，所以只能Object o = list.get(0)。 

         B 可以使用集合的add方法添加E或者E的子类。

         原因分析：上界通配符已经解释很清楚了，add方法添加元素时，？类型不确定就要明确该？类型的最小子类，只要比可能存在的最小子类或者子接口小的任意引用数据类型的对象，我们都可以将其添加，而下界通配符<? super E>当作形参时例如List<? super E>，此时E就是最小子类，此时add方法可以添加E或者E的父类或者接口。

<二>对PECS原则的解读

1.什么是PECS原则？

         PECS是Producer Extends Consumer Super的递归缩写，是Java中使用泛型通配符的原则。 

2.阿里巴巴的通配符使用规约

         泛型通配符<? extends T>来接收返回的数据，此写法的泛型集合不能使用 add 方法，而 < ? super T> 不能使用 get 方法，做为接口调用赋值时易出错。

         说明：扩展说一下 PECS<Producer Extends Consumer Super> 原则：第一、频繁往外读取内容的，适合用<? extends E>。第二、经常往里插入的，适合用<? super E> 。 

3.对PECS原则的简单解读

         字面意思是生产者要被继承要被当作上界通配符<? extends E>的上界E，消费者要继承其他类要被当成下界通配符<? super E>的下界E，再借助下阿里巴巴的泛型开发规约去理解下，应该就是当这个被传入的类型需要进行很多get操作获取数据的话，那么请使用上界通配符这时这个上界就如同生产者一样，因为它能被不断get到，而当需要不断进行add方法添加数据的话，请使用下界通配符这时这个下界就如同消费者一样，因为它不断地索取，因为我们在不断地add元素给它。