java中`throws arithmeticexception`无效，因为`arithmeticexception`是运行时异常（unchecked），编译器不强制处理；要实现“必须用try-catch调用”的约束，需改用自定义的**检查型异常（checked exception）**。
在Java中，异常分为两类：检查型异常（checked exceptions） 和 非检查型异常（unchecked exceptions）。ArithmeticException 属于后者（继承自 RuntimeException），其核心特性是：编译器不会强制要求调用方捕获或声明抛出——这正是你代码中未出现“Unhandled exception”错误的原因。无论是否加 throws ArithmeticException，编译均通过，运行时若触发也仅会中断程序（除非主动捕获），而不会在编译阶段报错。
要真正实现“函数必须被 try-catch 包裹”的契约式约束，必须使用检查型异常（即直接或间接继承自 Exception，但不继承 RuntimeException）。此时，编译器会在调用该方法时强制要求：要么用 try-catch 捕获，要么在调用方法签名中用 throws 声明继续上抛。
✅ 正确做法：定义自定义检查型异常类，并在方法中 throws 它：
Java开发手册规约集合，基于阿里巴巴Java开发手册（嵩山版）。 涵盖7大维度：编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。
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 == 0f) {
throw new DivisionByZeroException("Cannot divide by 0!");
}
return x / y;
}
public static void main(String[] args) {
// ❌ 编译错误！未处理 checked exception
// System.out.println(divide(5.0f, 0.0f));
// ✅ 正确：用 try-catch 处理
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（过于宽泛，破坏API清晰性，且易被滥用）；
- 避免继承 RuntimeException 来“伪装”检查型行为——这将再次失去编译期强制力；
- float y == 0f 判断在浮点运算中存在精度局限，生产环境建议结合 Float.isZero(y) 或使用 BigDecimal 进行精确除零校验；
- 若需保留原有 ArithmeticException 语义，可在 catch 块中包装重抛为检查型异常，实现统一错误模型。
总结：Java 的异常强制机制仅对 checked exception 生效。“让函数必须被 try 包裹”本质是一个编译期契约设计问题，而非运行时行为控制。唯有通过自定义 checked exception 并严格遵循 throws + 调用方处理规则，才能在编码阶段就保障异常处理的完整性与可维护性。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
