Java泛型类型推断通过钻石操作符（<>）、var关键字、泛型方法调用及链式调用实现自动类型识别，提升简洁性与可读性，但需满足左侧声明明确、参数信息充分等条件。
Java 泛型的类型推断（Type Inference）能让编译器自动判断泛型参数类型，从而省去显式声明，让代码更简洁、可读性更高。从 Java 7 的“钻石操作符”（<>）开始，到 Java 10 的局部变量类型推断（var），再到 Java 11+ 对泛型方法调用的增强，类型推断能力持续提升。
用钻石操作符避免重复写泛型类型
创建泛型集合或对象时，右侧构造器中的类型常与左侧声明重复。使用 <> 可让编译器从左侧推断：
- ❌ 冗余写法：
Map<String, List<Integer>> map = new HashMap<String, List<Integer>>(); - ✅ 推断写法：
Map<String, List<Integer>> map = new HashMap<>();
注意：仅适用于构造器调用，且左侧必须有明确的泛型类型声明；不能用于匿名内部类或泛型数组初始化。
泛型方法调用时省略类型参数
当方法参数已携带足够类型信息，编译器能自动推断泛型方法的类型实参：
立即学习“Java免费学习笔记（深入）”；
- 比如
Collections.<String>singletonList("hello")可简写为Collections.singletonList("hello") - 自定义泛型方法同样适用：
<T> T first(List<T> list)，调用first(Arrays.asList(1, 2, 3))自动推断T = Integer
若参数不足以推断（如空集合、null），仍需显式指定，例如 Collections.<String>emptyList()。
用 var 配合泛型提升局部变量可读性
Java 10+ 支持 var 声明局部变量，编译器根据初始化表达式推断完整类型（含泛型）：
-
var list = new ArrayList<String>();→ 推断为ArrayList<String> -
var map = Map.of("a", 1, "b", 2);→ 推断为Map<String, Integer>
注意：var 不是动态类型，推断结果包含泛型信息，后续不可赋值不兼容类型；也不可用于字段、方法签名或返回值。
链式调用中类型推断的连贯性
在 Stream 或 Optional 等支持链式调用的泛型 API 中，类型会逐级传递：
Stream.of("a", "b").map(String::length).filter(x -> x > 0).findFirst()- 编译器依次推断：元素类型
String→map输出Integer→filter输入Integer→ 返回Optional<Integer>
只要起始数据源类型明确，整条链无需额外标注，大幅减少样板代码。
