本文详解为何List不能直接赋值给List参数，以及如何通过通用通配符

本文详解为何list不能直接赋值给list参数，以及如何通过通用通配符 extends task>安全实现类型兼容，避免编译错误并保持类型安全性。

在Java泛型中，List 与 List 之间不存在继承关系——即使 Task1 是 Task 的子类，泛型类型默认是不变（invariant） 的。这意味着编译器不会将 List 视为 List 的子类型，因此以下调用会编译失败：

List<task1> allTasks = List.of(new Task1());
stateMachine.startMultipleTasks(allTasks); // ❌ 编译错误：类型不匹配</task1>

而 stateMachine.startMultipleTasks(List.of(new Task1())) 能通过，是因为 List.of(...) 是泛型方法，其返回类型由上下文推断为 List（即编译器自动进行类型提升），等价于：

List<task> inferred = List.of(new Task1()); // ✅ 推断成功
stateMachine.startMultipleTasks(inferred);</task>

但该技巧无法复用于已声明为 List 的变量，因其类型在编译期已固定。

正确解决方案：使用上界通配符

将方法签名改为接受 只读语义的协变集合：

public class StateMachine {
    public void startMultipleTasks(List extends Task> tasks) {
        tasks.forEach(task -> task.setStatus(TaskStatusEnum.STARTED));
    }
}

✅ 优势：

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

• List、List、List 均可作为实参传入；
• 编译器保证 tasks 中每个元素都是 Task 或其子类实例，调用 setStatus(...) 安全；
• 由于 ? extends Task 表示“未知子类型”，禁止向列表中添加任何元素（除 null 外），从而维持类型安全。

⚠️ 注意事项：

• 若后续逻辑需向列表中添加新 Task 实例（如 tasks.add(new Task2())），则此方案不可行——此时应改用下界通配符 super Task>，或重构为泛型方法；
• 不要误用原始类型（如 List）或强制类型转换（如 (List) (List>) allTasks），二者均破坏类型安全且可能引发运行时异常。

进阶建议：泛型方法（更灵活）

若需在方法内创建新任务或混合操作，可定义泛型方法：

public <t extends task> void startMultipleTasks(List<t> tasks) {
    tasks.forEach(task -> task.setStatus(TaskStatusEnum.STARTED));
}</t></t>

该写法保留了具体类型 T，既支持类型安全遍历，又允许在方法内使用 T 进行泛型构造（如 new ArrayList()），同时仍兼容 List 等具体子类型调用。

总结：Java泛型的不变性是设计使然，而非缺陷；合理运用 extends Parent> 是实现安全协变访问的标准实践。始终优先选择通配符而非类型擦除或强制转换，以兼顾代码健壮性与可维护性。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南