可能重复:
为什么这个代码给人一种“不可达的声明”的错误?
这看起来很简单的问题,我发现这个问题在一本书。 如果有人帮我弄清楚为什么我收到提示。
do {
System.out.print("inside do");
} while (false);
while (false) { // error
System.out.print("inside while");
}
System.out.print("outside");
我认为,根据我的,输出应该是里面dooutside。 但是,它显示编译器错误:无法访问声明 。 然后,我想弄明白,为什么,它显示编译错误:无法访问声明*。 所以,我改变了上面这样的代码
boolean i = false;
do {
System.out.print("inside do");
} while (false);
while (i) { // ok
System.out.print("inside while");
}
System.out.print("outside");
现在,它正显示出,即内部dooutside预期输出。 所以,我的问题是 - 什么使在第一和第二种情况区别? 此外,当我检查
if(false){
//something here
}
然后,上述代码的执行没有任何错误。
前两个实施例之间的主要区别在于,在第一种情况下,条件是恒定的,而在第二个事实并非如此。
例如,如果你改变boolean i = false;
成final boolean i = false;
,你会得到相同的编译错误,因为我现在是一个常数。
无法访问的语句的规则中定义JLS 14.21 。 尤其是,存在一个特殊的治疗if
允许if(DEBUG)
结构,其中DEBUG
可能是一个常数。
对于do / while
,因此不存在问题,里面的语句会被执行一次。
有关常量更多细节此相关的帖子 。
编译器给你一个无法语句错误,因为你System.out.print("inside while");
代码可以从不到达
while (false) { // error
System.out.print("inside while");
}
编译器知道while (false)
将永远是真实的,并警告你(有错误),有关死代码。
相反,如果你把一个变量中while
不是,因为变量的本质是,它可以改变 (改变),编译器的静态分析不标识可达代码。 (即使在很多情况下,你或者我可以看着它说:“这些代码永远不会运行”;编译器的分析是相当浅,这不是它的主要工作有更强壮的分析和代码覆盖工具,你可以使用。)
在问候if (false)
,下面介绍一下JLS不得不说一下吧 :
作为一个例子,下面的语句导致编译时错误:
while (false) { x=3; }
因为语句x=3
; 不可达; 但表面上相似的情况:
if (false) { x=3; }
不会导致编译时错误。 优化编译器可实现该语句x=3;
将永远不会被执行,并且可以选择省略用于从所生成的类文件语句的代码,但声明x=3;
在这里指定的技术意义上是不被视为“无法访问”。
这种区别对待的理由是让程序员定义“标志变量”,如:
static final boolean DEBUG = false;
然后写代码,例如:
if (DEBUG) { x=3; }
我们的想法是,它应该是可能的值更改DEBUG
从假到真或从真到假,然后用无其他修改程序文本正确编译代码。