当使用 var 声明调用无参数泛型方法（如 Set create()）的变量时，Java 编译器会基于方法签名的约束条件（而非赋值上下文）推断出最具体的可行类型——通常是 Object，而非未指定的类型变量。

当使用 `var` 声明调用无参数泛型方法（如 ` set create()`）的变量时，java 编译器会基于方法签名的约束条件（而非赋值上下文）推断出最具体的可行类型——通常是 `object`，而非未指定的类型变量。

在 Java 10 引入 var 关键字后，局部变量类型推断成为常见实践。但其推断逻辑与传统赋值式类型推导（如 Set nums = create();）有本质区别：var 不依赖左侧目标类型（target type），而是完全基于初始化表达式自身的“独立求值结果”进行向上投影（upward projection）。

以如下泛型方法为例：

private <T> Set<T> create() {
    return new HashSet<>();
}

当写作：

var numbers = create();

编译器不会等待“期望什么类型”，而是将 create() 视为一个独立表达式来分析其返回类型。根据 JLS §15.12.2.6 和 §18.5.2，由于该方法无实参、未显式指定类型参数（如 create()），且泛型形参 T 仅声明为 （即隐含上界 T extends Object），此时唯一可用的类型约束是 T <: object bounds>最小上界（least upper bound, LUB）；而单一下界 Object 的 LUB 就是 Object 本身。因此，create() 被推断为 Set

立即学习“Java免费学习笔记（深入）”；

Java注释规范Skills

当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。

下载

可通过编译器调试选项验证：

javac --debug=verboseResolution=all MyTest.java

输出中会明确显示：

(partially instantiated to: ()Set<Object>)
instantiated signature: ()Set<Object>
target-type: <none>

其中 target-type: 正印证了 var 推断不依赖目标类型。

⚠️ 注意事项：

• var numbers = create(); 等价于 Set
• 若需特定类型（如 Set），必须显式提供类型参数：var strings = create();；
• var 无法推断出比 Object 更具体的类型，除非方法签名中添加了更严格的上界（如 ），此时 LUB 将基于该上界计算；
• 该行为与 lambda 或方法引用等“poly expressions”不同——var 初始化中的普通方法调用不属于多态表达式，不参与目标类型驱动的重载解析。

总结：var 的类型推断是表达式驱动、自包含、无上下文依赖的过程。对于无参泛型方法，若未限定类型参数范围，Java 总会退回到最宽泛但合法的类型——Object。理解这一机制，有助于避免因隐式 Set