有关无法访问的语句错误的问题

Question

给出这段代码，其中包含一个类TestClass及其方法loopTest（）.这是我们的主要关注点：

public class TestClass{
   public void loopTest(){
      int x = 0;
      loop: for (int i = 1; i < 5; i++){
         for (int j = 1; j < 5; j++){
            System.out.println(i);
            if (x == 0) {  continue loop;  }
            System.out.println(j);
         }
      }
   }
}

在IntelliJ IDEA中运行此代码不会返回任何编译错误，但会成功返回输出。我的问题是：为什么这不是一个不可达的语句？

删除if（x==0）语句后运行循环（但保留继续循环；如下所示：

loop: for (int i = 1; i < 5; i++){
         for (int j = 1; j < 5; j++){
            System.out.println(i);
            continue loop;
            System.out.println(j);
         }
      }

（...)会返回这样的错误，因为最后的< code>sout永远不会被打印出来。为什么第一种情况也不会出现这种情况？我确信这不是运行时的问题，因为编译器肯定看到整数< code>x在方法开始时被初始化，但是循环不会到达第二条语句。

Answer 1

这是因为编译器对分析的深度有限制。

if (false) System.out.println("never");

很好，例如，因为没有检查这些条件。编译器假设条件可以为真，即使这在实践中是不可能的。

无条件的< code>continue 、< code>return 、< code>break之后的代码被认为是不可访问的，无需进一步分析。

较新的语言可以做这种分析，我认为像SonarLint这样的工具也可以找到。即使是运行时的Java也可能会优化代码，但我想Java形式化时静态代码分析的年龄/状态是造成这种行为的原因。

if（false）技巧也是一种相当常见的禁用代码进行快速测试的方法，因此现在添加它可能会破坏很多代码，我想这不太可能作为语言/编译器功能添加，尽管现在它完全可行。