本文详解为何MyArrayList
本文详解为何myarraylist extends shape>无法调用add()方法，深入剖析pecs原则（producer extends, consumer super）在泛型引用中的核心作用，并通过对比list extends shape>与list
在Java泛型中，MyArrayList extends Shape> 并非一个“能装任意 Shape 子类对象的容器”，而是一个只读生产者（producer-only）引用——它表示“某个具体但未知的子类型列表”，例如 MyArrayList
因此，以下代码会编译失败：
private static MyArrayList<? extends Shape> history = new MyArrayList<>(); history.add(new Circle()); // ❌ 编译错误！ history.add(new Rectangle()); // ❌ 同样错误！
原因在于：? extends Shape 告诉编译器，“这个引用指向的实例，其元素类型是 Shape 的某个具体未知子类”。假设实际对象是 MyArrayList
✅ 正确做法是明确指定类型参数，或改用无界/上界兼容的写入方式：
立即学习“Java免费学习笔记（深入）”；
方案1：使用具体类型（推荐用于可变集合）
private static MyArrayList<Shape> history = new MyArrayList<>(); // ✅ 可存任意Shape子类 history.add(new Circle()); // ✅ OK history.add(new Rectangle()); // ✅ OK
方案2：若需保持通配符，仅作读取（遵循PECS）
private static MyArrayList<? extends Shape> readOnlyHistory = new MyArrayList<Circle>(); Shape s = readOnlyHistory.get(0); // ✅ OK：get() 返回 ? extends Shape → 安全赋值给 Shape // readOnlyHistory.add(...); // ❌ 禁止：编译器拒绝任何写入
关键对比总结：
| 类型声明 | 是否可读 | 是否可写 | 典型用途 | 安全依据 |
|---|---|---|---|---|
| MyArrayList |
✅ | ✅ | 存储多种 Shape 子类对象 | Circle/Rectangle 均是 Shape 的子类型 |
| MyArrayList extends Shape> | ✅ | ❌ | 仅安全读取（如遍历、返回父类型） | get() 返回 ? extends Shape → 可安全转为 Shape |
| MyArrayList |
✅ | ✅ | 仅存 Circle 实例 | 类型完全精确，无擦除风险 |
⚠️ 注意：new MyArrayList() 在赋值给 MyArrayList extends Shape> 时，实际推断为 MyArrayList
简言之，? extends T 的本质是类型安全的只读契约，而非灵活的“多态容器”。理解这一点，是驾驭Java泛型、避免运行时类型错误的关键基础。
