Java中throws关键字用于在方法签名中显式声明受检异常，强制调用方在编译期捕获或上抛，形成异常契约；接口声明后，实现类只能缩小不能扩大异常范围，且仅对继承自Exception而非RuntimeException的异常生效。
Java 通过在方法签名中使用 throws 关键字显式声明受检异常（checked exception），让编译器强制调用方处理这些异常，从而在编译期建立“异常契约”——即方法承诺可能抛出哪些受检异常，调用方必须显式捕获或继续上抛。
受检异常的声明与编译检查机制
只有继承自 Exception 但不继承自 RuntimeException 的异常才是受检异常。当方法体内可能抛出这类异常（如 IOException、SQLException），且未在方法内 try-catch 处理，就必须在方法签名中用 throws 声明：
- 编译器会检查每个调用该方法的位置：若未用
try-catch捕获，也未在其所在方法签名中用throws声明，则编译失败 - 这种检查发生在编译期，不依赖运行时，是 Java 类型系统对“异常流”的静态约束
- 声明的异常类型可以是具体类（如
FileNotFoundException），也可以是其父类（如IOException），但必须覆盖所有实际可能抛出的受检异常
异常契约如何体现“接口一致性”
在接口或抽象方法中声明 throws，相当于把异常作为 API 合约的一部分：
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
- 实现类重写该方法时，不能抛出比声明范围更宽的受检异常（例如接口声明
throws IOException，实现类不能声明throws Exception） - 但可以抛出更具体的子类（如
throws FileNotFoundException），或不抛出任何受检异常（即省略throws） - 这保证了面向接口编程时，调用方只需关注接口声明的异常，无需关心具体实现细节
常见误区与注意事项
异常契约不是万能的，需注意边界和设计意图：
立即学习“Java免费学习笔记（深入）”；
-
throws声明的是“可能抛出”，不是“一定抛出”；它不描述执行路径，只约束调用义务 - 运行时异常（
RuntimeException及其子类）不参与该机制，无论是否声明，编译器都不强制处理 - 过度声明（如泛泛声明
throws Exception）会削弱契约意义，违背“最小权限”原则 - 资源关闭、I/O、反射等典型场景适合用受检异常建模，而参数校验、空指针等应优先用运行时异常
本质上，这是 Java 用语法+编译器协作实现的一种轻量级形式化契约：方法签名既是功能接口，也是异常协议。它不解决错误处理逻辑，但确保异常责任不被静默遗漏。
