为什么 typeof NaN 返回“数字”？

Question

只是出于好奇。

typeof NaN 是数字似乎不太合乎逻辑。顺便说一下，就像 NaN === NaN 或 NaN == NaN 返回 false 一样。这是 javascript 的特性之一，还是有原因？

编辑：感谢您的回答。不过，要吸引人并不是一件容易的事。阅读答案和维基，我理解得更多，但仍然像

这样的句子

与 NaN 的比较总是返回一个无序的结果，即使与它自身进行比较也是如此。比较谓词是信令或非信令，信令版本表示此类比较的无效异常。等式和不等式谓词是无信号的，因此 x = x 返回 false 可用于测试 x 是否是安静的 NaN。

只是让我头晕目眩。如果有人可以将其翻译成人类（而不是数学家）可读的语言，我将不胜感激。

Answer 1

嗯，将“非数字”视为数字可能有点奇怪，但NaN 仍然是数字类型，尽管如此 :-)

NaN 只是表示特定值不能在数字类型的限制范围内表示（尽管对于所有必须四舍五入的数字都可以这么说，但NaN 是一种特殊情况）。

一个特定的NaN 不被认为等于另一个NaN，因为它们可能是不同的值。但是，NaN 仍然是数字类型，就像 2718 或 31415 一样。

---

至于你更新的问题，用外行的话来解释：

与 NaN 的比较总是返回无序的结果，即使与它自身进行比较也是如此。比较谓词是信令或非信令，信令版本表示此类比较的无效异常。等式和不等式谓词是无信号的，因此 x = x 返回 false 可用于测试 x 是否为安静的 NaN。

所有这些意思是（分解成部分）：

与 NaN 的比较总是返回无序的结果，即使与它自身比较也是如此。

基本上，NaN 不等于任何其他数字，包括另一个 NaN，甚至包括自身。

比较谓词是信号或非信号，信号版本表示此类比较的无效异常。

尝试在NaN 和另一个数字之间进行比较（小于、大于等）操作可能会导致抛出异常（信号）或结果为假（非信号或安静）。

等式和不等式谓词是无信号的，因此 x = x 返回 false 可用于测试 x 是否为安静的 NaN。

相等测试（等于，不等于）永远不会发出信号，因此使用它们不会导致异常。如果您有一个常规号码x，那么x == x 将始终为真。如果x 是NaN，那么x == x 将始终为假。它为您提供了一种轻松（安静地）检测NaN 的方法。

Answer 2

这意味着不是一个数字。这不是 javascript 的特性，而是常见的计算机科学原理。

来自http://en.wikipedia.org/wiki/NaN：

共有三种操作 返回 NaN：

以 NaN 作为至少一个操作数的操作

不确定的形式

• 0/0、∞/∞、∞/-∞、-∞/∞和-∞/-∞等分法
• 乘法 0×∞ 和 0×−∞
• 1^∞ 的幂
• ∞ + (−∞)、(−∞) + ∞ 加法和等效减法。

具有复杂结果的实际操作：

• 负数的平方根
• 负数的对数
• 90 度（或 π/2 弧度）的奇数倍的正切
• 小于 -1 或的数的反正弦或余弦 大于 +1。

所有这些值可能不同。一个对 NaN 的简单测试是测试 value == value 是否为假。

Answer 3

ECMAScript (JavaScript) 标准规定 Numbers 是 IEEE 754 浮点数，其中包括 NaN 作为可能值。

ECMA 262 5e Section 4.3.19：数值

与双精度 64 位二进制格式 IEEE 754 值对应的原始值。

ECMA 262 5e Section 4.3.23: NaN

数字值是 IEEE 754“非数字”值。

维基百科上的IEEE 754

IEEE 浮点算术标准是由电气和电子工程师协会制定的技术标准，是浮点计算中使用最广泛的标准 [...]

标准定义

• 算术格式：二进制和十进制浮点数据集，由有限数（包括有符号零和次正规数）、无穷大和特殊“非数字”值 (NaN) 组成

[...]

Answer 4

typeof NaN 返回'number' 因为：

• ECMAScript 规范说 Number 类型包括 NaN：

  4.3.20 Number type

  所有可能的数字值的集合，包括特殊的“非数字” (NaN) 值、正无穷和负无穷

