Java在if语句中初始化final boolean变量提示未初始化问题

• 根本原因是Java对局部变量的*明确赋值（Definite Assignment）*强制规则：局部变量在被读取前，必须在所有可能的执行路径上都完成赋值，否则编译器会直接抛出未初始化错误。
• 你的代码中final boolean leapYear是局部变量，仅在if(year%4==0)的成立分支中做了赋值，若条件不成立、该分支不执行，leapYear就没有完成初始化，后续第二个if读取该变量时就触发了编译错误。

补充：即使你去掉final修饰，该代码依然会报相同的未初始化错误，final的作用仅是限制该变量只能被赋值一次，不影响初始化检查规则。

• 额外问题：原有闰年判断逻辑不完整，正确的闰年判定规则是：能被4整除且不能被100整除，或者能被400整除，仅判断year%4==0会把1900年这类非闰年误判为闰年。

修复方案 #

方案1：单语句直接赋值（推荐） #

直接在声明leapYear时通过逻辑表达式完成一次性赋值，既符合final变量的赋值规则，也覆盖所有执行路径：

public class LeapYear {
    public static void main(String[] args) {
        int year = 1600 + (int)(Math.random() * 500);
        // 直接通过逻辑表达式完成final变量的唯一赋值
        final boolean leapYear = (year % 4 == 0 && year % 100 != 0) || (year % 400 == 0);

        if (leapYear){
            System.out.println(year + " leap");
        } else {
            System.out.println(year + " notleap");
        }
    }
}

方案2：补全if-else分支覆盖所有赋值场景 #

如果要分支赋值，必须补全else分支，保证无论条件是否成立，leapYear都能被赋值一次：

final boolean leapYear;
if((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)){
    leapYear = true;
}else{
    // 覆盖条件不成立的分支赋值
    leapYear = false;
}

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