为什么Java编译器不会为不可访问的then语句生成不可访问的语句错误？

Question

如果我尝试编译

for(;;)
{

}
System.out.println("End");

Java编译器会产生一个错误，说Unreacable语句。但是如果我添加另一个“unreacable”（根据我的说法）中断语句并使其：

for(;;)
{
    if(false) break;
}
System.out.println("End");

它可以编译。为什么不产生错误？

Answer 1

来自JLS

如果以下至少一项为真，则if-then语句可以正常完成：

因此，如果（false），则允许。

这种“有条件编译”的能力对二进制兼容性有着重要的影响，并与之相关。如果编译了一组使用这种“flag”变量的类，并且省略了条件代码，那么以后仅分发包含该标志定义的类或接口的新版本是不够的。因此，对标志值的更改与先前存在的二进制文件不兼容。（这种不兼容性还有其他原因，例如在switch语句的case标签中使用常量；）

Answer 2

匿名用户

正如我在回答一个类似问题时所解释的，特定的构造if（编译时false）作为显式后门不受不可访问性规则的约束。在这种情况下，编译器会因此将您的中断视为可访问的。

Answer 3

该行为在JLS对无法访问语句的描述中定义：

如果可以访问if-then语句，则可以访问then语句。

因此，编译器确定then语句（break；）是可访问的，而不管if中的条件如何。

再进一步强调一下我的：

如果以下至少一项为真，基本的for语句可以正常完成：

• for语句是可访问的，有一个条件表达式，条件表达式不是值为true的常量表达式（§15.28）
• 有一个可访问的break语句退出for语句

因此for可以正常完成，因为then语句包含一个break。正如您所注意到的，如果将“中断”替换为“返回”，则它将不起作用。

基本原理将在本节末尾解释。实质上，if有一种特殊的处理方法，允许构造如下：

if(DEBUG) { ... }

其中DEBUG可能是编译时常量。