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

积累知识，胜过积蓄金银！毕竟在文章开发的过程中，会遇到各种各样的问题，往往都是一些细节知识点还没有掌握好而导致的，因此基础知识点的积累是很重要的。下面本文《方法重写时异常声明规则详解》，就带大家讲解一下知识点，若是你对本文感兴趣，或者是想搞懂其中某个知识点，就请你继续往下看吧~

子类重写方法时，只能抛出父类方法声明的检查型异常或其子类，不可新增检查型异常，但可自由抛出运行时异常；若父类方法未声明检查型异常，子类也不得声明，以确保多态调用的安全性。

在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学习网公众号，带你了解更多关于的知识点！