本文解析为何 testPairEmployee(new Pair(new Manager(), new Manager())) 能成功编译运行，而显式强制转换 (Pair)new Pair(...) 却报错——核心在于 Java 的目标类型推断（target-type inference） 机制，而非泛型协变（Java 中泛型本身是不变的）。
本文解析为何 testpairemployee(new pair(new manager(), new manager())) 能成功编译运行，而显式强制转换 (pair<employee>)new pair(...)</employee> 却报错——核心在于 java 的目标类型推断（target-type inference） 机制，而非泛型协变（java 中泛型本身是不变的）。
在 Java 中，泛型类（如 Pair<t></t>）默认是不变（invariant） 的：Pair<manager></manager> 与 Pair<employee></employee> 之间不存在继承关系，即使 Manager 是 Employee 的子类。因此，以下代码会编译失败：
// ❌ 编译错误：Pair<Manager> cannot be converted to Pair<Employee> testPairEmployee(new Pair<Manager>(new Manager(), new Manager()));
但原始代码却能通过：
testPairEmployee(new Pair<>(new Manager(), new Manager())); // ✅ 成功
其关键原因在于：方法调用上下文触发了“目标类型推断”（target-type inference）。当编译器解析 testPairEmployee(...) 调用时，它会以形参类型 Pair<employee></employee> 作为“目标类型”，反向指导泛型构造器 new Pair(...) 的类型参数推断——即：T 被推断为 Employee，而非根据实参 Manager 自行推断为 Manager。
可通过 JDK 20+ 的调试标志验证这一过程：
立即学习“Java免费学习笔记（深入）”；
javac --debug=verboseResolution=all Test.java
输出中明确显示：
with actuals: Pair<Employee> // 实际传入的参数类型被推断为 Pair<Employee>
⚠️ 注意：这不是协变（covariance），Java 泛型不支持协变赋值（Pair<manager></manager> ≠ Pair<employee></employee>）。此处的“适配”完全由编译器在方法调用点动态推断完成，属于表达式级的类型推断优化。
相比之下，显式强制转换失败的根本原因在于：类型转换表达式不是“poly expression”（多态表达式）。根据 JLS §15.12，强制转换不会参与目标类型推断。因此：
(Pair<Employee>) new Pair<>(new Manager(), new Manager()) // ↑ 编译器先独立推断 new Pair<>(...) → Pair<Manager> // ↑ 再尝试将 Pair<Manager> 强转为 Pair<Employee> → 违反不变性 → 编译错误
✅ 正确实践建议：
- 依赖方法/构造器调用的目标类型推断，而非手动 cast；
- 若需显式指定类型，应直接使用目标类型参数：
new Pair<employee>(...)</employee>； - 理解
Pair>或通配符（如Pair extends Employee>）可实现安全的只读协变访问，但需配合extends边界与受限操作。
总之，该现象体现了 Java 类型系统中“推断优先于实参驱动”的设计哲学——它提升了 API 的易用性，但绝不改变泛型不变的本质。
