子类重写父类方法时throws子句只能缩小或保持不变,不能扩大受检异常范围,以保障多态调用安全;可不抛异常、抛父类异常的子集或子类、添加运行时异常。

在 Java 中重写父类带有异常声明的方法时,子类方法的 throws 子句只能缩小或保持不变,不能扩大 —— 这是编译器强制要求的规则,核心目的是保证多态调用的安全性(即“里氏替换原则”在异常层面的体现)。
子类重写时 throws 的合法范围
假设父类方法声明为:
void doSomething() throws IOException, SQLException { ... }
那么子类重写时,throws 部分可以是以下任意一种:
- 不抛出任何异常:
void doSomething() { ... } - 只抛出父类声明中的一部分受检异常:
void doSomething() throws IOException { ... } - 抛出父类异常的子类(更具体的受检异常):
void doSomething() throws FileNotFoundException { ... }(因为FileNotFoundException是IOException的子类) - 抛出运行时异常(
RuntimeException及其子类)不受限制,可自由添加:void doSomething() throws IOException, IllegalArgumentException { ... }
为什么不能扩大 throws?
如果允许子类加抛新受检异常(比如新增 InterruptedException),那么通过父类引用调用该方法的代码就无法感知这个新增异常,编译器也无法强制调用方处理它,会破坏异常契约。例如:
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
Base obj = new Sub(); obj.doSomething(); // 编译器只按 Base 声明检查异常,若 Sub 悄悄加了新受检异常,此处就漏处理了
所以 Java 编译器直接禁止这种写法,报错:"Unhandled exception type XXX" 或 "Exception XXX is not compatible with throws clause"。
常见错误与应对建议
-
误加新受检异常:不要在
throws中写父类没声明的受检异常。如需处理额外异常,应在方法内部catch后转为父类已声明的异常,或转为运行时异常。 -
想“升级”异常类型:可用更具体的子类异常替代父类异常(如用
SQLException替换Exception),但前提是它是原异常的子类型。 -
父类抛运行时异常:子类可完全忽略
throws(因无需声明),也可显式写出(无强制约束),甚至添加其他运行时异常。 - 父类方法没有 throws:子类重写时也不能加任何受检异常;但可以加运行时异常。
实用技巧:封装异常再抛出
当子类实现中遇到新受检异常,又不能直接 throws 时,典型做法是捕获后包装为父类已声明的异常,或转为运行时异常:
@Override
void doSomething() throws IOException {
try {
Files.readAllBytes(Paths.get("file.txt"));
} catch (NoSuchFileException e) {
throw new IOException("File missing", e); // 转为父类允许的 IOException
} catch (SecurityException e) {
throw new RuntimeException("Access denied", e); // 转为运行时异常(无需声明)
}
}
关键记牢:受检异常的声明必须遵循“子类 ≤ 父类”,这是 Java 异常检查机制的硬性保障。不复杂但容易忽略。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