• 所以typeof 相应地返回：

  11.4.3 The typeof Operator

  产生式 UnaryExpression : typeof UnaryExpression 是 评价如下：

  1. 令 val 为计算 UnaryExpression 的结果。
  2. 如果Type(val) 是Reference，那么
     1. 如果IsUnresolvableReference(val) 为true，则返回"undefined"。
     2. 设 val 为 GetValue(val)。
  3. 根据表 20 返回由Type(val) 确定的字符串。
     ​

                  Table 20 — typeof Operator Results
  ==================================================================
  |        Type of val         |              Result               |
  ==================================================================
  | Undefined                  | "undefined"                       |
  |----------------------------------------------------------------|
  | Null                       | "object"                          |
  |----------------------------------------------------------------|
  | Boolean                    | "boolean"                         |
  |----------------------------------------------------------------|
  | Number                     | "number"                          |
  |----------------------------------------------------------------|
  | String                     | "string"                          |
  |----------------------------------------------------------------|
  | Object (native and does    | "object"                          |
  | not implement [[Call]])    |                                   |
  |----------------------------------------------------------------|
  | Object (native or host and | "function"                        |
  | does implement [[Call]])   |                                   |
  |----------------------------------------------------------------|
  | Object (host and does not  | Implementation-defined except may |
  | implement [[Call]])        | not be "undefined", "boolean",    |
  |                            | "number", or "string".            |
  ------------------------------------------------------------------
  

此行为符合IEEE Standard for Floating-Point Arithmetic (IEEE 754)：

4.3.19 Number value

对应于双精度 64 位二进制的原始值 格式化 IEEE 754 值

4.3.23 NaN

数字值是 IEEE 754 “非数字”值

8.5 The Number Type

Number 类型正好有 18437736874454810627（即 2⁵³−2⁶⁴+3） 值，表示双精度 64 位格式 IEEE 754 二进制浮点的 IEEE 标准中指定的值 算术，除了 9007199254740990（即 2⁵³-2）不同 IEEE 标准的“非数字”值表示为 ECMAScript 作为单个特殊的 NaN 值。 （注意 NaN 值 由程序表达式NaN产生。）

Answer 5

NaN != NaN 因为它们不需要相同的非数字。因此，这很有意义... 还有为什么浮点数的 +0.00 和 -0.00 都不一样。舍入可能会导致它们实际上不为零。

至于 typeof，这取决于语言。而且大多数语言会说 NaN 是浮点数、双精度数或数字，具体取决于它们的分类方式……我知道没有任何语言会说这是未知类型或 null。

Answer 6

