本文详解Java泛型不变性导致的编译错误，并提供使用通配符? extends Parent的正确解决方案，使List<Child>可安全传入要求List<Parent>的方法，同时保持类型安全性与后续对子类特有操作的支持。
本文详解java泛型不变性导致的编译错误，并提供使用通配符`? extends parent`的正确解决方案，使`list
在Java中，泛型是不变的（invariant）——这意味着即使 Task1 是 Task 的子类，List<Task1> 也不是 List<Task> 的子类型。这是Java泛型设计的核心原则，旨在保障类型安全。因此，当你尝试将 List<Task1> 传给形参为 List<Task> 的方法时，编译器会拒绝，哪怕逻辑上看似合理：
// ❌ 编译失败：List<Task1> 不是 List<Task> 的子类型 stateMachine.startMultipleTasks(allTasks); // allTasks: List<Task1>
而 List.of(myTask) 能通过，是因为 List.of() 是泛型方法，其类型推断结果为 List<Task>（基于参数 myTask 向上转型为 Task），而非 List<Task1>。这属于编译期类型推导的“隐式提升”，并非绕过泛型规则。
✅ 正确解法：使用上界通配符（upper-bounded wildcard）
将方法签名从 List<Task> 改为 List<? extends Task>：
public class StateMachine {
public void startMultipleTasks(List<? extends Task> tasks) {
tasks.forEach(task -> task.setStatus(TaskStatusEnum.STARTED));
}
}这样修改后：
- ✅ List<Task1>、List<Task2>、甚至 List<Task> 本身均可传入；
- ✅ 方法体内可安全调用 Task 定义的所有读取方法（如 getStatus()、setStatus()），因为 ? extends Task 表示“某个未知的 Task 子类型”，所有实例都保证具备 Task 的公共契约；
- ⚠️ 但不可向该列表中添加任何元素（包括 null），因为编译器无法确定通配符具体代表哪个子类型，防止破坏类型安全（例如误插入 Task2 到本应只含 Task1 的列表）。
? 补充说明：若后续代码需对 List<Task1> 执行子类特有操作（如调用 Task1 独有的方法），请保留原始 List<Task1> 变量，仅将它传入 startMultipleTasks 方法即可——通配符仅影响方法参数声明，不影响调用方的变量类型：
立即学习“Java免费学习笔记（深入）”；
List<Task1> allTasks = List.of(new Task1(), new Task1()); stateMachine.startMultipleTasks(allTasks); // ✅ 编译通过 // 后续仍可安全使用 allTasks 作为 List<Task1> allTasks.forEach(task -> /* 调用 Task1 特有方法 */);
? 总结：
- 泛型不变性是Java的安全基石，不可忽视；
- List<? extends Parent> 是协变（covariant）场景的标准解法，适用于“只读”集合操作；
- 若需写入（如添加元素），则应使用 List<? super Child>（逆变）；
- 避免强制类型转换（如 (List<Task>) (List<?>) allTasks），这会绕过编译检查，引发运行时 ClassCastException 风险。
