Java泛型类型推断从JDK7钻石操作符开始，JDK8增强支持方法调用与Lambda参数推断，JDK10+结合var提升局部变量推断能力，但依赖明确上下文，构造器单独使用或嵌套过深时会失败。
Java 泛型类型推断从 JDK 7 开始引入，核心目标是减少重复书写泛型参数带来的冗余，让代码更简洁、可读性更高。它不是“猜类型”，而是编译器根据左侧变量声明的泛型信息，自动补全右侧构造器中的类型参数。
JDK 7 的钻石操作符（）用法
这是最基础也最常用的类型推断场景，仅适用于构造器调用且上下文类型明确的情况：
- 写法：用 替代完整泛型参数，如
new HashMap()，而非new HashMap<string integer>()</string> - 前提：左侧变量必须已声明具体泛型类型，例如
Map<string integer> map = new HashMap();</string> - 注意：
new HashMap()（无尖括号）是原始类型，会触发编译警告；只有带 才启用推断 - 适用范围：所有 JDK 5+ 引入泛型的集合类（
ArrayList、LinkedList、HashSet、TreeMap等）都支持
JDK 8 起增强的推断能力
JDK 8 放宽了限制，开始支持方法调用上下文中的泛型推断，尤其是涉及泛型方法和目标类型（target typing）的场景：
- 可推断方法返回值泛型：例如
Stream.of("a", "b", "c")自动推为Stream<string></string> - 可推断 Lambda 表达式参数类型：如
list.sort(Comparator.comparing(s -> s.length()))中，s被推为String - 支持链式调用中的嵌套推断：例如
Optional.ofNullable(user).map(User::getName).orElse("N/A")各环节类型连贯推导
JDK 10+ 局部变量类型推断（var）与泛型协同
虽然 var 本身不是泛型特性，但它与泛型推断配合使用时效果显著：
立即学习“Java免费学习笔记（深入）”；
-
var list = new ArrayList<string>();</string>→list类型为ArrayList<string></string>，后续add()、get()都按String处理 - 但
var map = new HashMap();不合法 —— 编译器无法从空推出键值类型，必须显式写new HashMap<string integer>()</string>或用左侧声明（如Map<string integer> map = new HashMap();</string>） - 推荐组合：先用明确泛型声明变量，再用
var接收方法返回值，例如var entries = map.entrySet();→ 推为Set<map.entry integer>></map.entry>
哪些情况推断会失败？
类型推断依赖清晰的上下文，以下常见情形无法自动完成：
- 构造器单独使用：如
return new ArrayList();（无返回类型声明或方法签名未限定泛型） - 泛型嵌套过深且无提示：如
new ArrayList<list>>()</list>在 JDK 7 中不能简写为new ArrayList()，需写全或借助变量声明引导 - 方法重载导致歧义：多个泛型方法签名相似时，编译器可能无法唯一确定目标方法
- 使用原始类型或未指定泛型的父类引用：如
List list = new ArrayList();→ 推断失效，list实际为原始类型
