方法重写时异常声明规则详解

Java中方法重写对异常声明有严格而重要的约束：子类重写父类方法时，只能抛出父类已声明的检查型异常或其更具体的子类，不得新增或扩大检查型异常范围；但可不受限制地抛出任意运行时异常；若父类方法未声明任何检查型异常，子类则完全禁止在重写时添加检查型异常——这些规则共同保障了多态调用的安全性与契约一致性，让开发者能安心依赖父类声明的异常处理逻辑，无需为子类“意外”抛出的新检查异常而提心吊胆。

在Java中，方法重写（Override）时对异常的声明有明确的规则，主要涉及检查型异常（checked exception）。这些规则确保子类方法不会破坏父类或接口所定义的行为契约。

重写方法不能抛出更宽泛的检查型异常

子类重写父类方法时，不能在throws中声明比父类方法更多或更广泛的检查型异常。换句话说，重写方法可以：

• 不抛出任何异常
• 只抛出父类方法中已经声明的检查型异常
• 抛出父类异常的子类型（即更具体的异常）

例如：

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

class Child extends Parent {
    @Override
    void doWork() throws FileNotFoundException { } // 合法：FileNotFoundException 是 IOException 的子类
}

上面代码合法，因为FileNotFoundException是IOException的子类，属于更具体的异常。

可以抛出运行时异常（RuntimeException）不受限制

重写方法可以随意抛出任意数量或类型的非检查型异常（即继承自RuntimeException的异常），无论父类是否声明。

例如：

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

class Child extends Parent {
    @Override
    void doWork() throws IOException, IllegalArgumentException { } // 合法：IllegalArgumentException 是 RuntimeException
}

IllegalArgumentException是非检查型异常，即使父类没有声明，子类也可以抛出。

如果父类方法未声明检查型异常，子类也不能声明

如果父类方法没有使用throws声明检查型异常，那么子类重写该方法时也不得声明检查型异常。

例如：

class Parent {
    void doWork() { } // 没有 throws
}

class Child extends Parent {
    @Override
    void doWork() throws SQLException { } // 编译错误！不允许抛出检查型异常
}

这会导致编译失败，因为SQLException是检查型异常，而父类方法未声明。

总结关键点

• 重写方法只能抛出父类方法中声明的检查型异常，或其子类
• 不能添加新的检查型异常到throws列表
• 可以自由抛出任意运行时异常
• 父类方法未声明检查型异常时，子类也不能声明

这些规则保障了多态调用的安全性：程序按父类类型调用方法时，只需处理父类声明的异常即可，无需担心子类引入新的检查型异常。

以上就是《方法重写时异常声明规则详解》的详细内容，更多关于的资料请关注golang学习网公众号！