Java中if-else分支局部变量未初始化编译报错原因解析

Java规定局部变量在访问前必须完成初始化，这个检查在编译阶段执行。下面的代码片段2可以正常编译，但代码片段1却触发variable model might not have been initialized编译错误。从逻辑上看，代码片段1的条件已经覆盖了price的所有可能情况，model一定会被初始化，和代码片段2逻辑等价，为什么编译器还是报错？

代码片段1 #

double price = 90000;
String model;
if(price > 100000) {
    model = "Tesla Model X";
} else if(price <= 100000) {
    model = "Tesla Model S";
}
System.out.println(model);

代码片段2 #

double price = 90000;
String model;
if(price > 100000) {
    model = "Tesla Model X";
} else {
    model = "Tesla Model S";
}
System.out.println(model);

编译器判定未初始化的核心原因 #

Java编译器对局部变量初始化的检查是基于语法结构的静态分析，不会进行逻辑层面的推导：

• 对于代码片段2的if-else结构，编译器能明确识别出：所有执行路径要么进入if分支给model赋值，要么进入else分支赋值，不存在遗漏的路径，因此判定model一定被初始化。
• 对于代码片段1的if-else if结构，编译器的逻辑是：只要没有最后的else兜底，就默认存在所有else if条件都不成立的执行路径——哪怕从数学逻辑上你的条件已经覆盖了所有可能，编译器也不会去分析条件的完备性。它只会看语法结构：有没有一个必然会执行的分支来给变量赋值，而else if序列没有这样的保证。

哪怕你把代码片段1的else if条件写成price <= Double.MAX_VALUE，编译器依然会报错，因为它不会去判断这个条件是否覆盖了所有情况，只会认“没有else兜底就可能有未赋值路径”的语法规则。

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