分母为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