Java泛型类型推断是编译期基于实参类型、目标类型和方法签名的逻辑收敛：实参类型优先确定T，目标类型校准结果，多参数协同约束收窄，推导失败则报错。
Java 泛型类型推断（Type Inference）是编译器自动确定泛型方法或构造器中类型参数的过程，不是运行时行为，也不改变字节码。面试中常考它“什么时候能推、什么时候不能推、为什么报错”，核心在于理解编译器如何结合上下文和约束条件做推理。
泛型方法调用时的类型推断规则
编译器会从实参类型、目标类型（如变量声明）、方法签名三方面综合判断。优先级通常是：实参类型 > 目标类型 > 返回值约束。
- 如果所有实参类型一致，T 就被推为该类型（
printArray(new String[]{"a","b"})→ T = String） - 如果实参含不同类型但有公共父类（如
Object），且无其他约束，T 推为Object - 当存在目标类型（如
List<String> list = Arrays.asList("x", "y")），编译器优先按目标类型反向约束 T - 若实参为
null，无法推断，必须显式指定（Util.<String>doSomething(null)）
菱形运算符（<>）与构造器推断
JDK 7 引入 <>，用于泛型类实例化时省略右侧类型。但它只适用于构造器调用，且要求左侧已有明确类型信息。
- ✅ 合法：
List<String> list = new ArrayList<>();（左侧已声明List<String>） - ❌ 非法：
var list = new ArrayList<>();（JDK 10+ 的var不提供类型上下文，编译失败） - ❌ 非法：
method(new ArrayList<>());（方法参数未声明泛型类型，无上下文可推）
常见推断失败场景及应对
类型推断不是万能的，尤其在多约束、通配符或泛型嵌套时容易失效。
立即学习“Java免费学习笔记（深入）”；
-
方法链式调用：如
foo().bar().baz()中，中间返回类型模糊，编译器无法跨步推断，需拆解或加显式类型 -
通配符参数：
void process(List<? extends Number> list)无法反向推断传入的ArrayList<Integer>中的 T，因为 ? 是不可变占位符 -
泛型数组创建：
new T[5]本身非法（类型擦除后无运行时信息），推断也无意义；应改用Arrays.asList()或带 Class 参数的工厂方法 -
lambda 表达式：当函数式接口含泛型（如
Function<String, Integer>），lambda 参数类型常需靠目标类型引导；否则可能报“无法推断类型”
面试答题关键点
回答时别只说“编译器自动猜”，要体现机制层级：
- 强调它是编译期静态分析，不依赖反射或运行时类信息
- 指出推断失败本质是类型约束不足（如缺少实参、目标类型模糊、存在歧义重载）
- 对比 JDK 版本演进：JDK 7 支持构造器推断；JDK 8 增强 lambda 和方法引用推断；JDK 10+ 的
var仅限局部变量，不参与泛型推断 - 举一个典型反例：为什么
Stream.of(null).map(x -> x.toString())编译失败？—— 因null无类型，Stream.of无法确定元素类型，进而map的输入类型未知
