为何抽离异常处理到无返回值独立方法会触发return缺失报错？

先看你的原始可编译代码：

public class Scratch {

  public Scratch() {
    doStuff();
  }

  public String doStuff() {
    try {
        int i = Integer.parseInt(null);
        return "Integer: " + i;

      } catch (NumberFormatException e) {
          if (e.getMessage().equals("some message")) {
            throw new NumberFormatException("step 1");
          } else {
            throw new NumberFormatException("step 2");
          }
      }
  }

  public static void main(String[] args) {
    new Scratch();
  }
}

抽离异常处理后的报错代码：

public class Scratch {

public Scratch() {
    doStuff();
}

public String doStuff() {
    try {
        int i = Integer.parseInt(null);
        return "Integer: " + i;

    } catch (NumberFormatException e) {
        handleException(e);
    }
}

private void handleException(NumberFormatException e) {
    if (e.getMessage().equals("some message")) {
        throw new NumberFormatException("step 1");
    } else {
        throw new NumberFormatException("step 2");
    }
}

public static void main(String[] args) {
    new Scratch();
}
}

原因分析 #

Java编译器的静态代码分析只覆盖当前方法内的执行路径：

• 原始版本中，catch块内直接抛出异常，编译器能明确识别这个分支不会走到方法末尾，因此认定doStuff的所有路径要么返回值、要么抛出异常，符合方法签名要求。
• 抽离后的版本中，catch块仅调用handleException方法。虽然你明确这个方法内部一定会抛出异常，但编译器无法静态推断出该私有方法绝对不会正常返回，它会默认认为handleException执行完成后，代码会走到doStuff方法末尾，而此处没有返回语句，因此触发报错。

解决方案 #

以下几种方式可以修复该问题：

方案1：让handleException返回异常并在调用处抛出 #

修改方法返回类型为异常类型，在调用时直接抛出返回的异常，让编译器明确该分支的走向：

public String doStuff() {
    try {
        int i = Integer.parseInt(null);
        return "Integer: " + i;

    } catch (NumberFormatException e) {
        throw handleException(e);
    }
}

private NumberFormatException handleException(NumberFormatException e) {
    if (e.getMessage().equals("some message")) {
        return new NumberFormatException("step 1");
    } else {
        return new NumberFormatException("step 2");
    }
}

方案2：在调用handleException后添加不可达的抛出语句 #

通过添加一个编译器认定不会执行到的抛出语句，填补代码路径的“漏洞”：

public String doStuff() {
    try {
        int i = Integer.parseInt(null);
        return "Integer: " + i;

    } catch (NumberFormatException e) {
        handleException(e);
        // 编译器识别此处不可达，不会再报错
        throw new RuntimeException("Unreachable code");
    }
}

内容的提问来源于stack exchange，提问作者user4184113