Java中的多重catch如何匹配_异常捕获顺序解析

多重catch需遵循“子类在前、父类在后”顺序,否则子类catch不可达;并列无关异常顺序任意;Java 7+支持|语法捕获多种独立异常,但不可含父子关系;运行时按实际异常类型匹配。

Java中的多重catch语句,关键在于异常类型的继承关系与声明顺序。编译器按从上到下的顺序逐个匹配catch块,一旦某个catch的参数类型能捕获当前抛出的异常(即该异常是其声明类型的实例或子类),就执行该块,后续catch将被跳过——哪怕下面还有更具体的类型。

必须遵循“子类在前,父类在后”

如果父类异常写在子类之前,子类catch永远无法触发,编译器会直接报错:“exception XXX has already been caught”。例如:

错误写法:

try {
    throw new IOException();
} catch (Exception e) {   // 父类太宽,先匹配了
    System.out.println("Exception");
} catch (IOException e) { // 编译失败:Unreachable catch block
    System.out.println("IOException");
}

正确写法:

  • IOException 放在 Exception 前面
  • NullPointerException 放在 RuntimeException 前面
  • 自定义异常(如 MyBusinessException)应放在其父类(如 RuntimeException 或 Exception)之前

同一层级的并列异常可以任意顺序

若多个catch参数是互不继承的类(比如 IOException 和 SQLException),它们没有父子关系,则顺序不影响编译,但建议按业务常见程度或严重程度组织,提升可读性:

  • 先处理预期中更可能发生的异常(如 SQLException)
  • 再处理系统级异常(如 IOException)
  • 最后用 Exception 或 Throwable 做兜底(慎用,避免掩盖问题)

使用多异常捕获(|语法)简化代码

Java 7+支持一个catch块捕获多种异常,用竖线分隔,但要求这些异常类型彼此独立(不能是父子关系):

try {
    // ...
} catch (IOException | SQLException e) {
    // e 的静态类型是二者最近公共父类(这里是 Exception)
    log(e);
}

注意:

  • 不能写 catch (IOException | Exception e) —— 编译报错,因 IOException 是 Exception 的子类
  • 异常变量 e 在块内只能调用其公共父类的方法(如 getMessage()、printStackTrace())
  • 仍需确保多异常捕获块位于更具体类型之后(如有单独的 SQLException 处理块,它应排在多异常块前面)

运行时匹配只看实际抛出对象的类型

catch是否执行,取决于抛出异常对象的实际运行时类型,而非声明类型。例如:

Exception e = new FileNotFoundException();
throw e;

虽然变量e声明为Exception,但实际抛出的是FileNotFoundException,因此匹配规则仍按 FileNotFoundException → IOException → Exception 的继承链判断。

这意味着:即使你用父类引用抛出子类异常,JVM仍能精准定位到最靠前的、能接受该子类的catch块。