如何强制要求调用方处理自定义异常以避免未捕获异常静默失败-java教程-PHP中文网

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

java中`throws arithmeticexception`无效，因为`arithmeticexception`是运行时异常（unchecked），编译器不强制处理；要实现“必须用try-catch调用”的约束，需改用自定义的**受检异常（checked exception）**。

在Java中，异常分为两类：受检异常（checked exceptions） 和 非受检异常（unchecked exceptions）。ArithmeticException、NullPointerException、IllegalArgumentException等均继承自RuntimeException，属于非受检异常——它们在编译期不会触发强制处理要求，即使方法声明throws ArithmeticException，调用方也无需try-catch或throws，因此你的main方法能直接调用而不报错，程序正常输出却掩盖了设计意图。

要真正实现“函数必须被try块包围”的契约式约束，必须使用受检异常：即继承自Exception但不继承RuntimeException 的自定义异常类。编译器会强制所有调用该方法的代码处理该异常（显式try-catch或向上声明throws），否则编译失败。

✅ 正确做法：定义并使用自定义受检异常

java-api-doc-generator

分析 Java Spring Boot 后端 Controller 代码，自动生成 Markdown 格式的接口文档。当用户说“生成 Java 接口文档”、“生成 API 文档”、“从 Spring 代码生成文档”时触发。

下载

class Main {
    // 自定义受检异常（继承 Exception，非 RuntimeException）
    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) {
        // ❌ 编译错误！以下两行均无法通过编译：
        // System.out.println(divide(5.0f, 0.0f));  // error: unreported exception DivisionByZeroException
        // System.out.println(divide(5.0f, 2.0f));  // 同样报错：未处理异常

        // ✅ 必须用 try-catch 或声明 throws
        try {
            System.out.println(divide(5.0f, 2.0f)); // 输出: 2.5
            System.out.println(divide(5.0f, 0.0f)); // 抛出 DivisionByZeroException
        } catch (DivisionByZeroException e) {
            System.err.println("Caught: " + e.getMessage());
        }
    }
}

⚠️ 注意事项：