Java 中方法重写怎么校验父类抛出的受检异常约束-Java面试题-PHP中文网

java方法重写时，子类throws的受检异常必须是父类对应异常的子类型或相同类型，不可新增或扩大范围；运行时异常不受限。

java 中方法重写怎么校验父类抛出的受检异常约束

Java 中方法重写时，子类不能抛出比父类声明的受检异常（checked exception）更宽泛的异常类型，这是编译器强制执行的规则。校验的关键在于：子类重写方法的 throws 子句中列出的受检异常，必须是父类对应方法 throws 中异常的子类型或相同类型；可以不抛出任何受检异常，也可以抛出更具体的子类异常，但不能新增、不能扩大范围。

受检异常约束的核心规则

以下规则由 Java 编译器静态检查，违反则编译失败：

子类重写方法不能在 throws 中声明新的受检异常（即父类方法未声明的 checked exception）
子类不能将父类声明的受检异常替换为它的父类（例如父类抛 IOException，子类不能抛 Exception）
子类可以缩小异常范围：不抛出任何受检异常，或只抛出父类异常的某个具体子类（如父类抛 SQLException，子类可抛 SQLTimeoutException）
运行时异常（unchecked exception，如 RuntimeException 及其子类）不受此限制，子类可自由添加或删除

典型错误示例与修正

假设父类定义如下：

Gradle 9.8.0

下载

class Parent {
    void doWork() throws IOException, SQLException { }
}

以下重写方式中：

✅ 合法：不抛异常、只抛 FileNotFoundException（IOException 子类）、只抛 SQLTimeoutException（SQLException 子类）
❌ 编译错误：抛 Exception（范围扩大）、抛 InterruptedException（新受检异常，父类未声明）、同时抛 IOException 和 ClassNotFoundException（后者是新增受检异常）

如何主动校验（开发与工具支持）

无需手动“运行时校验”，因为这是编译期契约。但可借助以下方式确保合规：

依赖编译器报错：直接编译，Java 编译器（javac）会明确提示 “overridden method does not throw ...” 或 “unreported exception ... must be caught or declared to be thrown”
IDE 实时提示：IntelliJ IDEA / Eclipse 在编写 throws 时会标红并给出快速修复建议（如自动删减非法异常）
静态分析工具：如 ErrorProne 可配置检查异常使用规范，但通常编译器已足够严格
单元测试不用于校验该约束：这是语言层面的静态语义检查，不是运行时行为，测试无法覆盖