上边界java通配符的有趣行为

Question

我有一个例子：

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

为什么编译器禁止调用doJob（intList，intList，intList.get（0））; 甚至intList实际上是List类型？

Answer 1

那是因为，最终你在做：

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

所以ls（或你的intList ）实际上是一个未知类型的List。 但你知道的是，这种未知类型扩展了Number 。

因此，当您调用doJob ， doJob中的T doJob变为此未知类型。 你的第二个参数匹配List<? extends Number> List<? extends Number>是List<? extends Integer>的超类型 List<? extends Integer> 。

根据你的第三个参数，我们已经知道T是未知的，你尝试传递intList.get(0) 。 现在intList.get会返回? extends Integer ? extends Integer ，即另一种未知类型（扩展Integer）。 因此，您尝试将未知类型传递给期望未知类型的方法。 两个不知名的人不能保证是平等的。 因此错误。