Java泛型方法类型推断在JDK 7–8仅支持单层目标类型推断，JDK 9–10增强跨方法链式推断与lambda反向推断，JDK 11+优化约束求解并提升错误提示精度。
Java 泛型方法的类型推断（Type Inference）在不同 JDK 版本中确实存在行为差异，尤其从 JDK 7 到 JDK 10+，JLS（Java 语言规范）和 javac 实现经历了多次增强与修正。核心变化集中在“目标类型”（target type）参与推断的程度、嵌套泛型调用的支持，以及对 lambda 和方法引用的兼容性上。
JDK 7–8：基础推断，依赖显式上下文
早期版本主要依赖调用处的赋值目标类型或参数类型进行单层推断。例如：
List<String> list = Arrays.asList("a", "b"); // JDK 7 能推断出 String
但遇到嵌套时容易失败：
Map<String, List<Integer>> map = new HashMap<>(); // JDK 7 不支持 Diamond 操作符用于泛型方法返回值
- 泛型方法如
<T> T identity(T t)在无目标类型时（如单独调用identity("s")），仍可推断为String - 若参数含通配符或需多约束（如同时满足
Comparable<T>和Serializable），常推断为Object或报错 - 不支持将 lambda 表达式作为泛型方法参数进行类型回传推断（如
stream().map(x -> x.toString())中的T推断受限）
JDK 9–10：增强的目标类型驱动推断（JEP 286 & JEP 301）
引入“改进的类型推断”（Improved Type Inference），关键改进是让编译器更积极地利用目标类型向泛型方法内部“传播”约束。
- 支持链式调用中的跨方法推断：如
Stream.of(1,2).map(Object::toString).collect(Collectors.toList())中，map的返回类型能影响collect对T的推断 - Diamond 操作符扩展至更多场景，包括泛型构造器调用（
new ArrayList<>()）、泛型方法返回值赋值等 - lambda 形参类型可反向参与外层泛型方法的类型变量求解，例如：
Optional.ofNullable(s).map(String::length)能正确推断map的U为Integer
JDK 11 及以后：更严格的约束求解与错误提示优化
基于 JEP 323（Local-Variable Syntax for Lambda Parameters）及后续编译器演进，类型推断逻辑更接近 JLS 第三版定义，尤其在处理交集类型（intersection types）和复杂边界时更稳定。
- 当多个类型参数存在依赖关系（如
<T extends Comparable<T>, U extends T>），JDK 11+ 更倾向于找到最具体的共同解，而非退化为Object - 对模糊推断（ambiguous inference）给出更明确的编译错误，指出哪个类型变量未被充分约束
- 在使用 var 声明局部变量时，泛型方法调用的推断结果会作为
var的实际类型，且该类型不可变（即var x = method();中x的类型由推断结果固化）
迁移建议与避坑点
跨 JDK 版本维护泛型代码时需注意：
- 避免依赖“过度推断”——在 JDK 8 下能编译的代码，在 JDK 11+ 可能因更严格约束而失败；反之，JDK 11+ 的某些推断在旧版中直接报错，应优先用显式类型参数（如
Utils.<String>doSomething(...)）提升兼容性 - 慎用嵌套泛型方法链，尤其含通配符（
? extends T）时，不同 JDK 对下界/上界传播策略略有差异 - 单元测试中建议在目标最低 JDK 上运行编译 + 运行时验证，因为推断发生在编译期，运行时无差别
