java泛型方法类型推断依赖上下文线索，关键在于提供清晰信号：实参类型、目标类型、lambda形参及自类型场景需显式标注以确保准确推断。
Java 泛型方法的类型推断不是自动“全知”的，它依赖上下文线索来判断类型参数。用得好能省掉冗余写法，用得不好会编译失败或类型不精确。关键不在“能不能推”，而在于“怎么给编译器足够清晰的信号”。
让实参说话：利用字面量和具体值触发推断
编译器最擅长从非 null 的实参中提取类型信息。只要传入的参数有明确类型，泛型方法通常能自动匹配。
-
字符串字面量直接推 String：`Arrays.asList("a", "b")` → 编译器知道是 `List
`，不用写 ` ` -
数字字面量配合目标类型更稳：`Optional.of(42)` 单独调用可能推成 `Optional
`，但如果左边是 `Optional opt = Optional.of(42);`，就会因目标类型冲突报错；稳妥写法是 `Optional.of(42L)` 或显式写 ` ` -
null 值必须显式标注：`foo(null)` 无法推断，必须写成 `foo
(null)`，否则编译不通过
靠目标类型锚定：变量声明就是最强提示
当你把泛型方法的返回值赋给一个带泛型的变量时，编译器会以该变量的类型为“目标类型”，反向确定泛型参数。
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
-
赋值即推断：`List
list = Collections.singletonList(3.14);` → 左边 `List ` 明确告诉编译器 `T = Double` -
链式调用中别断掉线索：`Stream.of("x", "y").map(String::length).collect(Collectors.toList())` 能推成功，是因为 `Stream.of(...)` 的实参先确定了 `Stream
`，后续操作顺延推导；如果中间插入一个无类型上下文的操作（比如存到 `Object` 变量），推断链就断了
Lambda 和方法引用要配对形参与返回值
泛型方法若接受函数式接口（如 `Function
- 形参类型优先：`list.stream().filter(s -> s.length() > 0)` 中，`s` 的类型由 `list` 的元素类型（如 `String`）决定，再反推 `filter` 的泛型参数
-
避免模糊签名：如果重载了多个 `process(Function
)` 和 `process(Predicate )`，且传入 `x -> x != null`，编译器可能无法区分是 `Function` 还是 `Predicate`，此时需显式转型或指定类型参数
自类型（Self-Type）场景必须显式标注
当泛型方法返回 `SELF extends Parent
-
不写就报错：`template.
method().apply(this)` 是标准解法，` ` 必须紧挨方法名前，不能省略 -
不是语法糖，是必要引导：这不是为了“提醒编译器”，而是提供唯一可行的类型实例化路径；不加 `<...>`，编译器找不到满足 `SELF extends AbstractSelfType
` 的解
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
