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

2022-03-11 11:17:33 阅读：162 来源： 互联网

标签：Java 浅谈 List ArrayList list 苹果子类泛型 new

来源：https://www.cnblogs.com/chyu/p/4630798.html

关于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(苹果);    //无任何问题

标签：Java,浅谈,List,ArrayList,list,苹果,子类,泛型,new
来源： https://www.cnblogs.com/konglxblog/p/15992802.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

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