子集关系指子类抛出的受检异常必须是父类声明异常的子类型或相同类型，确保父类catch块能覆盖；这是编译器强制的LSP保障机制，运行时异常因无需编译检查而不受此限。
子类覆盖父类方法时，对受检异常（checked exception）的 throws 声明，必须满足“子集关系”：即子类能声明抛出的受检异常类型，只能是父类所声明异常类型的子类或相同类型，不能新增、不能扩大、不能平行替换。这不是编码习惯，而是 Java 编译器强制执行的契约约束。
什么是“子集关系”？
它指异常类型的继承层级关系，不是数量多少，而是类型是否可被父类异常的 catch 块捕获：
- 父类声明 throws IOException → 子类可写 throws FileNotFoundException（合法，因为
FileNotFoundException extends IOException） - 父类声明 throws SQLException → 子类可写 throws SQLTimeoutException（合法，子类）
- 父类声明 throws IOException → 子类写 throws Exception（非法，
Exception是IOException的父类，范围更宽） - 父类声明 throws IOException → 子类写 throws SQLException（非法，两者无继承关系，属于平行异常）
为什么必须是子集？
核心是为了保障里氏替换原则（LSP）：调用方只依赖父类方法签名编写代码。如果子类突然抛出父类没声明的受检异常，调用方的 try-catch 就无法覆盖，编译期就可能失败，运行时更会因未处理而崩溃。
例如：
调用方写了：
try { service.process(); }
catch (IOException e) { /* 处理IO问题 */ }
若子类实际抛出 SQLException，这段代码根本编译不过——因为 SQLException 不在 catch 范围内，也不在方法签名承诺范围内。
子类怎么合法缩小异常范围？
有三种常见且合规的做法：
- 不抛任何受检异常：在方法体内用 try-catch 捕获并处理掉，比如把文件读取换成内存缓存，自然不再需要 throws IOException
- 只抛更具体的子类异常：如父类 throws Exception → 子类 throws IllegalArgumentException（但注意：父类若只 throws IOException，子类不能跳级到 Exception）
- 组合使用多个子类异常：父类 throws IOException → 子类 throws FileNotFoundException, EOFException（二者都是 IOException 子类，合起来仍是父类异常的子集）
运行时异常为什么不受限？
因为 RuntimeException 及其子类（如 NullPointerException、IllegalArgumentException）属于未检查异常，编译器不强制捕获，也不参与方法签名的契约校验。所以：
- 父类没声明任何异常，子类仍可 throw IllegalArgumentException
- 父类 throws IOException，子类可在方法中 throw IllegalStateException，无需写在 throws 里
- 这是设计上预留的“语义逃生通道”，适合表达编程错误或不可恢复的逻辑异常
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
