* 【Java泛型相关】【Java泛型中(E super ?)/ (? extends E) /(? super E)/(E extends ?)四种上下限样式的理解记忆和解析！】2018.11.07

* 【Java泛型相关】【Java泛型中(E super ?)/ (? extends E) /(? super E)/(E extends ?)四种上下限样式的理解记忆和解析！】2018.11.07 *

昨天学习了泛型的一些知识，因为之前自学接触过所以大部分都比较了解，但是今天提到的这个却整的我有点晕了，记下来留着以后用：

1、这是废话： 泛型符号(E)，通配符(？)，存在继承关系(super/extends)

2、(E super ?)和( E extends ？) 这两个没有见别人这样用过，也没有见别人解析过，我认为这样表示的话，貌似好像就是说“泛型 E 没有上限，也没有下限”。显然这样的表述是不对的！！！
我是这样认为的，不知道对不对？要是不对的话，希望看到的大佬能给小弟【在评论上】一点指点。谢谢啦！！！

3、(？ extends E ) 显示的(？)和( E )之间的关系很明显：“？ 继承自泛型类 E ”。
此时通配符(？)代表的意义就是说：“(？)是泛型类 E 的子类，向上限定对象类型边界！”

List<? extends Object> list = new ArrayList<Object>();
list.add("abc");		// 创建list后，但是该语句无法执行，不能添加

原因是：在做添加操作的时候，只知道了要添加数据的上限。但是无法确定要添加数据的下限。当进行添加操作的时候，确定了具体添加的是什么类型，子类重写的方法，也必须是该类型的或者该类型的子类。但是，如果要添加的类型和你的对象(例如：new ArrayList())中的类型不匹配,在实际操作中是有问题的。故而为了避免这种问题(类型转换异常)，干脆不让你操作。

4、( ？ super E )表明(？)和( E )之间的关系为：“E是父类，？是子类”。意义是：“向下限定对象类型边界！泛型固定下边界！”

详细参考链接：https://blog.csdn.net/a695571342qqcom/article/details/53437125

【个人认为：(？ extends E )和( ？ super E )的功能作用都是一样的，唯一的不同点就是说二者的界定范围有所不同。即：(？ extends E )泛型向上限定对象类型边界；( ？ super E )泛型向下限定对象类型边界！。而通配符（？）表示的是泛型类 E 的子类，E代表的是父类。】【不知道这样理解是否有误，还请指点！！】

</hr>

【以下是对链接内容的复制，仅留作以后学习和温习使用！】

一、？ extends E 向上限定，E及其子类(泛型固定上边界)

举例说明三个类之间的关系：（Person类、Student类、Teacher类）。

Student类、Teacher类都继承了Person类

1>、在创建集合对象的时候

List<? extends Person> list = new ArrayList<Person>();

当你做添加操作的时候,会出现：list.add(null e);这样是不允许的。

List<? extends Person> list = new ArrayList<Student>();
List<? extends Person> list = new ArrayList<Teacher>();

（在你创建这两个对象也是合法的。）
因为：

虽然你固定了泛型上边界,但是你是无法确定子类是什么具体的类型的,你也没法确定子类的个数。你不可能把你的父类添加到你的子类中。其实,不能添加的主要原因和一开始我们讲的第一个问题是一样的。

如果：List<? extends Person> list = new ArrayList<Student>();可以让你添加元素，那么：list.add(new Person());这样是可以添加进去的。但是你把父类的Person对象,添加到了你的Student子类中了。也可以这样做：list.add(new Teacher()); 所以不成了。

问题总结：

1、？ extends E 名为：向上限定，？代表E及其子类，也可以称之为：泛型固定上边界;

