无法访问的代码毫无意义,因此编译时错误会有所帮助。如您所料,在第二个示例中不会检测到它的原因是出于
测试/调试的目的。在规范中对此进行了解释:
if (false) { x=3; }不会导致编译时错误。优化的编译器可能会意识到
语句x = 3; 永远不会执行,可以选择
从生成的类文件中省略该语句的代码,但是语句
x = 3; 从此处指定的技术意义上讲,它不被视为“无法到达”。
这种不同处理的基本原理是允许程序员定义
“标志变量”,例如:
static final boolean DEBUG = false;and then write pre 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



