循环时无法到达的代码

Question

当我编译代码的时候

public static void main(String [] args) {

        int x = 0;        

        while(false)
        {                        
            System.out.println(hello);
        }
    }

它显示编译时错误无法到达的代码。

但是当我把代码修改成

public static void main(String [] args) {

        int x = 0;        
        boolean result = false;
        while(result)
        {                        
            x=4;
        }
    }

很好用。

谁能告诉我这种行为背后的原因吗。

Answer 1

编译器的行为在Java语言规范第14.21节中有明确规定。遥不可及的陈述。

这里有一个关键的报价，它直接回答了你的问题：

本节专门对“可达”一词进行精确解释其思想是，从包含语句的构造函数、方法、实例初始值设定项或静态初始值设定项的开头到语句本身，必须有一些可能的执行路径。分析考虑了报表的结构。除了对while、do和条件表达式具有常数值true的语句进行特殊处理外，在流分析中不考虑表达式的值。

Answer 2

在下面的语句中使用常量false

  while(false)

在编译时被解析为false，因此编译器抱怨无法访问代码。

但是当你使用一个变量时：

    boolean result = false;
    while(result)

编译器在编译时不确定它的值，因此不会抱怨。

Answer 3

这是因为boolean结果=false不是常量表达式，而false是。如果您尝试下面的代码，它也不会编译，因为结果现在是常量：

final boolean result = false;
while(result) { x=4; }

然而，这将被编译，因为result不再是常量变量：

final boolean result;
result = false;
while(result) { x=4; }

另请参见：为什么Java编译器不理解这个变量总是初始化的？进行类似的讨论。