"isNaN(INFINITY)==false" 为假

Question

在任何标准数学中，无穷大都不是一个数字，这会让人们想到表达式

Double.isNaN(Double.POSITIVE_INFINITY)

应该评估为true。但是，快速测试显示它的计算结果为false。仔细查看函数规范证实了我的怀疑：“isNaN”不应被解释为“不是数字”，而是“是一个非数字值”。

我的问题是他们为什么要这样实现它？为什么他们不以这样一种方式实现它，即它也将返回 false 以表示正无穷或负无穷？

实际上，我现在使用(Double.isNaN(x) || Double.isInfinite(x)) 的频率比我只使用Double.isNaN(x) 的频率要高。因此，最好分别使用Double.isNaN(x) 和(Double.isNaN(x) && !Double.isInfinite(x))。

即使现在更改它会令人困惑 - 以我在此处描述的方式实现和解释该功能不是更好吗？

还有哪些其他考虑因素在这里起作用？

PS：请省略对排中律的任何评论。 ;)

Answer 1

博士。威廉·卡汉 (William Kahan) 在IEEE-754.

中有许多文章解释了他对这些决定背后的想法

• 讲义涵盖基本原理：http://www.laputan.org/pub/papers/ieee754.pdf
• 他的网页上的论文在这里：http://www.cs.berkeley.edu/~wkahan/
• 如果你对历史感兴趣，可以在这里采访：http://www.cs.berkeley.edu/~wkahan/ieee754status/754story.html

我建议你阅读他的作品以了解其中的原因。他是IEEE-754背后的主要力量之一，所以最好从马的嘴里得到答案。

顺便说一句，从技术上讲，+/-Inf 是 affinely extended real number system. 中的数字所以，仅出于这个原因，我希望 isNaN 在无穷大时返回 false。

Answer 2

你错了。如果您查看高级数学，无穷大通常被视为一个数字。例如，在复杂分析中，它通常是 1+0i（取决于选择的投影，它可能是不同的值）。也就是说，IEEE 754 将无穷大 no 定义为 NaN 是完全合理的。 NaN 用于未定义数学表达式的地方，例如无限乘以 0。

Answer 3

您正在寻找 for isFinite，这是一个在无穷大和 NaN 上返回 false 的函数。出于显而易见的原因，沿 isNaN 的行调用此函数或其否定会令人困惑（一个好的做法是避免名称中不必要的否定，因此您正在考虑的 isnotanumber 函数最好命名为 @ 987654328@。这个函数存在，叫isFinite)。