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），否则编译失败。
✅ 正确做法：定义并使用自定义受检异常
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());
}
}
}⚠️ 注意事项：
- 不要直接 throws Exception（过于宽泛，破坏异常语义，且易被滥用）；
- 避免继承 RuntimeException（会导致再次变成非受检异常，失去强制约束力）；
- 受检异常适用于可预期、可恢复的业务异常场景（如除零、文件不存在、网络超时），而非编程错误（如空指针）；
- 若坚持使用ArithmeticException，唯一“强制”方式是运行时检查+文档约定，但无法获得编译期保障。
总结：Java的异常强制机制仅对受检异常生效。要让divide()真正“拒绝裸调用”，必须用自定义Exception子类替代ArithmeticException，这是实现API契约与健壮性设计的关键实践。
