浅谈Java泛型之<? extends T>和<? super T>的区别

关于Java泛型,这里我不想总结它是什么,这个百度一下一大堆解释,各种java的书籍中也有明确的定义,只要稍微看一下就能很快清楚.从泛型的英文名字Generic type也能看出,Generic普通、一般、通用的,是一个概括性的词,那么泛型从名字上也就好理解了,它是一种通用类型,是java中各种类型的概括.

?是java泛型中的通配符,它代表java中的某一个类,那么<? extends T>就代表类型T的某个子类,<? super T>就代表类型T的某个父类.

这里我们先定义一组有继承关系的类:

//子类-->父类

小红苹果--红苹果--苹果--水果--好吃的--吃的

这些类都是左侧的类为与它相连接的右侧的类的子类.

那么<? extends 苹果> 代表的是左侧蓝字和绿字的类中的某个类,而<? super 苹果>代表的就是绿字和红字的类中的某个类.

这里要注意的是<? extends T>或是<? super T>代表的是范围内的某个特定的类,而不是范围内的所有类.

//所以只要在范围内,我们可以如下这样的随意赋值
List<? extends 苹果>  list1 = new ArrayList<苹果>();
List<? extends 苹果>  list2= new ArrayList<红苹果>();
List<? extends 苹果>  list3 = new ArrayList<小红苹果>();

但是对于List<? extends 苹果> list来说,代表的是一个范围内的某个类,但是却不确定是哪个类,所以如果我们向这个list中添加元素的时候:

List<? extends 苹果>  list = new ArrayList<苹果>();
list.add(苹果);    //编译错误
list.add(红苹果);    //编译错误
list.add(小红苹果);     //编译错误

因为编译器并不知道list到底是哪个类(只有在运行的时候才能确定指代的哪个类),如果list是红苹果,那么list.add(苹果)就将一个父类赋值给子类了,是错误的.显然如果向这个list中添加类,都不能保证是正确的.可能会说小红苹果没有子类,添加小红苹果不会错,但是这只是我定义的一个继承图中是这样,我们完全可以继续定义个小小红苹果来继承小红苹果,这个继承是没有下限的.这个反推出一个结论<? extends T>是一个有上限T的类型.那么我们马上就发现<? super T>实际上是有下限T的类型.

因为对于<? extends T>有上限T,故我们如果list.get(0)一定返回的是T或是T的子类,这个是确定的,得出:

List<? extends 苹果>  list1 = new ArrayList<苹果>();
苹果 a = list1.get(0);  //这个是一定成立的,编译也不会有问题

List<? extends 苹果>  list2 = new ArrayList<红苹果>();
苹果 a = list2.get(0);  

List<? extends 苹果>  list3 = new ArrayList<小红苹果>();
苹果 a = list3.get(0); 

然后我们来看<? super T>,因为它有下限,故我们可以马上得出,如果向其中添加T类型的对象是没问题的.因为<? super T>是T的某个父类,将子类T赋值给父类没任何问题:

List<? super 苹果>  list = new ArrayList<苹果>();
list.add(苹果);    //无任何问题
List<? super 苹果>  list = new ArrayList<水果>();
list.add(苹果);    //无任何问题