为什么Java求最大值代码中else if与else分支运行表现存在差异？

你遇到的java: variable max might not have been initialized属于编译期错误，是Java的静态语法检查机制触发的，本质和Java的*明确赋值（Definite Assignment）*规则有关：

• Java要求方法内的局部变量在被读取使用前，必须在所有可能的执行路径下都完成初始化，编译器不会对分支条件的逻辑覆盖性做额外的语义推导。

第一版代码报错的原因 #

if(a>=b && a>=c) {
    max = a;

} else if (b>=a && b>=c) {
    max = b;

} else if (c>=a && c>=b) {
    max = c;
}
System.out.println(max);

哪怕从逻辑上看，三个>=的判断条件已经覆盖了三个整数所有的大小比较场景，编译器也不会去验证这个逻辑覆盖性，它只会判定存在所有if条件都不满足的执行路径，这种路径下max没有被赋值，你后续打印max的操作就违反了明确赋值规则，因此编译失败。

第二版代码可正常运行的原因 #

if(a>=b && a>=c) {
    max = a;

} else if (b>=a && b>=c) {
    max = b;

} else {
    max = c;
}
System.out.println(max);

你把最后一个else if改成了else分支，else的语义就是前面所有条件不满足时一定会进入的兜底分支，编译器可以确定不管走哪条执行路径，max都会被赋值，因此可以正常编译运行。

额外说明：如果你不想调整分支结构，也可以在声明max变量时直接赋予初始值，也能通过编译检查，比如int max = Integer.MIN_VALUE;

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