抽象方法可以且允许在签名中使用throws声明检查型异常，这是合法语法并具有契约意义；子类实现时只能缩小或保持异常范围，不可新增未声明的检查型异常。
Java中，abstract方法不能直接使用throws声明检查型异常，但可以在方法签名中声明throws——这属于合法语法，且具有明确的契约意义：子类实现该抽象方法时，必须遵循这一异常规范。
抽象方法可以声明throws，但不抛出异常
abstract方法本身没有方法体，因此不会实际抛出异常。但它可以像普通方法一样在签名后添加throws子句，用于约束所有具体实现：
- 声明的是可能被子类抛出的检查型异常（checked exception），比如IOException、SQLException等
- 运行时异常（RuntimeException及其子类）无需声明，即使写了也不会强制子类处理
- 这个throws是抽象类对外暴露的“异常协议”，调用方需按此准备try-catch或继续上抛
子类实现必须遵守throws契约
当子类重写该抽象方法时，其throws声明只能缩小或保持不变，不能扩大范围：
- ✅ 允许：子类不抛出任何异常，或只抛出父类声明中的部分异常，或抛出其子类
- ❌ 不允许：子类新增未在抽象方法中声明的检查型异常
- 例如：抽象方法声明
void read() throws IOException, SQLException，子类可写throws IOException或throws SQLException，但不能加throws ParseException
常见写法示例
以下是一个典型场景：定义数据访问层的抽象操作
立即学习“Java免费学习笔记（深入）”；
public abstract class DataReader {
// 声明可能由子类抛出的检查型异常
public abstract void loadData() throws IOException, ClassNotFoundException;
// 运行时异常无需声明，但也可显式写出（无强制约束力）
public abstract void process() throws IllegalArgumentException;
}
对应实现类：
public class FileDataReader extends DataReader {
@Override
public void loadData() throws IOException { // 合法：缩小异常范围
// 实际读取文件，可能抛出IOException
}
@Override
public void process() { // 合法：不抛出任何检查型异常（IllegalArgumentException是RuntimeException）
// ...
}
}
为什么这么做有用
这种设计让抽象类成为异常契约的制定者：
- 调用方只需面向抽象编程，根据抽象方法的throws就知道需要处理哪些异常
- 不同实现可选择性地抛出其中一部分异常，增强灵活性
- 避免子类随意引入新检查异常，破坏接口稳定性
