分母为0一定会抛异常吗？

现象描述

最近做了一个需求，用到了预算 / 时间窗口数，其中预算是double类型，时间窗口数是int类型，其中时间窗口数我计算的有问题，会出现为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的解释 file

扩展

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

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

我们看下double中对NaN的解释 file

总结

1.浮点数在运算时，如果遇到分母为0的情况，会用一个代表无限的Infinity来表示，而遇到分子和分母都为0的情况，用NaN来表示。

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

3.并不是所有的分母为0都会抛异常

以上同样适用于float