java中throws关键字用于在方法签名中显式声明受检异常，强制调用方在编译期捕获或上抛，形成异常契约；接口声明后，实现类只能缩小不能扩大异常范围，且仅对继承自exception而非runtimeexception的异常生效。

Java 通过在方法签名中使用 throws 关键字显式声明受检异常（checked exception），让编译器强制调用方处理这些异常，从而在编译期建立“异常契约”——即方法承诺可能抛出哪些受检异常，调用方必须显式捕获或继续上抛。

受检异常的声明与编译检查机制

只有继承自 Exception 但不继承自 RuntimeException 的异常才是受检异常。当方法体内可能抛出这类异常（如 IOException、SQLException），且未在方法内 try-catch 处理，就必须在方法签名中用 throws 声明：

• 编译器会检查每个调用该方法的位置：若未用 try-catch 捕获，也未在其所在方法签名中用 throws 声明，则编译失败
• 这种检查发生在编译期，不依赖运行时，是 Java 类型系统对“异常流”的静态约束
• 声明的异常类型可以是具体类（如 FileNotFoundException），也可以是其父类（如 IOException），但必须覆盖所有实际可能抛出的受检异常

异常契约如何体现“接口一致性”

在接口或抽象方法中声明 throws，相当于把异常作为 API 合约的一部分：

deep-java-review

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

下载

• 实现类重写该方法时，不能抛出比声明范围更宽的受检异常（例如接口声明 throws IOException，实现类不能声明 throws Exception）
• 但可以抛出更具体的子类（如 throws FileNotFoundException），或不抛出任何受检异常（即省略 throws）
• 这保证了面向接口编程时，调用方只需关注接口声明的异常，无需关心具体实现细节

常见误区与注意事项

异常契约不是万能的，需注意边界和设计意图：

• throws 声明的是“可能抛出”，不是“一定抛出”；它不描述执行路径，只约束调用义务
• 运行时异常（RuntimeException 及其子类）不参与该机制，无论是否声明，编译器都不强制处理
• 过度声明（如泛泛声明 throws Exception）会削弱契约意义，违背“最小权限”原则
• 资源关闭、I/O、反射等典型场景适合用受检异常建模，而参数校验、空指针等应优先用运行时异常

本质上，这是 Java 用语法+编译器协作实现的一种轻量级形式化契约：方法签名既是功能接口，也是异常协议。它不解决错误处理逻辑，但确保异常责任不被静默遗漏。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南