Java泛型：无界通配符不与对象类型参数

Question

工作用一个例子解释这个问题：

public class DataWrapper<T> { 
    T data; 
}; 

DataWrapper<Object> obj1 = new DataWrapper<Object>(); 

List<DataWrapper<?>> anyDataList = Arrays.asList(obj1); //this doesn't work 

DataWrapper<Integer> objInt = new DataWrapper<Integer>(); 
anyDataList = Arrays.asList(obj1, objInt); //this work 

我不明白为什么“Arrays.asList（OBJ1）”不工作？

Answer 1

当推断泛型方法的类型参数时，Java 7很愚蠢（并非不是）。例如，它将使用声明的参数类型来推断类型，而不管方法调用的上下文。因此，在

Arrays.asList(obj1); 

类型参数会被推断为

DataWrapper<Object> 

方法的返回类型将被List<DataWrapper<Object>>这是没有分配给一个List<DataWrapper<?>>。

在

Arrays.asList(obj1, objInt); 

类型是从两个参数推断。两者之间有共同的类型。在这种情况下，这是? extends Object。方法返回类型变为List<DataWrapper<? extends Object>>，可指定给List<DataWrapper<?>>。

在Java 8中，您发布的内容是开箱即用的。在Java 7中，可以提供一个明确的类型参数，使其工作

List<DataWrapper<?>> anyDataList = Arrays.<DataWrapper<?>>asList(obj1);