java 中 `throws arithmeticexception` 无效，因为 `arithmeticexception` 是运行时异常（unchecked），编译器不强制处理；要实现“必须在 try 块中调用”的约束，需改用自定义的**检查型异常（checked exception）**。
在 Java 异常体系中，只有检查型异常（checked exceptions）——即继承自 Exception 但不继承自 RuntimeException 的异常——才会被编译器强制要求处理：要么用 try-catch 捕获，要么在调用方法签名中声明 throws。而 ArithmeticException 属于 RuntimeException 的子类，属于非检查型异常（unchecked），因此即使你写 throws ArithmeticException，编译器也完全忽略该声明，调用方无需任何异常处理即可编译通过，自然也不会触发“Unhandled exception”错误提示。
要真正实现“函数必须被 try 块保护”的设计意图，必须使用检查型异常。以下是推荐的实现方式：
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.0f) {
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)); // 输出: 2.5
System.out.println(divide(5.0f, 0.0f)); // 抛出 DivisionByZeroException
} catch (DivisionByZeroException e) {
System.err.println("Caught: " + e.getMessage());
}
// ❌ 编译错误！以下代码无法通过编译：
// System.out.println(divide(5.0f, 0.0f));
// ↑ 提示：unreported exception DivisionByZeroException; must be caught or declared to be thrown
}
}⚠️ 注意事项：
- 不要使用 throws Exception 或 throws Throwable —— 这虽是检查型异常，但过于宽泛，违背异常设计原则（应具体、语义明确）；
- 避免继承 RuntimeException 来“伪装”检查型行为，这会绕过编译器检查，失去约束力；
- 浮点除零（如 5.0f / 0.0f）在 Java 中实际返回 Infinity 而非抛异常，因此本例中的 y == 0.0f 判断是业务逻辑层面的防护，与 JVM 的浮点运算规则无关；若需严格数学语义，建议统一使用 BigDecimal 或明确约定零值禁止输入。
总结：Java 的异常强制机制仅对检查型异常生效。想让调用者“不得不”处理异常，核心不是“抛什么”，而是“抛一个编译器认的 checked exception”。自定义 Exception 子类是最清晰、最符合规范的实践方案。
