Java泛型嵌套模板类型兼容性：为何第二种赋值不被允许？

先看问题中的代码示例：

List<Object> a = null;
List<?> b = null;
b = a; // 允许赋值

List<List<Object>> a = null;
List<List<?>> b = null;
b = a; // 不允许赋值

核心原因：泛型不变性与通配符的作用域限制 #

Java泛型默认是不变的——List<X>和List<Y>之间不存在继承关系，哪怕X是Y的子类。通配符?是特殊情况：List<?>可以接收任何List<具体类型>，因为它代表“任意未知类型的List”，且本身限制了写入操作。

但嵌套泛型时这个逻辑不适用：List<List<Object>>的元素类型是List<Object>，而List<List<?>>的元素类型是List<?>。这两个元素类型之间不存在兼容关系——List<Object>不是List<?>的父类型，反过来也不成立，因此外层List无法直接赋值。

允许赋值会导致的类型安全问题 #

假设Java允许该赋值，会写出编译通过但运行时崩溃的代码：

List<List<Object>> a = new ArrayList<>();
List<List<?>> b = a; // 假设允许此赋值

// 创建一个合法的List<?>实例
List<String> stringList = new ArrayList<>();
stringList.add("test");

// 因为b的元素类型是List<?>，可以添加stringList
b.add(stringList);

// 从a中取出元素，声明类型是List<Object>
List<Object> objList = a.get(0);
// 编译通过，但运行时会抛出ClassCastException
objList.add(123);

这段代码完全绕过了编译期类型检查，违背了泛型的设计目的。

背后的设计理念 #

Java泛型的核心目标是编译期保证类型安全，避免运行时类型转换异常：

• 单层List<?>的设计是“只读容器”（仅能读取到Object类型，无法添加非null元素），因此可以安全接收任意List<具体类型>，不会破坏内部元素的类型一致性。
• 嵌套后的List<List<?>>是“可写入容器”——它允许向其中添加任何类型的List，而List<List<Object>>仅能容纳List<Object>。如果允许赋值，相当于把“只能放特定元素的容器”当成“能放任意元素的容器”，直接打破类型安全边界。

如果要实现安全的类似赋值，需要使用通配符的下界限定：

List<List<Object>> a = null;
List<? extends List<?>> b = null;
b = a; // 此时赋值合法

List<? extends List<?>>限制了写入操作（无法添加任何非null元素），同时兼容List<List<Object>>的类型，既满足赋值需求又保证类型安全。

内容的提问来源于stack exchange，提问作者freddy