问题
问题1:
为什么以下代码在没有return语句的情况下编译?
public int a() {
while(true);
}
注意:如果我在一段时间后添加返回,那么我得到aUnreachable Code Error。
问题2:
另一方面,为什么以下代码编译,
public int a() {
while(0 == 0);
}
即使以下没有。
public int a(int b) {
while(b == b);
}
#1 热门回答(272 赞)
问题1:为什么以下代码在没有return语句的情况下编译? public int a()
{
而(真);
}
如果声明方法具有返回类型(第8.4.5节),则如果方法体可以正常完成(第14.1节),则会发生编译时错误。换句话说,具有返回类型的方法必须仅使用提供值返回的return语句返回;该方法不允许"掉落其身体的末端"。有关方法体中返回语句的准确规则,请参见§14.17。方法可能具有返回类型但不包含return语句。这是一个例子:class DizzyDean {
int pitch(){throw new RuntimeException("90 mph?!"); }
}
由于编译器知道循环永远不会终止(当然,true总是为真),它知道函数不能"正常返回"(掉落它的主体的末尾),因此可以没有return。
问题2:另一方面,为什么以下代码编译,public int a()
{
而(0 == 0);
}
即使以下没有。 public int a(int b)
{
而(b == b);
}
在0 == 0中,编译器知道循环永远不会终止(即0 == 0将始终为真)。但it并没有知道那个b == b。
为什么不?
某些表达式具有可在编译时确定的值。这些是常量表达式(§15.28)。
在你的b == b示例中,因为涉及一个变量,它不是一个常量表达式,并且未指定在编译时确定.我们可以看到它在这种情况下总是会成立(尽管ifb是adouble,如QBrutepointed out ,我们很容易被Double.NaN(isnot==自己)欺骗,但是JLS只指定在编译时确定常量表达式,它不允许编译器尝试计算非常量表达式。 bayou.ioraised a good point为什么不:如果你开始沿着试图在编译时确定涉及变量的表达式的道路,你在哪里停止?b == b很明显(呃,对于非NaN值),但是什么关于a + b == b + a? Or(a + b) * 2 == a * 2 + b * 2?在常量上绘制线条是有道理的。
因此,由于它没有"确定"表达式,编译器不知道循环将永远不会终止,因此它认为该方法可以正常返回 - 这是不允许的,因为它需要使用2826101052。所以它抱怨缺乏areturn。
#2 热门回答(32 赞)
将方法返回类型视为返回指定类型的值的承诺,但作为promisenotto返回不是指定类型的值,可能会很有趣。因此,如果你从未退货,那么你并没有违背承诺,因此以下任何一项都是合法的:
永远循环:X foo(){
for(;;);
}
永远递归:X foo(){
return foo();
}
抛出异常:X foo(){
抛出新的错误();
}
(我发现递归是一个有趣的思考:编译器认为该方法将返回typeX的值(无论是什么),但事实并非如此,因为没有代码存在任何想法如何创建或采购anX。)
#3 热门回答(8 赞)
查看字节代码,如果返回的内容与定义不匹配,则会收到编译错误。
示例:
for(;;)将显示字节码:
L0
LINENUMBER 6 L0
FRAME SAME
GOTO L0
注意缺少任何返回字节码
这不会返回,因此不会返回错误的类型。
为了比较,一种方法如下:
public String getBar() {
return bar;
}
将返回以下字节码:
public java.lang.String getBar();
Code:
0: aload_0
1: getfield #2; //Field bar:Ljava/lang/String;
4: areturn
注意"areturn",意思是"返回参考"
现在,如果我们执行以下操作:
public String getBar() {
return 1;
}
将返回以下字节码:
public String getBar();
Code:
0: iconst_1
1: ireturn
现在我们可以看到定义中的类型与ireturn的返回类型不匹配,这意味着返回int。
所以它真正归结为如果该方法具有返回路径,则该路径必须与返回类型匹配。但是在字节码中有些实例根本没有生成返回路径,因此没有违反规则。