Java泛型中通配符? extends T的赋值与写入限制详解-java教程-PHP中文网

Java泛型中通配符? extends T的赋值与写入限制详解

本文深入解析Java泛型中Container

本文深入解析java泛型中`container extends superclass>`为何禁止对`elem`字段赋值，阐明`? extends t`的“只读性”本质及其类型安全设计原理。

在Java泛型中，通配符? extends T（上界通配符）常被误认为“允许存放任何T及其子类型的实例”，但事实恰恰相反：它仅保证读取的安全性，严格禁止写入（除null外）。这正是你代码报错的根本原因。

回顾你的示例：

class Superclass {}
class Subclass extends Superclass {}
class Container<t> { T elem; }

public class Test {
    public static void main(String[] args) {
        Container extends Superclass> b = new Container<superclass>();
        b.elem = new Superclass(); // ❌ 编译错误：Type mismatch: cannot convert from Superclass to capture#1-of ?
    }
}</superclass></t>

表面看，Container<superclass></superclass> 显然满足 ? extends Superclass 的约束，赋值语句合法；但关键在于——通配符使编译器丢失了具体的类型信息。b 的实际类型被抽象为“某个未知的、继承自Superclass的具体类型”，记作 capture#1-of ? extends Superclass。这个捕获类型可能是 Subclass、Superclass，甚至未来新增的 AnotherSubclass —— 编译器无法确定。

因此，当执行 b.elem = new Superclass() 时，编译器必须确保该操作对所有可能的实际类型都安全。假设 b 实际指向的是 Container<subclass></subclass>：

Container extends Superclass> b = new Container<subclass>(); // ✅ 合法赋值
b.elem = new Superclass(); // ❌ 危险！不能将 Superclass 赋给 Subclass 类型字段</subclass>

显然，将 Superclass 实例赋给 Subclass 类型的 elem 违反类型安全（子类引用不能接收父类对象）。由于编译器无法排除这种可能性，它保守地拒绝一切非null的写入操作。

javascript-pro

专注现代 ECMAScript、异步编程、性能优化和全栈的 JavaScript 专家，适用于现代开发

下载

✅ 正确用法：只读场景（安全）

Container extends Superclass> b = new Container<superclass>();
Superclass obj = b.elem; // ✅ 允许：无论实际类型是 Superclass 还是 Subclass，都能向上转型为 Superclass</superclass>

✅ 允许写入 null（唯一安全的写入）：

b.elem = null; // ✅ 合法：null 可赋给任意引用类型

⚠️ 注意事项：

? extends T 适用于生产者（Producer）场景（如 List extends Number>），遵循 PECS 原则（Producer Extends, Consumer Super）；
若需写入，应使用具体类型（如 Container<superclass></superclass>）或下界通配符 ? super T（适用于消费者）；
Container>（无界通配符）同样禁止写入（除null），因其等价于 ? extends Object。