本文详解为何 MyArrayList
本文详解为何 myarraylist extends shape> 无法调用 add() 方法，深入剖析有界通配符 ? extends t 的协变语义、类型安全约束及其与原始类型 myarraylist
在Java泛型中，? extends Shape 是一个上界通配符（upper-bounded wildcard），它表示“某个未知的具体子类型，该类型是 Shape 或其派生类”。但关键在于：通配符修饰的是引用类型，而非具体实现类型。当你声明：
private static MyArrayList<? extends Shape> history = new MyArrayList<>();
你实际创建的是一个 MyArrayList
为什么 add() 被拒绝？—— 类型安全的底层逻辑
假设 history 实际指向一个 MyArrayList
history.add(new Circle()); // ❌ 编译错误！
就会向一个本应只存 Rectangle 的容器中插入 Circle，严重破坏类型安全。同理，它也可能指向 MyArrayList
立即学习“Java免费学习笔记（深入）”；
这与 MyArrayList
- MyArrayList
：明确声明容器可容纳任意 Shape 及其子类实例，add(new Circle()) 和 add(new Rectangle()) 均合法； - MyArrayList extends Shape>：声明“此引用指向某个特定子类型的容器”，但子类型未知，故写入不可行，仅支持读取（返回值可安全赋给 Shape 引用）。
正确的实践方式
若需统一管理多种 Shape 子类对象，应使用具体上界类型而非通配符：
private static MyArrayList<Shape> history = new MyArrayList<>(); // ✅ 正确
public static void main(String[] args) {
history.add(new Circle()); // ✅ 允许：Circle IS-A Shape
history.add(new Rectangle()); // ✅ 允许：Rectangle IS-A Shape
System.out.println(history);
}若必须使用通配符（例如作为方法参数接收多种形状列表），应遵循 PECS 原则（Producer Extends, Consumer Super）：
- 只读场景（Producer） → 使用 ? extends T（如 get() 返回值）；
- 只写场景（Consumer） → 使用 ? super T（如 add() 参数）；
- 读写兼备 → 避免通配符，直接使用具体类型 T。
补充说明：为何 new MyArrayList() 能通过编译？
该语句利用了钻石运算符（Diamond Operator） 的类型推断机制。虽然右侧未显式指定类型参数，但编译器根据左侧声明 MyArrayList extends Shape> 推断出构造时采用最宽泛的兼容类型（即 Object），再经类型检查确认其满足 ? extends Shape 的约束（Object 不满足，但擦除后无运行时泛型信息，编译器仅校验引用安全性）。然而，这种“宽松创建”不改变引用层面的不可变契约——通配符引用始终禁止写入。
总结：? extends T 是协变（covariant）的只读契约，用于增强API灵活性；它不是泛型类型的“松散版本”，而是编译器强加的安全栅栏。理解其设计初衷（保障类型安全）与适用边界（仅生产者），是写出健壮泛型代码的关键。
