本文深入解析Java泛型中Container
本文深入解析java泛型中`container extends superclass>`为何禁止对`elem`字段赋值，阐明“上界通配符只允许读取、禁止写入”的核心原则及其类型安全设计逻辑。
在Java泛型中，通配符? extends T（上界通配符）表示“某个未知但确定的T的子类型”，而非“任意T的子类型”。这是理解本问题的关键——它不是放宽类型约束，而是引入不确定性以保障类型安全。
来看原始代码的问题所在：
Container extends Superclass> b = new Container<superclass>(); b.elem = new Superclass(); // 编译错误！</superclass>
表面看，Superclass 是 ? extends Superclass 的合法候选（因 Superclass 是自身的子类型），但编译器不关心实际构造时用了哪个具体类型。它只依据变量声明的类型——Container extends Superclass>——进行静态检查。
此时，编译器将 b.elem 的类型推断为 capture#1-of ? extends Superclass，即一个“捕获的、不可知的具体子类型”（例如可能是 Subclass，也可能是 AnotherSubclass）。由于该具体类型未知，编译器必须确保所有操作对该任意可能的子类型都安全。
而 b.elem = new Superclass() 违反了这一原则：
✅ 若 b 实际是 Container<superclass></superclass>，赋值成立；
❌ 但若 b 实际是 Container<subclass></subclass>，则 new Superclass() 无法赋值给 Subclass elem（父类对象不能赋给子类引用）；
→ 因此，该操作不满足“对所有可能子类型均安全”的条件，编译器坚决拒绝。
这正是PECS原则（Producer-Extends, Consumer-Super）的体现：
-
? extends T表示生产者（Producer）：你只能安全地读取T或其父类型的值（因为无论实际类型是Subclass还是Superclass，它都“是”Superclass）； - 它不能作为消费者（Consumer）：你无法安全地写入任何具体对象（包括
Superclass实例），因为写入目标类型不确定。
✅ 正确用法示例（只读）：
Container extends Superclass> b = new Container<subclass>(); Superclass obj = b.elem; // ✅ 安全：无论elem实际是Subclass还是Superclass，都能向上转型为Superclass</subclass>
❌ 错误用法（写入）：
// b.elem = new Superclass(); // ❌ 编译错误 // b.elem = new Subclass(); // ❌ 同样错误！即使Subclass是子类，编译器仍不允许
⚠️ 注意事项：
-
Container>（无界通配符）同样禁止写入，原因相同：?表示“某个未知类型”，编译器无法验证任何具体值的安全性； - 若要支持写入，应使用下界通配符
? super T（如Container super Subclass>），此时可写入Subclass及其子类实例； - 最佳实践：优先使用具体类型（如
Container<superclass></superclass>）；仅在需要协变（如方法参数接收多种子类型容器）时使用? extends T，并严格遵守“只读”约定。
总结：? extends T 的本质是类型安全的抽象——它牺牲写入灵活性，换取对未知子类型的统一读取能力。理解这一点，便能从容驾驭Java泛型的边界与力量。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
