for循环中缺少返回语句

Question

我可以找到类似的问题，但我找不到我对这个特定案例期望的答案。

public int getIndex(){
    for(int x = 0; x < 5; x++) {
        return x;
    }
}

当我执行这段代码时，我得到一个编译错误，上面写着“缺少返回语句”。但是，据我所知，很明显，for循环中的代码将毫无疑问地执行，因为第一次，x=0。因此，对于这种特殊情况，没有理由不在for循环中执行代码。那么，为什么我们还需要在for循环之外声明一个额外的return语句呢？。

Answer 1

我建议您的示例不是真实的，但您可以将其更改为do while而不存在编译错误：

public static int getIndex() {
    int x = 0;
    do {
        return x++;         
    } while (x < 5);
}

Answer 2

这是因为JVM不知道将在循环中使用的条件中断。例如：

public static int getIndex(){
  for(int x=0; x<5;x++){
    if(x<5) continue;
    return x;
  }
  return 6;
}

在这里，很明显，如果没有循环外的return，您可能会错过循环内的return语句

Answer 3

与您不同，编译器无法（或者更确切地说，不会尝试）确定循环至少执行一次。

JLS 14.21中给出了与此相关的具体规则。特别地：

基本的

>

那个

有一个可以到达的地方

如果

您没有常量条件表达式，因此，编译器认为这样的for循环可以正常完成，因此它之后的语句是可达的。

如果i

public int getIndex(){
    for(int x = 0; true; x++) {
        return x;
    }
}

考虑到更复杂的可达性规则，编译器可以确定原始循环从未正常完成，但这种情况的实际用例太小，无法证明其复杂性。