Java中throws声明的异常仅是编译期契约，JDK动态代理不校验；需在InvocationHandler的invoke方法中手动捕获、判断并按接口声明透传或包装异常。
Java 中 throws 声明的异常本身不会被 JDK 动态代理自动校验或拦截，它只是编译期的契约声明；真正触发异常校验和传播的关键在于 InvocationHandler 的实现逻辑 —— 你需要在代理方法中显式捕获、判断并重新抛出符合接口 throws 声明的异常类型。
接口 throws 异常不参与运行时代理生成
JDK 动态代理（Proxy.newProxyInstance）只关心接口方法签名（名称、参数类型、返回类型），throws 子句被完全忽略。生成的代理类字节码中不会对异常做任何强制检查，也不会在调用前验证目标方法是否真的抛出了声明的异常。
- 接口方法声明
void doX() throws IOException, SQLException，代理对象调用时即使实际实现抛出RuntimeException或未声明的Exception，也不会编译或运行时报错 -
throws仅约束调用方（编译器）必须处理这些受检异常，不影响代理机制本身
校验需在 InvocationHandler 中手动实现
要在代理层同步校验“是否抛出了接口声明的异常”，必须在 invoke() 方法里捕获目标方法抛出的异常，并比对其类型是否属于接口 throws 列表中的受检异常（checked exception）。对于非受检异常（RuntimeException 及其子类），无需校验，可直接透传。
- 通过反射获取接口方法的
Method.getExceptionTypes()，得到声明的异常数组 - 若目标方法抛出的是受检异常，且不在声明列表中，则应包装为
UndeclaredThrowableException（JDK 默认行为）或按需转为其他异常 - 若抛出的是声明中的受检异常，原样抛出即可，调用方能正常捕获
- 示例逻辑：
public Object invoke(Object proxy, Method method, Object[] args) throws Throwable {
try {
Object result = method.invoke(target, args);
return result;
} catch (Throwable t) {
Class<?>[] declaredExceptions = method.getExceptionTypes();
if (t instanceof RuntimeException || t instanceof Error) {
throw t; // 不校验，直接抛
}
boolean isDeclared = Arrays.stream(declaredExceptions)
.anyMatch(ex -> ex.isInstance(t) || ex.isAssignableFrom(t.getClass()));
if (isDeclared) {
throw t; // 符合声明，允许抛出
} else {
throw new UndeclaredThrowableException(t); // 或自定义校验失败异常
}
}
}
注意受检异常与运行时异常的本质区别
Java 异常体系中，只有继承自 Exception 但不继承自 RuntimeException 的才是受检异常（checked exception），它们必须被声明或捕获。而 throws 声明仅对这类异常有编译期约束力。动态代理无法绕过该规则，但也不能替你自动执行校验 —— 校验动作必须由开发者在 InvocationHandler 中编码完成。
立即学习“Java免费学习笔记（深入）”；
-
IOException、SQLException是典型受检异常，必须出现在throws中才可被调用方合法捕获 -
NullPointerException、IllegalArgumentException属于运行时异常，无论是否声明，都能抛出且不破坏接口契约 - 代理方法若抛出未声明的受检异常，调用方编译会失败（因为接口没声明），所以生产代码中务必确保
invoke()中的异常抛出行为与接口一致
Spring AOP 等框架已封装此类逻辑
如果你使用 Spring AOP，它的 ReflectiveMethodInvocation 在执行链中已隐含处理：当目标方法抛出异常时，会依据接口声明做兼容性判断，并确保异常可被上层正确捕获。但底层仍是基于上述手动校验逻辑，只是对开发者透明。
- 自研代理场景下，必须自行实现异常类型匹配逻辑，不可依赖代理机制自动识别
- 建议将异常校验逻辑抽取为工具方法，避免每个
InvocationHandler重复编写 - 单元测试中应覆盖“抛出声明异常”、“抛出未声明受检异常”、“抛出运行时异常”三种情况，验证代理行为符合预期
