多个catch块必须子类在前、父类在后;多异常捕获(|)要求类型互不继承;兜底异常不可过宽;catch内抛异常不会触发后续catch。

多个 catch 块必须按子类在前、父类在后排列
Java 编译器会检查 catch 块的顺序,如果父类异常写在子类前面,直接报错:error: exception XXX has already been caught。这不是运行时问题,而是编译期拒绝——因为子类异常永远不可能到达后面的 catch 块。
比如 IOException 是 FileNotFoundException 的父类,下面这段代码通不过编译:
try {
readFile();
} catch (IOException e) { // ❌ 错误:父类先捕获,子类永远进不来
handleIoError(e);
} catch (FileNotFoundException e) { // 编译失败:已被捕获
handleFileNotFound(e);
}
- 子类异常更具体,应优先处理;父类用于兜底通用逻辑
- 常见父子关系:
NumberFormatException←IllegalArgumentException←RuntimeException - 接口或抽象类不能作为
catch参数(如catch (Throwable t)合法,但catch (Serializable s)不合法)
用多异常捕获语法(|)时,所有异常必须互不继承
Java 7+ 支持一个 catch 块捕获多种异常:catch (IOException | SQLException e)。但前提是这些异常类型之间不能有继承关系——否则编译报错:error: alternative exception types must be disjoint。
这和单个 catch 块的语义一致:JVM 需要能静态确定哪个异常被抛出,才能把异常对象绑定到唯一的 e 变量上。
立即学习“Java免费学习笔记(深入)”;
- ✅ 合法:
catch (IOException | SQLException e)(二者都继承自Exception,但彼此无关) - ❌ 非法:
catch (IOException | FileNotFoundException e)(后者是前者子类) - 变量
e的静态类型是所有列出异常的最近公共父类(如上面合法例子里是Exception) - 不能在该
catch块里调用子类特有方法,除非显式转型(且需instanceof判断)
不要为了“简洁”而把 Exception 或 Throwable 放在最前
把 catch (Exception e) 写在第一个 catch 块,会导致后面所有异常块失效,编译直接失败。即使它没报错(比如你只写了这一个 catch),也会掩盖真正需要区分处理的异常场景。
- 典型副作用:
NullPointerException和SQLException都进了同一个catch,日志看不出区别,重试逻辑全乱 -
catch (Throwable t)更危险——连OutOfMemoryError都试图捕获,可能干扰 JVM 正常终止流程 - 真实服务中,应只捕获你明确知道如何处理的异常类型;不确定的,让它向上抛或由全局 handler 统一兜底
子类 catch 块里抛出新异常,不会触发后续 catch 块
每个 catch 块是独立作用域。哪怕你在第一个 catch 里重新 throw 一个不同类型的异常,也不会跳转到下一个 catch——它只会继续向外传播,直到被外层 try-catch 捕获,或导致线程终止。
这点常被误解为“异常可以‘流转’到下一个 catch”,其实完全不是。
- ✅ 正确理解:一个
try对应一组catch,仅对当前try中抛出的那个异常做一次匹配 - ⚠️ 容易踩坑:在
catch (IOException e)里throw new BusinessException("IO失败"),以为能被后面的catch (BusinessException)捕获——不可能,那是另一个try的事 - 若真需要链式处理,用
try-catch嵌套,或统一用catch (Exception e)+if-else instanceof分支








