上界Java通配符的有趣行为

我有例子：

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