ICode9

精准搜索请尝试: 精确搜索
首页 > 编程语言> 文章详细

上界Java通配符的有趣行为

2019-11-20 16:00:18  阅读:152  来源: 互联网

标签:generics java wildcard


我有例子:

public static <T extends Number> void doJob(List<T> pr,List<? extends Number> en,T tel){
            // 
            System.out.println(pr.get(0).intValue());

   }

List<? extends Integer> intList=new ArrayList<>();
Integer inval=200;
List<Integer> intList3=new ArrayList<Integer>(Arrays.asList(1,2,3));
doJob(intList3,intList,inval);//it is allowed 
intList=intList3;
doJob(intList,intList,intList.get(0));//IT IS FORBIDDEN

Why does compiler forbid call of
doJob(intList,intList,intList.get(0)); even intList in fact is
List type?

解决方法:

那是因为,最终您正在执行:

List<? extends Integer> ls = new ArrayList<Integer>();
doJob(ls,ls,ls.get(0));

所以ls(或您的intList)实际上是未知类型的List.但是您知道的是,这种未知类型扩展了Number.

因此,当您调用doJob时,doJob中的T变为此未知类型.您的第二个参数匹配为List&lt ;?扩展Number>是List<的超类型?扩展Integer>.

根据您的第三个参数,我们已经知道T是未知的,您尝试传递intList.get(0).现在intList.get将返回?扩展Integer,即另一个未知类型(扩展了Integer).因此,您尝试将未知类型传递给需要未知类型的方法.并且两个未知数不能保证相等.因此,错误.

标签:generics,java,wildcard
来源: https://codeday.me/bug/20191120/2045295.html

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

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有