无法到达的代码编译器错误

Question

以下代码给出了unreachable statement编译器错误

public static void main(String[] args) {
    return;
    System.out.println("unreachable");
}

有时出于测试目的，希望防止某个方法被调用，因此一种快速执行此方法（而不是在使用
该方法的位置处将其注释掉）的方法是立即从该方法返回，以便该方法不执行任何操作。然后，我总是做些什么来解决编译器错误，这是

public static void main(String[] args) {
    if (true) {
        return;
    }
    System.out.println("unreachable");
}

我很好奇，为什么会出现编译器错误？它会以某种方式破坏Java字节码，是为了保护程序员还是其他？

同样（这对我来说更有趣），如果将Java编译为字节码可以进行任何类型的优化（甚至没有这样做），那么为什么
在第二个示例中它为什么不能检测到公然的无法访问的代码呢？检查语句是否不可访问的编译器伪代码是什么？

Answer 1

无法访问的代码毫无意义，因此编译时错误会有所帮助。如您所料，在第二个示例中不会检测到它的原因是出于
测试/调试的目的。在规范中对此进行了解释：

if (false) { x=3; }

不会导致编译时错误。优化的编译器可能会意识到
语句x = 3; 永远不会执行，可以选择
从生成的类文件中省略该语句的代码，但是语句
x = 3; 从此处指定的技术意义上讲，它不被视为“无法到达”。

这种不同处理的基本原理是允许程序员定义
“标志变量”，例如：

static final boolean DEBUG = false;

and then write code such as:

if (DEBUG) { x=3; }

这个想法是应该可以将DEBUG的值从
false 更改为true或从true更改为false，然后正确编译代码，而
无需对程序文本进行其他更改。
Reference:
http://docs.oracle.com/javase/specs/jls/se8/html/jls-14.html#jls-14.21