Question 1

好吧，将称为“非数字”的东西视为数字，但NaN仍然是数字类型，这似乎有点奇怪，尽管如此:-)

NaN只是意味着无法在数字类型的限制范围内表示特定值（尽管对于必须四舍五入以适合的所有数字，但这NaN是一种特殊情况）。

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

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

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

所有这些都意味着（分解成几个部分）：

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

基本上， aNaN不等于任何其他数字，包括 another NaN，甚至包括它自己。

比较谓词是信令或非信令，信令版本为此类比较发出无效异常信号。

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

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

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

Question 2

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

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

有三种返回 NaN 的操作：

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

不确定形式

除法 0/0、∞/∞、∞/−∞、−∞/∞ 和 −∞/−∞

0×∞ 和 0×−∞ 乘法

幂 1^∞

加法 ∞ + (−∞)、(−∞) + ∞ 和等效减法。

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

负数的平方根

负数的对数

90 度（或 π/2 弧度）的奇数倍的切线

小于 -1 或大于 +1 的数字的反正弦或余弦。

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

Question 3

ECMAScript (JavaScript) 标准指定Numbers为IEEE 754浮点数，其中包括NaN一个可能的值。

ECMA 262 5e 第 4.3.19 节：数值

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

ECMA 262 5e 第 4.3.23 节：NaN

作为 IEEE 754“非数字”值的数字值。

维基百科上的IEEE 754

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

该标准定义了

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

[...]

Question 4

typeof NaN返回，'number'因为：

ECMAScript 规范说 Number 类型包括 NaN：

4.3.20 号码类型

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

因此相应地typeof返回：

11.4.3 运算符的类型

产生式UnaryExpression : typeof UnaryExpression的计算方式如下：

令val为评估UnaryExpression的结果。
如果Type ( val ) 是Reference，则
1. 如果IsUnresolvableReference ( val ) 为真，则返回"undefined"。
2. 令val为GetValue ( val )。
返回字符串确定由类型（VAL根据表20）。

                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 浮点算术标准 (IEEE 754)：

4.3.19 数值

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

4.3.23 南

作为 IEEE 754“非数字”值的数字值

8.5 号码类型

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

Question 5

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

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

Answer 1