本文深入解析Java中? extends T通配符导致的类型不匹配问题，阐明为何Container
本文深入解析java中`? extends t`通配符导致的类型不匹配问题，阐明为何`container extends superclass>`无法向`elem`字段赋值，揭示泛型擦除与类型安全边界的核心原理。
在Java泛型中，通配符（wildcard）如 ? extends Superclass 并非表示“可接受任意 Superclass 及其子类”，而是表达一种只读（producer）语义：它声明该容器产出（get）的元素是 Superclass 的某个未知子类型，但禁止向其中写入（set）任何具体实例——包括 Superclass 本身。
来看原始代码的问题所在：
Container<? extends Superclass> b = new Container<Superclass>(); b.elem = new Superclass(); // ❌ 编译错误：Type mismatch: cannot convert from Superclass to capture#1-of ?
表面上看，Superclass 显然满足 ? extends Superclass 的上界约束；但关键在于：? extends Superclass 表示“某个确定但未知的 Superclass 子类型”（例如可能是 Subclass，也可能是 AnotherSubclass），编译器必须保证对 所有可能的具体类型 都安全。假设实际类型是 Container<subclass></subclass>：
Container<? extends Superclass> b = new Container<Subclass>(); // ✅ 合法赋值 b.elem = new Superclass(); // ❌ 危险！Superclass ≠ Subclass（不可向上转型赋值）
此时 b.elem 的真实类型是 Subclass，而 new Superclass() 是父类实例，无法赋值给子类引用——这违反了类型安全。因此，Java 编译器采取保守策略：只要存在任一合法的底层类型会使该写操作失败，就拒绝整个写操作。这就是所谓“PECS 原则”（Producer-Extends, Consumer-Super）中 extends 对应只读场景的根本原因。
立即学习“Java免费学习笔记（深入）”；
⚠️ 注意事项：
-
? extends T允许安全读取：T t = b.elem;（因为无论实际类型是T还是其子类，都可向上转型为T）； -
? extends T禁止任何写入（除null外）：b.elem = ...永远编译失败； - 若需写入，应使用
? super T（消费者语义）或具体类型（如Container<superclass></superclass>）； -
Container>同样禁止写入，因其等价于? extends Object，下界过于宽泛，无法保证任何非null值的安全性。
✅ 正确用法示例：
// ✅ 只读：安全获取 Container<? extends Superclass> b = new Container<Superclass>(); Superclass obj = b.elem; // OK —— 自动向上转型 // ✅ 写入：使用具体类型或下界通配符 Container<Superclass> c = new Container<>(); c.elem = new Superclass(); // OK Container<? super Subclass> d = new Container<Superclass>(); d.elem = new Subclass(); // OK —— Subclass 是 Superclass 的子类，可安全写入
总结：? extends T 的本质是类型安全的只读契约，它牺牲写入灵活性换取编译期强类型保障。理解这一点，就能避免将通配符误当作“宽松类型声明”，从而写出既安全又符合泛型设计意图的代码。
