本文详解为何List不能直接赋值给List参数，以及如何通过通用通配符<? extends Task>安全实现类型兼容，避免编译错误并保持类型安全性。
本文详解为何list<task1>不能直接赋值给list<task>参数，以及如何通过通用通配符<? extends task>安全实现类型兼容，避免编译错误并保持类型安全性。
在Java泛型中，List<Task1> 与 List<Task> 之间不存在继承关系——即使 Task1 是 Task 的子类，泛型类型默认是不变（invariant） 的。这意味着编译器不会将 List<Task1> 视为 List<Task> 的子类型，因此以下调用会编译失败：
List<Task1> allTasks = List.of(new Task1()); stateMachine.startMultipleTasks(allTasks); // ❌ 编译错误：类型不匹配
而 stateMachine.startMultipleTasks(List.of(new Task1())) 能通过，是因为 List.of(...) 是泛型方法，其返回类型由上下文推断为 List<Task>（即编译器自动进行类型提升），等价于：
List<Task> inferred = List.of(new Task1()); // ✅ 推断成功 stateMachine.startMultipleTasks(inferred);
但该技巧无法复用于已声明为 List<Task1> 的变量，因其类型在编译期已固定。
正确解决方案：使用上界通配符
将方法签名改为接受 只读语义的协变集合：
立即学习“Java免费学习笔记（深入）”；
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
public class StateMachine {
public void startMultipleTasks(List<? extends Task> tasks) {
tasks.forEach(task -> task.setStatus(TaskStatusEnum.STARTED));
}
}✅ 优势：
- List<Task1>、List<Task2>、List<Task> 均可作为实参传入；
- 编译器保证 tasks 中每个元素都是 Task 或其子类实例，调用 setStatus(...) 安全；
- 由于 ? extends Task 表示“未知子类型”，禁止向列表中添加任何元素（除 null 外），从而维持类型安全。
⚠️ 注意事项：
- 若后续逻辑需向列表中添加新 Task 实例（如 tasks.add(new Task2())），则此方案不可行——此时应改用下界通配符 <? super Task>，或重构为泛型方法；
- 不要误用原始类型（如 List）或强制类型转换（如 (List<Task>) (List<?>) allTasks），二者均破坏类型安全且可能引发运行时异常。
进阶建议：泛型方法（更灵活）
若需在方法内创建新任务或混合操作，可定义泛型方法：
public <T extends Task> void startMultipleTasks(List<T> tasks) {
tasks.forEach(task -> task.setStatus(TaskStatusEnum.STARTED));
}该写法保留了具体类型 T，既支持类型安全遍历，又允许在方法内使用 T 进行泛型构造（如 new ArrayList<T>()），同时仍兼容 List<Task1> 等具体子类型调用。
总结：Java泛型的不变性是设计使然，而非缺陷；合理运用 <? extends Parent> 是实现安全协变访问的标准实践。始终优先选择通配符而非类型擦除或强制转换，以兼顾代码健壮性与可维护性。
