为何Java中else内return报错而for循环外return不报错

核心规则：Java编译器对非void返回值的方法做静态语法校验时，要求所有可能的执行路径必须存在匹配类型的返回语句，校验过程不会推演运行时的参数实际值、分支实际触发概率，只判断语法层面是否存在“走完整个方法都没碰到return”的可能。

编译失败版本代码 #

public class aaa{
   public static int function(int a, int b){
         // 注：原代码存在变量名笔误，此处修正循环变量定义为i，排除无关编译错误干扰
         for(int i = 1; i <= a; i++){
             if ( a % i == 0){ 
                 b--;
             }
             if (b == 0) {
                 return i;
             }else {
                 return -1;
             }
         }
         // 循环结束后无任何return语句
   }
   public static void main(String[] args) {
          // 注：原代码存在类名、方法名拼写错误，此处为修正后写法
          System.out.println("The 5th common measure of 1000 is" + function(1000, 5));
   }
}

报错原因 #

这个版本的return -1写在for循环内部的else分支中，编译器能识别到合法的执行路径：如果传入参数满足循环初始条件不成立（比如传入a=0，i<=a判断从一开始就为false，循环体一次都不会执行），方法会直接走完for循环，之后没有任何return语句，不满足“所有路径都有int返回值”的要求，因此抛出编译错误。

正常编译版本代码 #

public class aaa{
   public static int function(int a, int b){
         // 注：原代码存在变量名笔误，此处修正循环变量定义为i，排除无关编译错误干扰
         for(int i = 1; i <= a; i++){
             if ( a % i == 0){ 
                 b--;
             }
             if (b == 0) {
                 return i;
             }
         } 
         return -1;
   }
   public static void main(String[] args) {
          // 注：原代码存在类名、方法名拼写错误，此处为修正后写法
          System.out.println("The 5th common measure of 1000 is" + function(1000, 5));
   }
}

编译通过原因 #

这个版本把return -1放在for循环外部，覆盖了两类之前没被覆盖的执行路径：

• 循环初始条件不成立，一次都不执行的场景
• 循环执行全程都没有触发b==0条件，走完所有循环次数的场景
  所有可能的执行路径最终都能碰到int类型的返回语句，完全符合编译器的校验规则，因此可以正常编译。

内容的提问来源于stack exchange，提问作者3206채서연