Java中 throws 关键字在抽象类 abstract 方法签名中怎么定义异常规范-java教程-PHP中文网

抽象方法可以且允许在签名中使用throws声明检查型异常，这是合法语法并具有契约意义；子类实现时只能缩小或保持异常范围，不可新增未声明的检查型异常。

java中 throws 关键字在抽象类 abstract 方法签名中怎么定义异常规范

Java中，abstract方法不能直接使用throws声明检查型异常，但可以在方法签名中声明throws——这属于合法语法，且具有明确的契约意义：子类实现该抽象方法时，必须遵循这一异常规范。

抽象方法可以声明throws，但不抛出异常

abstract方法本身没有方法体，因此不会实际抛出异常。但它可以像普通方法一样在签名后添加throws子句，用于约束所有具体实现：

声明的是可能被子类抛出的检查型异常（checked exception），比如IOException、SQLException等
运行时异常（RuntimeException及其子类）无需声明，即使写了也不会强制子类处理
这个throws是抽象类对外暴露的“异常协议”，调用方需按此准备try-catch或继续上抛

子类实现必须遵守throws契约

当子类重写该抽象方法时，其throws声明只能缩小或保持不变，不能扩大范围：

deep-java-review

Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...

下载

✅ 允许：子类不抛出任何异常，或只抛出父类声明中的部分异常，或抛出其子类
❌ 不允许：子类新增未在抽象方法中声明的检查型异常
例如：抽象方法声明void read() throws IOException, SQLException，子类可写throws IOException或throws SQLException，但不能加throws ParseException

常见写法示例

以下是一个典型场景：定义数据访问层的抽象操作

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）
        // ...
    }
}