子类重写方法只能抛出父类声明检查异常的子类或不抛，否则违反里氏替换原则；运行时异常不受限；该约束仅适用于重写，编译期检查，保障多态安全。
子类重写方法不能抛出比父类更宽泛的检查异常
Java 编译器会直接报错，比如父类声明 throws IOException，子类却写 throws Exception——这违反了里氏替换原则：调用方按父类契约写代码，结果运行时冒出意料之外的异常类型。
常见错误现象：error: overridden method does not throw java.lang.Exception（实际报错信息取决于你多抛了哪个异常）
- 只允许子类抛出父类声明异常的子类，例如父类抛
IOException，子类可抛FileNotFoundException - 允许子类不抛任何检查异常（
throws完全去掉），这是“抛出更少”的典型做法 - 运行时异常（
RuntimeException及其子类）不受限制，子类可以自由添加throws IllegalArgumentException等 - 如果父类方法没声明任何检查异常，子类也**不能**在
throws里加任何检查异常，否则编译失败
为什么 throws 类型必须是父类异常的子类型
这不是语法随意定的，而是为了保障多态安全。假设你有 List<inputstream> list = Arrays.asList(new FileInputStream(...))</inputstream>，调用 list.get(0).read() 时，编译器只认接口/父类声明的异常——如果子类偷偷扩大异常范围，调用方根本来不及处理。
使用场景：框架中常定义模板方法（如 AbstractService.doWork() 声明 throws DataAccessException），具体实现类只能细化为 JdbcDataAccessException 或干脆不抛。
立即学习“Java免费学习笔记（深入）”；
- 参数差异：异常类型检查发生在编译期，和方法参数、返回值无关，只看
throws子句的类型继承关系 - 性能无影响：这是纯编译期约束，不生成额外字节码或运行时开销
- 兼容性注意：Java 8 之后 lambda 表达式里调用这类方法，异常限制同样生效，别以为匿名内部类能绕过
IDE 提示 “Exception is not compatible with throws clause” 怎么快速修
这通常是你在重写方法里写了可能抛检查异常的代码（比如 new FileOutputStream("x.txt")），但父类没声明对应异常，而你又没用 try-catch 拦住它。
- 第一步：看父类方法签名里的
throws列表，严格对齐——不是“差不多”，而是必须是其子类或空 - 第二步：优先用
try-catch把检查异常转成运行时异常，例如throw new RuntimeException(e)，避免污染上层契约 - 第三步：实在要暴露新检查异常，说明父类设计有问题，得回头改父类（谨慎！涉及所有子类和调用方）
- 别用
catch (Exception e) { throw new RuntimeException(e); }—— 这会吞掉InterruptedException等需特殊处理的异常
容易被忽略的边界情况：重载 vs 重写、构造器、接口默认方法
这个限制**只作用于重写（override）**，和重载（overload）完全无关；构造器也不能“重写”，所以没有该约束；接口默认方法被实现类重写时，同样受此规则约束。
- 接口方法声明
default void save() throws IOException，实现类里@Override方法若写throws Exception，照样编译失败 - 抽象类中
abstract方法的throws是契约起点，所有非抽象子类实现都必须遵守 - 泛型擦除不影响判断：
<t extends ioexception> void f() throws T</t>这种写法在子类里依然要满足子类型约束，但实际极少用，容易误判 - 最隐蔽的坑：父类方法抛的是自定义异常，而你新建了一个同名但不同包的异常类，看着像子类，其实毫无继承关系——编译器照报错
