Java受检异常在接口方法中不可随意扩展，子类重写时只能缩小不能扩大异常范围，编译器强制保障调用方稳定性；函数式接口因无throws声明而无法直接抛受检异常，需自定义接口适配；运行时异常则不受限制。
Java受检异常在接口方法签名中不能随意扩展，子类实现或重写时只能缩小、不能扩大异常范围——这是编译器强制执行的契约约束，核心目的是保障调用方代码的稳定性与可预测性。
接口方法声明受检异常后，实现类必须严格遵循
一旦接口方法使用 throws 声明了某个受检异常（如 IOException），所有实现类的对应方法：
- 可以不抛出任何异常（即省略
throws） - 可以抛出该异常的子类（如
FileNotFoundException） - 但不能抛出新类型受检异常（如
SQLException） - 也不能抛出更宽泛的受检异常（如
Exception）
例如：interface Reader { String read() throws IOException; }，实现类中写 public String read() throws SQLException 会直接编译失败。
同时继承父类并实现接口时，异常声明取交集
当一个类既继承父类、又实现接口，且两者有同名同参方法时，重写方法的受检异常声明必须是二者声明的“共同子集”：
立即学习“Java免费学习笔记（深入）”；
- 若父类方法声明
throws IOException，接口方法声明throws Exception，则子类只能声明throws IOException或其子类（因为IOException是Exception的子类，属于交集） - 若父类方法未声明任何受检异常，而接口方法声明
throws SQLException，则子类必须声明throws SQLException或其子类，不能省略——此时接口契约优先 - 若两者声明互不兼容（如父类
throws IOException，接口throws SQLException），则无法合法实现，需重构设计
函数式接口对受检异常的天然限制
JDK 内置函数式接口（如 Function、Consumer、Supplier）的方法签名均未声明 throws，因此 Lambda 表达式内部无法直接抛出受检异常：
-
list.forEach(s -> Files.readString(Paths.get(s)))编译报错，因Consumer.accept()不允许抛IOException - 解决方式不是绕过规则，而是自定义接口，如
ThrowingSupplier<T>，明确把throws Exception写入方法签名 - 再通过适配器方法（如
catching工具方法）将自定义接口桥接到标准流操作中，把异常转为运行时异常或封装返回结果
运行时异常不受上述限制
所有 RuntimeException 及其子类（如 NullPointerException、IllegalArgumentException）属于非受检异常：
- 接口方法无需声明，实现类也可随时抛出
- 重写时可新增、删除、替换任意运行时异常，编译器不检查
- 但过度依赖运行时异常会削弱 API 的契约清晰度，建议仅用于真正不可恢复或编程错误场景
