如何强制要求调用方处理自定义异常（避免未捕获异常静默失败）

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 的重要实践。