子类重写方法时，只能抛出父类方法声明的检查型异常或其子类，不可新增检查型异常，但可自由抛出运行时异常；若父类方法未声明检查型异常，子类也不得声明，以确保多态调用的安全性。
在Java中，方法重写（Override）时对异常的声明有明确的规则，主要涉及检查型异常（checked exception）。这些规则确保子类方法不会破坏父类或接口所定义的行为契约。
重写方法不能抛出更宽泛的检查型异常
子类重写父类方法时，不能在throws中声明比父类方法更多或更广泛的检查型异常。换句话说，重写方法可以：
- 不抛出任何异常
- 只抛出父类方法中已经声明的检查型异常
- 抛出父类异常的子类型（即更具体的异常）
例如：
class Parent {
void doWork() throws IOException { }
}
class Child extends Parent {
@Override
void doWork() throws FileNotFoundException { } // 合法：FileNotFoundException 是 IOException 的子类
}
上面代码合法，因为FileNotFoundException是IOException的子类，属于更具体的异常。
立即学习“Java免费学习笔记（深入）”；
可以抛出运行时异常（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列表
- 可以自由抛出任意运行时异常
- 父类方法未声明检查型异常时，子类也不能声明
这些规则保障了多态调用的安全性：程序按父类类型调用方法时，只需处理父类声明的异常即可，无需担心子类引入新的检查型异常。
