java 中 `arithmeticexception` 是运行时异常（unchecked），编译器不强制处理，因此即使声明 `throws arithmeticexception`，调用方仍可忽略 try-catch 或 throws，导致异常未被捕获时也无编译错误。要实现“必须显式处理”的约束，需改用自定义的**检查型异常（checked exception）**。
在 Java 异常体系中，只有 checked exception（检查型异常） 才会被编译器强制要求处理——即调用方必须用 try-catch 捕获，或在方法签名中用 throws 向上声明。而 ArithmeticException 继承自 RuntimeException，属于 unchecked exception，其 throws 声明仅具文档意义，不会触发编译检查。这正是你代码中两次调用 divide() 都成功输出 2.5 的根本原因：除数非零时未抛异常；即使为零，因未触发异常路径，也未暴露问题。
✅ 正确做法：定义一个继承自 Exception（而非 RuntimeException）的自定义检查型异常：
class Main {
// 自定义 checked exception（必须被处理）
static class DivisionByZeroException extends Exception {
public DivisionByZeroException(String message) {
super(message);
}
}
static float divide(float x, float y) throws DivisionByZeroException {
if (y == 0) {
throw new DivisionByZeroException("Cannot divide by 0!");
}
return x / y;
}
public static void main(String[] args) {
// ✅ 编译通过：显式处理异常
try {
System.out.println(divide(5.0f, 2.0f));
} catch (DivisionByZeroException e) {
System.err.println("Caught: " + e.getMessage());
}
// ❌ 编译错误！以下语句将报错：
// System.out.println(divide(5.0f, 0.0f));
// > Unhandled exception type DivisionByZeroException
}
}⚠️ 注意事项：
- 不要直接 throws Exception：虽属 checked，但过于宽泛，违背异常设计原则（应具体、有意义）；
- 避免滥用 throws RuntimeException 子类并期望编译器强制处理——它永远无法达成该目标；
- 若需保留 ArithmeticException 语义，可让自定义异常继承它，但这会使它变为 unchecked，失去强制处理效果，故不推荐；
- 在真实项目中，还可结合 @Throws 注解（Kotlin）或静态分析工具（如 ErrorProne）进一步强化契约。
总结：throws 关键字对 unchecked 异常无约束力；唯有继承 Exception（且非 RuntimeException 及其子类）的异常，才能真正实现“调用即须处理”的 API 设计契约。这是构建健壮、可维护 Java API 的重要实践。
