为何捕获的Throwable无需在方法throws子句中声明即可重抛？

开发者阿泽

2026-7-22

问题

根据JLS 11.2.3的规定：若方法体可能抛出已检查异常，但未在throws子句中声明该类（或其父类），则会触发编译错误。

在以下代码中，Throwable属于已检查异常（依据JLS 11.1.1），并在main方法的catch块中被抛出：

public class Main {
  public static void main(String[] args) {
    try {
      foo();
    } catch (Throwable t) {
      throw t;
    }
  }

  public static void foo() {
    throw new RuntimeException();
  }
}

然而javac编译这段代码时并未报错。若修改foo方法的签名，声明其throws Throwable，则会出现预期的错误：

public class Main {
  public static void main(String[] args) {
    try {
      foo();
    } catch (Throwable t) {
      throw t;
    }
  }

  public static void foo() throws Throwable {
    throw new RuntimeException();
  }
}

编译输出：

$ javac Main.java
Main.java:6: error: unreported exception Throwable; must be caught or declared to be thrown
      throw t;
      ^
1 error

看起来javac在第一个示例中推断出：由于foo未声明任何已检查异常，捕获到的Throwable t必然是未检查异常，因此main方法仅会重抛未检查异常，无需throws子句。请问JLS中是否有相关规则解释该行为？

解答

这个行为完全符合JLS规范，对应的规则是JLS 11.2.2：异常声明与重抛的类型推断。

该规则的核心逻辑是：当在catch块中重抛被捕获的异常时，编译器会基于try块实际可能抛出的异常集合，推断重抛异常的实际类型，而非直接使用catch声明的静态类型。

具体到第一个示例：

foo()方法的throws子句为空，根据JLS规则，它只能抛出未检查异常（RuntimeException、Error及其子类）。
try块仅调用foo()，因此try块可能抛出的异常集合只包含未检查异常。
尽管catch块声明捕获Throwable，但编译器能确定：实际进入该catch块的t必然是未检查异常（因为try块不可能抛出已检查异常）。
按照规则，这种场景下重抛t会被视为抛出未检查异常，无需在main方法的throws子句中声明。

而第二个示例中：

foo()声明throws Throwable，意味着try块可能抛出的异常集合包含已检查异常（Throwable涵盖了已检查的Exception子类）。
此时编译器无法确定catch块中的t一定是未检查异常，因此重抛t时要求main方法声明对应的已检查异常类型，否则触发编译错误。

这条规则的设计目的是支持更灵活的异常处理，避免开发者在明确不会抛出已检查异常的场景下，被迫声明不必要的throws子句。

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