泛型，类型参数和通配符

Question

我试图理解Java泛型，它们似乎很难理解。例如，这很好…

public class Main {

    public static void main(String[] args) {
        List<?> list = null;
        method(list);
    }

    public static <T> void method(List<T> list) { }
}

…就是这个…

public class Main {

    public static void main(String[] args) {
        List<List<?>> list = null;
        method(list);
    }

    public static <T> void method(List<T> list) { }
}

… 还有这个 …

public class Main {

    public static void main(String[] args) {
        List<List<List<?>>> list = null;
        method(list);
    }

    public static <T> void method(List<List<T>> list) { }
}

…但是不能编译：

public class Main {

    public static void main(String[] args) {
        List<List<?>> list = null;
        method(list);
    }

    public static <T> void method(List<List<T>> list) { }
}

有人可以用简单的语言解释发生了什么吗？

Answer 1

对于泛型类型，主要要了解的是它们不是协变的。

因此，尽管您可以这样做：

final String string = "string";
final Object object = string;

以下内容将无法编译：

final List<String> strings = ...
final List<Object> objects = strings;

这是为了避免您绕过通用类型的情况：

final List<String> strings = ...
final List<Object> objects = strings;
objects.add(1);
final String string = strings.get(0); <-- oops

因此，一一讲解您的示例

1个

您的通用方法采用a
List<T>，而您采用List<?>；（基本上是）List<Object>。T可以分配给Object类型，并且编译器满意。

2

您的通用方法相同，您传入List<List<?>>。T可以分配给List<?>类型，编译器再次感到高兴。

3

这与 2 基本上相同，但具有另一层嵌套。T仍然是List<?>类型。

4

这是有点梨形的地方，也是我从上面提出的观点。

您的通用方法采用List<List<T>>。您通过了List<List<?>>。现在，由于通用类型不是协变的，List<?>因此无法将其分配给List<T>。

实际的编译器错误（Java 8）是：

必填：java.util.List<java.util.List<T>> 找到：
java.util.List<java.util.List<?>> 原因：无法推断类型变量T
（参数不匹配；java.util.List<java.util.List<?>>无法转换为java.util.List<java.util.List<T>>）

基本上，编译器告诉您，T由于必须推断List<T>外部列表中嵌套的类型，因此找不到分配的对象。

让我们更详细地看一下：

List<?>是List的 一些未知类型 -它可以是一个List<Integer>或一个List<String>;
我们可以get这样做Object， 但是我们不能add。因为否则我们会遇到我提到的协方差问题。

List<List<?>>是List的List一些未知类型的-
它可能是一个List<List<Integer>>或一个List<List<String>>。在情况 1中
，可以分配T给通配符列表，Object但不允许add对通配符列表进行操作。在第 4种 情况下，此操作无法完成-
主要是因为没有通用的构造可以防止add外部攻击List。

如果在第二种情况下将编译器分配T给Object，则可能会出现如下所示的情况：

final List<List<Integer>> list = ...
final List<List<?>> wildcard = list;
wildcard.add(Arrays.asList("oops"));

因此，由于协方差，不可能安全地将a分配List<List<Integer>>给 任何其他 泛型List。