如何依据JLS规范判断Java变量是否已确定赋值？

代码示例 #

示例A（编译失败） #

class A {
    public static void main(String[] args) {        
        int n=5;
        int k;
        while(n<6) {
            k=5;
            break;
        }
        System.out.println(k);
    }
}

示例B（编译成功） #

class B {
    public static void main(String[] args) {                
        int k;
        while(true) {
            k=5;
            break;
        }
        System.out.println(k);
    }
}

依据JLS确定赋值规则的分析 #

JLS第16章定义了确定赋值的规则，其中针对while语句的规则（16.2.10）和break语句的规则（16.2.11）是判断这两个示例的核心依据：

示例A的判定逻辑 #

• 进入while(n<6)前，变量k处于未确定赋值状态。
• 循环条件n<6不是布尔常量表达式（n是变量，即便运行时值为true，编译期也无法判定它恒为true）。根据规则，循环体执行前的状态是「条件表达式计算后、判定为true时」的状态——此时k仍未被赋值。
• 编译器无法保证循环体一定会执行（比如若n被修改为≥6，循环就不会进入），因此while语句结束后，k仍处于未确定赋值状态，后续调用System.out.println(k)会触发编译错误。

示例B的判定逻辑 #

• 进入while(true)前，k处于未确定赋值状态。
• 循环条件true是布尔常量表达式且值为true，根据规则，编译器可以确定循环体至少会执行一次，循环体执行前的状态等同于进入while语句前的状态。
• 进入循环体后，k被赋值为5，此时k变为已确定赋值状态。随后执行break语句，根据break的规则：跳转后（即while语句之后）的代码继承break执行前的确定赋值状态——也就是k已完成赋值的状态。
• 因此，while语句结束后，k处于已确定赋值状态，后续打印语句可以正常编译。

关键区别总结 #

• 示例A的循环条件是变量表达式，编译期无法确保循环体必然执行，k存在未被赋值的可能性。
• 示例B的循环条件是常量true，编译期可确定循环体至少执行一次，且break确保赋值完成后跳出循环，k必然被赋值。

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