Java局部变量类型推断：多类型赋值的困惑解析

问题场景 #

先看这段可正常编译运行的代码：

var i = true ? Integer.valueOf(1) : "ABC"; // 为什么能通过编译？
System.out.println(i instanceof Object); // 输出true
System.out.println(i instanceof Integer); // 输出true    
System.out.println(i instanceof String); // 输出false

System.out.println(i);  // 输出1
i = "haha";  // 编译通过，为什么能给看似Integer类型的变量赋值String？

System.out.println(i); // 输出"haha"

对比这段编译报错的代码：

var i2 = 10;
i2 = "lol"; // 编译错误：incompatible types: String cannot be converted to int

还有补充示例：

var x = new Random().nextBoolean() ? 33 : new File("/tmp/");  
System.out.println(x.getClass());
x = 5;
x = "wtf"; // 同样编译通过！

核心疑问：为什么看似被推断为Integer/File的变量，能接受String类型的赋值？变量的实际推断类型到底是什么？

原因解析 #

1. var的类型推断依赖于初始化表达式的编译时类型 #

var的类型是编译器根据变量初始化时的表达式类型推断出来的编译时类型，而非运行时实际赋值的对象类型。

2. 三元运算符的类型提升规则 #

三元条件运算符?:会对两个分支的类型做统一处理：

• 若两个分支类型存在继承关系，结果类型为父类类型；
• 若两个分支无直接继承关系，结果类型为它们的最小公共超类型。

回到第一个例子：

• Integer.valueOf(1)的类型是Integer，"ABC"的类型是String；
• Integer和String的最小公共超类型是Object；
• 因此整个三元表达式的编译时类型是Object，var推断出的变量i的编译时类型就是Object。

3. 编译时类型 vs 运行时类型的区别 #

• 编译时类型：编译器做类型检查的依据，只要赋值的对象是该类型的子类，编译就会通过。比如i的编译时类型是Object，所以可以赋值任何Object的子类（Integer、String、File等）；
• 运行时类型：变量实际指向的对象类型，i instanceof Integer输出true只是因为运行时i指向了Integer对象，赋值"haha"后，运行时类型就变成了String。

对比报错的代码：
var i2 = 10;中，10是int基本类型，var推断出的编译时类型是int，String和int无兼容关系，所以赋值"lol"会编译报错。

4. 补充示例的解释 #

new Random().nextBoolean() ? 33 : new File("/tmp/")中：

• 33会自动装箱为Integer，new File(...)是File类型；
• Integer和File的最小公共超类型是Object，所以x的编译时类型是Object；
• 因此后续赋值Integer（5自动装箱）、String都是合法的，因为都是Object的子类；
• x.getClass()输出的是运行时实际对象的类型，取决于三元分支的执行结果，但这不影响编译时的类型检查。

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