Java泛型不支持子类型多态，即List<Y>并非List<X>的子类型——这是由类型擦除机制和类型安全设计共同决定的；使用通配符<? extends X>可安全读取，<? super X>可安全写入，遵循PECS原则。
java泛型不支持子类型多态，即`list
在Java中，即便类 Y 继承自类 X（即 Y extends X），List<Y> 也不能直接赋值给 List<X> 类型的变量，也无法作为参数传入接收 List<X> 的方法。这不是IDE误报，也不是代码错误，而是Java泛型的核心设计原则——泛型类型是不可协变的（invariant）。
为什么不允许？类型安全是根本原因
假设允许 List<Y> 赋值给 List<X>，将导致严重的运行时类型风险。看这个反例：
List<Number> numbers = new ArrayList<Integer>(); // ❌ 编译失败！但若允许…… numbers.add(3.14); // ✅ 合法：Double 是 Number 的子类 // 此时 ArrayList<Integer> 中却混入了 Double —— 破坏类型一致性！ Integer i = new ArrayList<Integer>().get(0); // ❌ 运行时 ClassCastException！
同理，在你的场景中：
public void doSomethingWithTheList(List<X> list) {
list.add(new X()); // 方法内部可能向list添加任意X或其子类实例
}
List<Y> yList = getYList();
doSomethingWithTheList(yList); // ❌ 编译拒绝：否则yList将被注入非Y对象，破坏其“仅含Y”的契约Java泛型采用类型擦除（Type Erasure）：编译后所有泛型信息（如 <X>、<Y>）均被擦除为原始类型（如 List），仅保留边界（默认为 Object）。因此，JVM在运行时无法区分 List<X> 和 List<Y>，编译期必须通过严格的类型检查来保障安全——这正是泛型“不变性（invariance）”的由来。
立即学习“Java免费学习笔记（深入）”；
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
正确解决方案：使用有界通配符
✅ 场景一：只读取元素（Producer）→ 使用 <? extends X>
当方法只需从列表中读取元素并将其视为 X 或其父类型时，应声明为：
public void processList(List<? extends X> list) {
for (X item : list) { // ✅ 安全：每个元素至少是X类型
System.out.println(item);
}
// list.add(new X()); // ❌ 编译错误：无法确定具体子类型，禁止写入
}调用示例：
List<Y> yList = getYList(); processList(yList); // ✅ 允许：Y is-a X List<X> xList = getXList(); processList(xList); // ✅ 允许
✅ 场景二：只写入元素（Consumer）→ 使用 <? super X>
当方法需向列表中添加 X 或其子类实例时，应声明为：
public void collectItems(List<? super X> target) {
target.add(new X()); // ✅ 允许：X 可加入任何X或其父类构成的List
target.add(new Y()); // ✅ 允许：Y extends X
// X x = target.get(0); // ❌ 不安全：返回类型仅为 Object（下界通配符不保证读取安全）
}调用示例：
List<X> xList = getXList(); collectItems(xList); // ✅ List<Object> objList = new ArrayList<>(); collectItems(objList); // ✅（Object 是 X 的超类） List<Y> yList = getYList(); collectItems(yList); // ❌ 编译错误：Y 不是 X 的超类
? 关键总结与最佳实践
- 不要尝试强制转型或绕过泛型检查（如 (List<X>) (List<?>) yList），这会触发未检查警告，且可能引发 ClassCastException。
-
牢记PECS原则（Producer Extends, Consumer Super）：
- 作为数据提供者（只读） → 用 <? extends T>
- 作为数据消费者（只写） → 用 <? super T>
- 若需既读又写，则必须使用精确泛型类型（如 List<X>），此时传入 List<Y> 就是逻辑错误——应重构API，明确业务语义是否允许混合类型。
- 所有泛型约束都在编译期生效，运行时无开销，但要求开发者主动理解并正确表达类型意图。
泛型不是语法糖，而是编译期的类型契约。尊重它的不变性，善用通配符，才能写出类型安全、健壮且可维护的Java集合代码。
