清单>和列表 是Java中不兼容的类型

Question

我没有用以下任何一种方式编译此代码：

List<List> a = new ArrayList();
List<List<?>> b = new ArrayList();

a = b; // incompatible types
b = a; // incompatible types

在泛型方面，java似乎没有考虑List并List<?>使用相同的类型。

这是为什么？还有一些不错的出路吗？

有一个具有以下签名的库函数：public <T> Set<Class<? extends T>> getSubTypesOf(final Class<T> type)。对于作为参数传递的简单类型，此方法很好用，但在泛型的情况下，结果未用通配符参数化，从而导致javac抱怨原始类型。我想将结果传播到我的应用程序的其余部分，Set<Class<? extends GenericTypeHere<?>>>但是简单的强制转换无法按我期望的那样工作。

编辑：解决方案

感谢您的回答，这就是我最终如何使它工作的方式：

@SuppressWarnings({"rawtypes", "unchecked"})
private static Set<Class<? extends GenericTypeHere<?>>> factoryTypes() {
    return (Set) new Reflections("...").getSubTypesOf(GenericTypeHere.class);
}

Answer 1

好的，这是由于语义上的细微差异。

List

这是原始类型的List，这相当于T是类型的Object。所以就像说：

List<Object>

现在，编译器知道一个事实，无论发生什么，这都是type的子类Object。如果可以的话..

List myList = new ArrayList();
myList.add(new Object());

它将正常工作！这是因为Object相同或类型的某种派生。

List<?>

从字面上看，这是 一个未知列表 （Java
Docs
）。我们甚至都不知道这里的事物的子类是type
Object。实际上，?类型本身就是未知类型。没关系Object！这就是为什么当您尝试去做时..

List<?> myList = new ArrayList<?>();
myList.add(new Object());

您得到一个编译时错误！