NaN 是一个有效的浮点值 (http://en.wikipedia.org/wiki/NaN)

and NaN === NaN 为假，因为它们不一定是相同的非数字

Answer 7

NaN 代表Not a Number。它是数值数据类型（通常是浮点类型，但不总是）的值，表示除以零等无效操作的结果。

虽然它的名字说它不是数字，但用来保存它的数据类型是数字类型。所以在 JavaScript 中，询问NaN 的数据类型将返回number（正如alert(typeof(NaN)) 清楚地展示的那样）。

Answer 8

Javascript 使用 NaN 来表示它遇到的任何其规范无法以其他方式表示的事物。这并不意味着它不是一个数字。这只是描述相遇的最简单的方式。 NaN 表示它或引用它的对象不能用 javascript 以任何其他方式表示。出于所有实际目的，它是“未知的”。作为“未知”，它不能告诉你它是什么，即使它是它自己。它甚至不是分配给它的对象。它只能告诉你它不是什么，而不是或虚无只能用编程语言在数学上描述。由于数学是关于数字的，javascript 将虚无表示为 NaN。这并不意味着它不是一个数字。这意味着我们无法以任何其他有意义的方式阅读它。这就是为什么它甚至不能与自己相等。因为没有。

Answer 9

NaN 的更好名称是数值异常，可以更准确、更简洁地描述其含义。它实际上是另一种伪装成具有原始类型的异常对象（通过语言设计），同时在错误的自我比较中它不被视为原始类型。混乱从何而来。而且只要语言“不会下定决心”在适当的异常对象和原始数字之间进行选择，混乱就会继续存在。

NaN 与 == 和 === 之间臭名昭著的不相等性是强制此异常对象成为原始类型的令人困惑的设计的表现。这打破了原语由其值唯一确定这一基本原则。如果NaN 更倾向于被视为例外（其中可以有不同的种类），那么它不应该作为原始“出售”。如果它想要是原始的，那么这个原则就必须成立。只要它被破坏，就像我们在 JavaScript 中那样，并且我们无法在两者之间做出真正的决定，导致每个相关人员不必要的认知负担的混乱就会继续存在。但是，只需在两者之间做出选择，就很容易解决这个问题：

• 要么使NaN 成为一个特殊的异常对象，其中包含有关异常如何产生的有用信息，而不是将这些信息作为当前实现的内容丢弃，从而导致代码更难调试；
• 或将NaN 设为基本类型number 的实体（可以不那么容易混淆地称为“数字”），在这种情况下，它应该等于自身并且不能包含任何其他信息；后者显然是次等选择。

将NaN 强制转换为number 类型的唯一可想象的优势是能够将其重新转换为任何数值表达式。然而，这使它成为一个脆弱的选择，因为任何包含NaN 的数值表达式的结果要么是NaN，要么导致不可预测的结果，例如NaN < 0 评估为false，即返回boolean 而不是保留异常。

即使“事情就是这样”，也没有什么能阻止我们为自己做出明确的区分，以帮助我们的代码更可预测和更容易调试。在实践中，这意味着识别这些异常并将它们作为异常处理。不幸的是，这意味着更多的代码，但希望会被 Flowtype 的 TypeScript 等工具减轻。

然后我们有凌乱的quiet vs noisy aka signalling NaN distinction。这实际上是关于如何处理异常，而不是异常本身，与其他异常没有什么不同。

同样，Infinity 和 +Infinity 是出现在 extension of the real line 中的数字类型的元素，但它们不是实数。在数学上，它们可以用收敛到+ 或-Infinity 的实数序列来表示。

Answer 10

这仅仅是因为NaN是JS中Number对象的一个​​属性，与它是一个数字无关。

Answer 11

考虑 NAN 的最佳方式是它不是一个已知数。这就是为什么 NAN != NAN 因为每个 NAN 值都代表一些唯一的未知数。 NAN 是必要的，因为浮点数的值范围有限。在某些情况下，舍入会发生在低位丢失的情况下，这会导致看起来像 1.0/11*11 != 1.0 这样的废话。真正更大的值是无穷大的 NAN 就是一个很好的例子。

鉴于我们只有十根手指，任何显示大于 10 的值的尝试都是不可能的，这意味着这些值必须是 NAN，因为我们已经失去了大于 10 值的真实值。浮点值也是如此，其中的值超出了浮点数的限制。

Answer 12

NaN 仍然是数字类型，但它表示的值不能表示有效数字。

Answer 13

因为 NaN 是数值数据类型。

Answer 14

NaN 从类型的角度来看是一个数字，但不是像 1、2 或 329131 这样的普通数字。“Not A Number”这个名称指的是值表示是特殊的，是关于 IEEE 格式规范域，而不是 javascript 语言域。

Answer 15

如果使用 jQuery，我更喜欢 isNumeric 而不是检查类型：

console.log($.isNumeric(NaN));  // returns false
console.log($.type(NaN));       // returns number

http://api.jquery.com/jQuery.isNumeric/

Answer 16

Javascript 只有一种数字数据类型，即标准的 64 位双精度浮点数。一切都是双重的。 NaN 是 double 的一个特殊值，但它仍然是一个 double。

parseInt 所做的只是将您的字符串“转换”为数字数据类型，因此结果是 always "number";仅当原始字符串不可解析时，其值为 NaN。

Answer 17

我们可以说 NaN 是一个特例对象。在这种情况下，NaN 的对象表示一个没有数学意义的数字。数学中还有一些其他特殊情况对象，例如 INFINITE 等。

你仍然可以用它做一些计算，但这会产生奇怪的行为。

更多信息在这里：http://www.concentric.net/~ttwang/tech/javafloat.htm（基于 java，不是 javascript）

Answer 18

你必须喜欢 Javascript。它有一些有趣的小怪癖。

http://wtfjs.com/page/13

如果你停下来从逻辑上解决它们，或者如果你对数论有所了解，大多数这些怪癖都可以解释，但如果你不了解它们，它们仍然可以抓住你。

顺便说一句，我建议阅读http://wtfjs.com/ 的其余部分——还有比这个更有趣的怪癖！

Answer 19

值 NaN 实际上是 Number.NaN 因此当您询问它是否是数字时，它会说是。您通过使用 isNaN() 调用做了正确的事情。

有关信息，NaN 也可以通过对未定义的数字的操作返回，例如除以零或负数的平方根。

Answer 20

它是数字类型的特殊值，如 POSITIVE_INFINITY

为什么？按设计

Answer 21

一个例子

假设我们正在将字符串转换为数字：

Number("string"); // returns NaN

我们将数据类型更改为数字，但它的值不是数字！