<? extends T>和<? super T>：上下界通配符的界限和使用

• <? extends T>：是指 “上界通配符（Upper Bounds Wildcards）”
• <? super T>：是指 “下界通配符（Lower Bounds Wildcards）”

举一个简单的例子：

1、上界通配符

三个类：红苹果类继承苹果类，苹果类继承水果类

list<? extends Apple>//表示可能是一个苹果或者苹果子类的集合

所以就有了一下的这几种情况

List<? extends Apple> list1 = new ArrayList<RedApple>();List<? extends Apple> list2 = new ArrayList<Apple>();List<? extends Apple> list3 = new ArrayList<Fruit>();

前两种情况是编译通过的，第三种情况编译错误。

2、下界通配符

List<? super Apple> list//表示可能是苹果或者苹果超类的集合

相同的三种情况

List<? super Apple> list4 = new ArrayList<RedApple>();List<? super Apple> list5 = new ArrayList<Apple>();List<? super Apple> list6 = new ArrayList<Fruit>();

第一种情况编译错误，后两种情况编译通过

3、上下界通配符的副作用

①、上界通配符

以List<? extends Apple> list = new ArrayList<Apple>();为例

在调用list的add方法的时候我们可以看到下面的提示：

原因在于，编译器只知道这个集合的泛型类型是苹果的子类，但是至于那个子类，编译器无法确定，就导致了集合中除了null，其他的什么都放不进去。而对于上界的取操作，则没有任何的影响，依然通过下标进行获取集合中的对象。

②、下界通配符

以List<? super Apple> list = new ArrayList<Apple>();为例

调用时候的提示：

我们可以看到能够放入苹果类型的对象，也就意味着，苹果或者苹果子类的对象都可以放入集合中。原因在于，编译器知道这个集合的泛型是苹果的超类，那么里面的对象只要是苹果或者苹果的子类，肯定是满足集合的要求的。

而对于取操作则要受到一定的影响：

从编译器的角度，我能够知道这个集合的泛型是苹果的超类，但是里面的对象究竟是苹果还是水果，则不得而知，只能用最大的界限object。

4、上下界通配符的使用

遵循PECS（Producer Extends Consumer Super）原则：

1. 频繁往外读取内容的，适合用上界Extends。
2. 经常往里插入的，适合用下界Super。