面经策

var 局部变量类型推断的适用范围和限制是什么？ ​

  • 标签：Java、新特性

🏛 业务架构师 ​

var（JDK 10）局部变量类型推断：var order = service.create(req);——编译器推断类型，var 只能用于局部变量。

适用范围：

  • 方法内局部变量声明（含 for、try-with-resources）；
  • 右侧类型明确时收益最大（构造器泛型 var list = new ArrayList<String>() 省去左侧重复）。

限制（不能用的场景）：

  1. 成员变量、方法参数、返回值——API 签名必须显式类型（契约要清晰）；
  2. 无初始化器的声明 var x;、初始化为 null（推不出来）；
  3. Lambda 与方法引用目标 var f = () -> {}（缺上下文类型）；
  4. 数组初始化 var a = {1,2}；
  5. var 不是关键字（是保留类型名），可以继续用作变量名，但别这么干。

我团队的使用纪律（业务视角）：

  • 何时用：右侧已明示类型（new 表达式、工厂方法返回具体类型）、泛型嵌套冗长（Map<String, List<OrderDetail>> details = new HashMap<>() 这种 var 价值拉满）；
  • 何时禁用：右侧是接口方法调用、返回类型不直观时（var user = process(req)——user 是 User 还是 UserDTO？读者要跳转才知道）——可读性优先于简洁，var 是为消除"无信息的类型噪音"，不是为隐藏"有信息的类型契约"；
  • IDE 辅助：开 "var 只在显式类型时提示"类检查。

一句话：var 是排版优化不是设计工具，用它让代码焦点落在业务逻辑上；当类型本身承载信息时，老老实实写全名。

🏗 系统架构师 ​

var（JDK 10）= 局部变量的类型推断：var list = new ArrayList<String>(); 编译器从右侧表达式推断类型——编译期确定、静态类型不变，不是动态类型。

适用范围：

  • 仅限：局部变量（方法体内）、for 循环变量（含增强 for）、try-with-resources 资源变量；
  • 不适用：方法参数、返回类型、字段、catch 参数、初始化为 null 或 lambda 的场景（var f = () -> {} 推断不了目标类型）。

限制与纪律（架构师的代码规范视角）：

  • 右側必须有明确初始化类型：var x = null; 非法；var list = List.of(); 推成 List<Object>（钻石推断陷阱）；
  • 可读性优先原则：var 的价值在"消除冗余"（URL url = new URL(...) → 构造器已声明类型，重复无益），代价是"隐藏类型"——右侧信息量不足时禁用：方法返回值（var user = service.find(); 看不出类型，禁）、强制转换（var s = (String) obj; 禁）、链式调用中间变量（优先显式）；
  • 泛型场景注意推断结果：var list = new ArrayList<>(); 推成 ArrayList<Object>——需显式 new ArrayList<String>()；
  • var 不是 var（JavaScript）也不是 val（不可变）——要不可变显式 final var。

我的团队规范：构造器直接赋值、工厂方法名含类型语义（List.copyOf）、泛型嵌套过长时用 var；其余场景显式类型——类型是文档，var 只在文档冗余处省略。

💻 全栈开发专家 ​

适用范围（可以用 var 的地方）：

  • 局部变量（方法内、init 块）：var list = new ArrayList<String>();
  • for 循环（传统 for 和 for-each）；
  • try-with-resources 的资源变量。

限制（不能用 var 的地方，全是编译错误）：

  1. 类字段、方法参数、返回类型——接口契约必须显式类型；
  2. 初始化为 null：var x = null;（推不出来）；
  3. lambda 和方法引用：var f = () -> {} 不行（Supplier<Void> f = () -> null 可以，var 替代不了左侧目标类型推断的职责）；
  4. 数组初始化语法：var a = {1,2,3}; 不行（要用 new int[]{...}）；
  5. var 不是关键字是保留类型名——可以当变量名（但别这么干）。

使用规范（团队 code review 的实战约定）：

  • 右侧信息量足才用 var：var user = userService.load(id) 好；var result = process(input) 烂（process 返回什么？）——「读右边能立刻知道类型」是底线；
  • 泛型钻石配合：var map = new HashMap<String, List<Order>>(); 右侧完整泛型，可读性最佳；
  • 解耦别用：链式调用中间变量、三元表达式结果（两边类型可能不同，推断出公共父类造成意外）、数值字面量（var x = 1 是 int，想 long 要 1L——隐式截断陷阱）。

一句话：var 是「消除冗余」不是「隐藏类型」——当类型名提供信息时（接口多态、数值类型），老老实实写显式类型。