2、当创建集合对象,List<? extends Person> list = new ArrayList();不能做添加操作,以及其他相关的操作
原因：是在你做添加操作的时候,你只知道,你添加数据的上限。但是你无法确定你要添加数据的下限。当你做添加操作的时候,确定你具体添加的是什么类型,子类重写的方法,也必须是该类型的或者该类型的子类。但是，如果你添加的类型,和你的对象(例如：new ArrayList())中的类型不匹配,在实际操作中是有问题的。故而为了避免这种问题(类型转换异常)，干脆不让你操作。

3、但是 ？super E 向下限定，E及其父类(泛型固定下边界)在做添加的时候是不会有问题的。
因为：你泛型的下边界,已经限制。再向集合中添加数据,只能是期本身或者他的子类。

List<? super Person> list = new ArrayList<Person>();

在此只能添加 Person对象，已经Person的子类。

2>、这是第二种情况,有些童鞋也许有疑惑就是,在我们使用集合的是有一个方法是：addAll(Collection<? extends E> c)

a、首先该方法中添加的是集合对象,而且该集合对象必须是Collection或者他的子类(子接口,或者实现类)
b、? extends E 限定的是,所添加集合的泛型是什么数据类型。
c、该功能的作用是讲传入集合中的每一个元素，添加到调用集合中。

举例说明：

创建第一个集合对象：

List<Person> list = new ArrayList<>();

创建第二个集合对象：

ArrayList<Student> alist = new  ArrayList<>();

问题：你可以把 alist集合对象添加到list集合中,但是反之则不可以？

问题解答：
在集合对象,使用addAll(Collection<? extends E> c)方法的是,对集合本身的限制：只要是属于Collection集合的子类或者其本身,都可以相互添加。当然你不能添加一个Map集合。限制的其实还是,集合中的元素。你可以把子类添加到父类中(多态),但你绝不可以把父类添加到子类中(没有这种实现方法)。

二、？super E 向下限定，E及其父类(泛型固定下边界)

举例说明四个类之间的关系：（Person类、Student类、Teacher类、GoodStudent类。）

Student类、Teacher类都继承了Person类
GoodStudent类继承于Student类

1> 其实,第一种情况:上面已经说过了,在这就不再都说了。 看 ？ extends E 中的第一种情况的最后总结的第3问。

2> 在我们学习TreeSet或者TreeMap的时候,我们可以使用比较器排序。需要在TreeSet或者TreeMap中的构造方法中,传入Comparator的子类对象。

用TreeSet举例：TreeSet(Comparator<? super E> comparator)

代码案例如下：

第一种情况：

TreeSet<Student> ts = new TreeSet<>(new Comparator<Person>() {

@Override
public int compare(Person p1, Person p2) {
return p2.getAge() - p1.getAge();
}
});

ts.add(new GoodStudent("zs",23));
ts.add(new GoodStudent("ls",24));
ts.add(new Student("ww",25));
System.out.println(ts);

a、TreeSet该泛型规定了,你要添加的元素数据类型,必须是Student类以及其子类。
b、Comparator该泛型规定了,作为比较的数据类型,必须是Student类或者其父类。
c、你可以把子类放在其父类中进行排序,但是反之则不可以。

第二种情况：

TreeSet<Person> ts = new TreeSet<>(new Comparator<Person>() {

@Override
public int compare(Person p1, Person p2) {
return p2.getAge() - p1.getAge();
}
});

ts.add(new GoodStudent("zs",23));
ts.add(new GoodStudent("ls",24));
ts.add(new Student("ww",25));
ts.add(new Teacher("zl",26));
System.out.println(ts);

a、TreeSet 和 Comparator数据类型一致的时候,比较的范围会增大,可以加入Person对象,其实原理和上面是一样的。

问题总结：

？super E：无论放在什么地方进行使用,他已经把下边界给固定了,你在进行比较数据的或者其他操作时候,只能是他本身或者他的子类。不可以是他的父类。作为比较器中使用,你可以把子类放在父类中进行比较。

【转载链接：@行走在键盘上的猿：https://blog.csdn.net/a695571342qqcom/article/details/53437125】