现象描述

最近做了一个需求,用到了 a / b,其中a是double类型,b是int类型,其中b我计算的有问题,会出现为0的情况(实际最小值应该为1),然后就出现了 一个double类型的数除以0的情况,分母为0,是不是要报 java.lang.ArithmeticException: / by zero?(不蛮大家,我最初也是这样认为的,但这个异常是针对整数的,浮点数运算引入了无限的概念)

结果没有抛出异常,而是返回了 Infinity

复现

@Test public void test() { double price = 100d; int num = 0; System.out.println(price / num); // 输出结果为 Infinity }

分析

浮点数引入无限的概念来处理这种分母为0的情况,Infinity主要是为了解决除数为0的情况,上面的例子是正的Infinity,其实还有负的Infinity,如下例子所示

@Test public void test() { double price = 100d; int num = 0; System.out.println(- price / num); // 输出结果为 -Infinity }

我们看下double中对Infinity和-Infinity的解释

java空值是一个值吗(java:分母为0一定会抛异常吗)(1)

扩展

浮点数除了有Infinity,还有NaN,用来表示 0 / 0

@Test public void test() { int num = 0; System.out.println(0d / num); // 输出结果为 NaN }

我们看下double中对NaN的解释

java空值是一个值吗(java:分母为0一定会抛异常吗)(2)

总结

1 异常java.lang.ArithmeticException: / by zero 是针对整数的

类似3/0或0/0 则会抛出异常java.lang.ArithmeticException

2 分子分母中有一个或两个都是小数,且分母为0分子不为0

类似3.0/0或3/0.0,则运行结果是Infinity(无穷大)

因为如果包含小数,即是浮点型数据,则另一个数据也会先转换成浮点型数据后再参与运算,而0.0并不是真正意义上的0,它只不过是非常接近0而已,所以一个非零的数除以一个接近0的数就是无穷(包括正无穷和负无穷)

3 分子分母都是0,且其中一个或两个都是小数

类似0/0.0 或0.0/0,运行结果是NaN(Not an Number)

因为分子分母都会转换成浮点数,而0.0并不是真正意义上的0,它只不过是非常接近0,两个接近0的数相除,所以运行结果是NaN.

,