Java 泛型转换为通配符规则

Question

在简单的情况下，我可以轻松地从泛型类型降级为通配符类型：

List<Integer> intList = new ArrayList<>();
List<?> wildList = intList; // I can cast to a List<?>

但是，随着我的泛型变得越来越复杂：

List<List<Integer>> nestedIntList = new ArrayList<>();
List<List<?>> nestedWildList = nestIntList; // This does not compile

有没有办法可以编译？我是否遗漏了编译器保护我免受某些合乎逻辑的情况？为什么我不能转换内部类型？

Answer 1

List<Integer> 可分配给List<?> 或List<? extends Integer>。同样，您可以将其分配给List<? extends Number>，但不能分配给List<Number>。

在类似的行上，您只能将List<List<Integer>> 分配给List<? extends List<?>>

见：

Is List<Dog> a subclass of List<Animal>? Why are Java generics not implicitly polymorphic?

Java generics, nested collection of wildcard