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

在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的异常),无论父类是否声明。
例如:
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是检查型异常,而父类方法未声明。
这些规则保障了多态调用的安全性:程序按父类类型调用方法时,只需处理父类声明的异常即可,无需担心子类引入新的检查型异常。
以上就是Java中方法重写时异常声明的规则的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号