快速理解＜? extends T＞和＜? super T＞

下图是类的继承关系

List<? extends C> list1; // list1 的元素的类型只能是 C 和 C 的子类。
List<? super C> list2; // list2 的元素的类型只能是 C 和 C 的父类。


这两个注释很重要，下面的理解逻辑全基于上面注释，
<? extends T> 就是类型只能是T和T的子类
<? super T> 就是类型只能是T和T的父类

至于官方概念请搜其他博文

所以得出下面代码： 

ArrayList<B> b = new ArrayList<>();
ArrayList<C> c = new ArrayList<>();
ArrayList<D> d = new ArrayList<>();
// <? extends C>
list1 = b; // 报错
list1 = c;
list1 = d;
// <? super C>
list2 = b; 
list2 = c;
list2 = d; // 报错

list1.add() ，不可以添加任何元素，除了 list1.add(null); 因为list1的类型只能是C或C的子类，但编译器无法确定到底是哪个类型。假设类型是D，那么D类往上的ABC类等就不能加进来才对，所以为保证类型安全，不能添加除了 null 以外的任何元素。

list1.get()，无法知道get出来的类型是 C D E F 的哪一个，所以返回的类型只能是它们的共同父类C

list2.add()，可以添加C或C的子类，因为list2在定义泛型时，规定了只能是C或C的父类。那么根据类型向上兼容所以可以添加的元素是 C 以及 C 的子类。假如类型是A，现在创建一个Aaa类并继承A类，编译器也不管这个，它只看确定性的，唯一确定性的就是C和C的子类，这些加进来准没错。至于Aaa类就无法确定是否符合，因为类型也可以假如是B，那如果是B，Aaa类就又不符合了。

list2.get()，也是根据C或C的父类逻辑来理解，那么list2.get(0)的值类型可能是ABC，但也可能是A类的父类的父类等等，所以A类上面有几个父类编译器不知道，那竟然不知道，那么干脆返回终极父类Object了，你爱咋用就咋用。