分母为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 的解释

扩展

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

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

我们看下 double 中对 NaN 的解释

总结

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

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

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

以上同样适用于 float