当两个值都是双倍时，为什么没有AlithmeticException（divide by zero）？[副本]

Question

double.java的源代码和一些常量类似

/**
 * Constant for the Not-a-Number (NaN) value of the {@code double} type.
 */
public static final double NaN = 0.0 / 0.0;

/**
 * Constant for the positive infinity value of the {@code double} type.
 */
public static final double POSITIVE_INFINITY = 1.0 / 0.0;

/**
 * Constant for the negative infinity value of the {@code double} type.
 */
public static final double NEGATIVE_INFINITY = -1.0 / 0.0;

但我想知道为什么它不抛出AlithmeticException（divide by zero）？

我已经试过了

 public static final int VALUE = 0/0;

 public static final double VALUE = 0d/0d;

它没有抛出异常...

double有什么魔力，为什么它不抛出异常？

Answer 1

“神奇”之处在于Java浮点表示是基于IEE754浮点标准的。它有一个特殊的值(NaN)，它表示零除以零时得到的“不定值”。（还有表示正无穷大和负无穷大的值；例如1.0/0.0给出INF-正无穷大。）

Java语言规范中包含了这一点；参见第§4.2.3节，其中讨论了表示法；第§4.2.4节，其中讨论了算术是如何工作的。

注意，同样的“魔力”适用于float、double、float和double。