Java 中对 int/long 等整型数除零会抛出 ArithmeticException，但对 double/float 除零不会——而是返回 Infinity 或 NaN，因此 try-catch 无法捕获；需手动检查分母是否为零并显式抛出异常。
java 中对 `int`/`long` 等整型数除零会抛出 `arithmeticexception`，但对 `double`/`float` 除零不会——而是返回 `infinity` 或 `nan`，因此 `try-catch` 无法捕获；需手动检查分母是否为零并显式抛出异常。
在 Java 中，除零行为因数据类型而异，这是初学者常被误导的关键点：
✅ 整型除零（int, long, short, byte）：
运行时严格抛出 java.lang.ArithmeticException: / by zero，可被 catch(ArithmeticException e) 捕获。-
❌ 浮点型除零（double, float）：
不会抛出异常！依据 IEEE 754 标准：- 10.0 / 0.0 → 返回 Double.POSITIVE_INFINITY
- -5.0 / 0.0 → 返回 Double.NEGATIVE_INFINITY
- 0.0 / 0.0 → 返回 Double.NaN
因此，try-catch(ArithmeticException) 对 double 除零完全无效——这也是你原代码未触发异常的根本原因。
正确做法：主动校验 + 显式抛出
要统一处理“除零错误”（无论类型），必须在执行除法前手动判断分母是否为零，并在必要时抛出 ArithmeticException：
public static double safeDivide(double dividend, double divisor) {
if (divisor == 0.0) {
throw new ArithmeticException("Division by zero is not allowed for floating-point numbers");
}
return dividend / divisor;
}
完整可运行示例
import java.util.Scanner;
public class SafeDivisionDemo {
public static void main(String[] args) {
Scanner scanner = new Scanner(System.in);
System.out.print("Enter dividend (double): ");
double a = scanner.nextDouble();
System.out.print("Enter divisor (double): ");
double b = scanner.nextDouble();
try {
double result = safeDivide(a, b);
System.out.printf("Result: %.6f%n", result);
} catch (ArithmeticException e) {
System.err.println("❌ Error: " + e.getMessage());
} finally {
scanner.close();
}
}
public static double safeDivide(double dividend, double divisor) {
// 注意：使用 == 判断 double 零是安全的（0.0、-0.0 均满足）
if (divisor == 0.0) {
throw new ArithmeticException("Division by zero");
}
return dividend / divisor;
}
}
⚠️ 注意事项与最佳实践
- 不要依赖 Double.isInfinite() 或 Double.isNaN() 事后检测：这属于“补救式编程”，违背防御性设计原则；
- 避免 Double.compare(divisor, 0.0) == 0 等冗余写法：== 对 0.0 是精确且推荐的；
- 若需支持 Float，逻辑一致：if (divisor == 0.0f) throw ...；
- 业务场景建议封装为工具方法（如 MathUtils.divide(a, b)），统一异常语义和日志；
- 警惕 -0.0：Java 中 -0.0 == 0.0 为 true，无需特殊处理（IEEE 754 规定两者相等）。
总结
Java 的异常机制不覆盖浮点除零，这是语言设计对 IEEE 754 的尊重，而非缺陷。真正的健壮性来自前置校验而非被动捕获。将 if (divisor == 0) throw new ArithmeticException(...) 作为浮点除法的标配步骤，即可实现与整型一致的错误控制流，让程序逻辑清晰、可预测、易调试。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
