Java循环中var关键字的类型推断：为何推断为int而非long？

好问题！这其实涉及到Java编译器处理var类型推断时的核心规则，咱们一步步拆解你例子里的逻辑：

1. 初始化表达式是类型推断的核心依据 #

Java中var的类型推断完全基于变量声明时的初始化表达式，而不是后续的代码上下文。在你的循环里：

for(var i=0; i<100; i++) { ... }

初始化部分的0是一个int类型的字面量——Java语言规定，整数字面量默认的编译时类型就是int（只有加L/l后缀时才会被识别为long）。所以编译器第一步就会把i的类型锁定为int。

2. 后续循环代码仅做兼容性验证，不改变推断结果 #

循环条件i<100和增量操作i++，只是用来验证int类型是否能合法执行这些操作：

• 100同样是int字面量，int和int的比较完全合法；
• i++是int类型的自增操作，语法上完全兼容。

编译器不会因为后续代码可能兼容更大的类型（比如long）就主动提升i的类型——Java的类型推断遵循最小适配原则，只会选择初始化表达式对应的最精确类型。

3. 什么时候会推断为long？ #

如果想让i被推断为long，只需要修改初始化表达式的类型即可：

// 初始化用long字面量，i会被推断为long
for(var i=0L; i<100; i++) { ... }

// 初始化表达式的结果是long类型，i也会是long
long max = 100;
for(var i=0 + max; i<100; i++) { ... }

哪怕循环条件里用了long类型的值，比如i < 100L，i依然会是int——因为int可以自动向上转型为long，编译器只会验证这种转型的合法性，不会反向修改i的原始推断类型。

内容的提问来源于stack exchange，提问作者implssv