为什么除以0时RuntimeException不起作用？

Question

我想知道为什么执行这段代码时没有抛出runtimeexception（确切地说是ArithmethicException):

代码：

public class Proba {
    public static void main(String[] args) {
        Double d = new Double(5.0);
        try {
            d = d / 0;
        } catch (Exception e) {
            System.out.println("Error division by zero!");
        }
        System.out.println("d = " + d);
    }
}

d = Infinity

C:\Documents and Settings\Admintemp>java -version
java version "1.7.0"
Java(TM) SE Runtime Environment (build 1.7.0-b147)
Java HotSpot(TM) Client VM (build 21.0-b17, mixed mode, sharing)

null

Answer 1

这是可能的，因为Java遵循IEEE浮点除法标准。

诚然，整数除以0将抛出ArithmeticException，但浮点除以0将产生Infinity的特殊浮点值。

为了更详细地说明，JLS第15.17.2节说：

[I]如果整数除法中的除数的值为0，则抛出AlithmeticException。

而且

浮点除法的结果由IEEE 754算术规则确定：

（剪辑）

一个非零的有限值除以一个零得到一个有符号的无穷大。符号由上述规则确定。

标志提供了可预测的控制流和速度。它们的使用要求程序员意识到异常情况，但标志粘性允许程序员延迟处理异常情况，直到必要时。