Java方法重写时，子类throws的受检异常必须是父类对应异常的子类型或相同类型，不可新增或扩大范围；运行时异常不受限。
Java 中方法重写时，子类不能抛出比父类声明的受检异常（checked exception）更宽泛的异常类型，这是编译器强制执行的规则。校验的关键在于：子类重写方法的 throws 子句中列出的受检异常，必须是父类对应方法 throws 中异常的子类型或相同类型；可以不抛出任何受检异常，也可以抛出更具体的子类异常，但不能新增、不能扩大范围。
受检异常约束的核心规则
以下规则由 Java 编译器静态检查，违反则编译失败：
- 子类重写方法不能在
throws中声明新的受检异常（即父类方法未声明的 checked exception） - 子类不能将父类声明的受检异常替换为它的父类（例如父类抛
IOException，子类不能抛Exception） - 子类可以缩小异常范围：不抛出任何受检异常，或只抛出父类异常的某个具体子类（如父类抛
SQLException，子类可抛SQLTimeoutException） - 运行时异常（unchecked exception，如
RuntimeException及其子类）不受此限制，子类可自由添加或删除
典型错误示例与修正
假设父类定义如下：
class Parent {
void doWork() throws IOException, SQLException { }
}
以下重写方式中：
立即学习“Java免费学习笔记（深入）”；
- ✅ 合法：不抛异常、只抛
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 可配置检查异常使用规范，但通常编译器已足够严格
- 单元测试不用于校验该约束：这是语言层面的静态语义检查，不是运行时行为，测试无法覆盖
设计建议：面向抽象、减少受检异常暴露
为降低重写时的异常管理复杂度，推荐：
- 在抽象父类或接口中，只声明业务意义明确、调用方必须处理的最小受检异常集
- 考虑将底层受检异常封装为运行时异常（如 Spring 的
DataAccessException层次），使子类实现更灵活 - 若父类方法本就不应抛受检异常，可将其改为
throws RuntimeException子类，规避约束（需权衡 API 明确性）
