如何证明未定义类型只有一个值？

Question

阅读 JavaScript Garden 后，我做了如下笔记，但是否可以证明第 2 点。请验证&也纠正我的其他证明。

1. 未定义是一种类型。
2. 未定义类型只有一个 价值。该值未定义。
3. 有一个全局变量叫 未定义的
4. 全局未定义变量有 默认值 undefined
5. 全局未定义变量不是 常量
6. 未定义不是关键字

证明（在firebug控制台中测试）

1. typeof undefined \\undefined 
 2. Need proof
 3. var name = undefined;  \\ global
    variable undefined is assigned to
    name
 4. alert(name); \\ undefined, that
    means undefined global variable has
    value undefined
 5. undefined = 'rajakvk';  \\ we can
    change value
 6. var undefined = 'rajakvk';  \\ no
    syntax error

var if = 'rajakvk';  \\ SyntaxError: missing variable name

谢谢http://w3fools.com /#应该做什么

Answer 1

您可以通过查看语言规范来证明这一点。没有可以在解释器中运行的测试来证明这一点。这样的测试只能证明解释器是否符合规范。规范定义了“未定义”。

语言规范第 8.1 节说

8.1 未定义类型

未定义类型只有一个值，称为
未定义。任何没有出现过的变量
被赋值有值
未定义。

并且恰好有一个类型 typeof 将返回 "undefined"。来自规范第 11.4.3 节：

表 20 — typeof 运算符结果

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

Answer 2

正确的证明是：

undefined = 1;
alert(typeof undefined !== 'undefined'); // need to be true

它必须是真的，因为您已将未定义的变量值更改为与未定义类型不同的任何值。