具有return类型的Java方法编译时不使用return语句

Question

问题1：

为什么下面的代码在没有return语句的情况下进行编译？

public int a() {
    while(true);
}

注意：如果在while之后添加return，则会得到unreachable Code error。

问题2：

另一方面,为什么下面的代码会编译,

public int a() {
    while(0 == 0);
}

即使下面的不是。

public int a(int b) {
    while(b == b);
}

Answer 1

问题1：

为什么下面的代码在没有return语句的情况下进行编译？

public int a() 
{
    while(true);
}

《联合劳工法典》第8.4.7节对此作了规定：

如果一个方法被声明为具有返回类型(§8.4.5)，那么如果该方法的主体能够正常完成(§14.1)则会发生编译时错误。

换句话说，具有返回类型的方法必须仅通过使用提供值返回的return语句返回；方法不允许“落其身端”。关于方法体中的return语句的精确规则，请参见§14.17。

方法有可能具有返回类型，但不包含返回语句。这里有一个例子：

class DizzyDean {
    int pitch() { throw new RuntimeException("90 mph?!"); }
}

由于编译器知道循环永远不会终止(true当然总是true)，它知道函数不能“正常返回”（去掉其主体的末尾），因此没有return就可以了。

问题2：

另一方面,为什么下面的代码会编译,

public int a() 
{
    while(0 == 0);
}

即使下面的不是。

public int a(int b)
{
    while(b == b);
}

在0==0情况下，编译器知道循环永远不会终止(0==0将始终为true）。但它不知道对于b==b。

为什么不呢？

编译器理解常数表达式(§15.28)。引用第15.2节-表达形式（因为奇怪的是，这句话不在第15.28节中）：

有些表达式有一个值，可以在编译时确定。这些是常数表达式(§15.28)。

在b==b示例中，由于涉及一个变量，因此它不是一个常量表达式，也不指定在编译时确定。我们可以看到，在这种情况下，它总是正确的（尽管如QBrute所指出的，如果b是double，我们很容易被double.nan所愚弄，它本身不是==），但是JLS只指定常量表达式是在编译时确定的，它不允许编译器尝试计算非常量表达式。Bayou.io为为什么不这样做提出了一个很好的观点：如果您开始尝试在编译时确定包含变量的表达式，那么您会在哪里停止呢？b==b是显而易见的（呃，对于非nan值），但是a+b==b+a呢？还是(a+b)*2==a*2+b*2？用常量划线是有意义的。

因此，由于它不“确定”表达式，编译器不知道循环永远不会终止，所以它认为方法可以正常返回 ；--这是不允许的，因为它需要使用return。因此它抱怨缺少return。