(转）undefined与null的区别

大多数计算机语言，有且仅有一个表示"无"的值，比如，C语言的NULL，Java语言的null，Python语言的none，Ruby语言的nil。

　　有点奇怪的是，JavaScript语言居然有两个表示"无"的值：undefined和null。这是为什么？

一、相似性

　　在JavaScript中，将一个变量赋值为undefined或null，老实说，几乎没区别。

var a = undefined;

var a = null;
　　上面代码中，a变量分别被赋值为undefined和null，这两种写法几乎等价。

　　undefined和null在if语句中，都会被自动转为false，相等运算符甚至直接报告两者相等。

if (!undefined)
    console.log('undefined is false');
// undefined is false

if (!null)
    console.log('null is false');
// null is false

undefined == null
// true
　　上面代码说明，两者的行为是何等相似！

　　既然undefined和null的含义与用法都差不多，为什么要同时设置两个这样的值，这不是无端增加JavaScript的复杂度，令初学者困扰吗？Google公司开发的JavaScript语言的替代品Dart语言，就明确规定只有null，没有undefined！

　　二、历史原因

　　最近，我在读新书《Speaking JavaScript》时，意外发现了这个问题的答案！

　　原来，这与JavaScript的历史有关。1995年JavaScript诞生时，最初像Java一样，只设置了null作为表示"无"的值。

　　根据C语言的传统，null被设计成可以自动转为0。


Number(null)
// 0

5 + null
// 5
　　但是，JavaScript的设计者Brendan Eich，觉得这样做还不够，有两个原因。

　　首先，null像在Java里一样，被当成一个对象。


typeof null
// "object"
　　但是，JavaScript的数据类型分成原始类型（primitive）和合成类型（complex）两大类，Brendan Eich觉得表示"无"的值最好不是对象。

　　其次，JavaScript的最初版本没有包括错误处理机制，发生数据类型不匹配时，往往是自动转换类型或者默默地失败。Brendan Eich觉得，如果null自动转为0，很不容易发现错误。

　　因此，Brendan Eich又设计了一个undefined。
三、最初设计

　　JavaScript的最初版本是这样区分的：null是一个表示"无"的对象，转为数值时为0；undefined是一个表示"无"的原始值，转为数值时为NaN。


Number(undefined)
// NaN

5 + undefined
// NaN
四、目前的用法

　　但是，上面这样的区分，在实践中很快就被证明不可行。目前，null和undefined基本是同义的，只有一些细微的差别。

　　null表示"没有对象"，即该处不应该有值。典型用法是：

（1） 作为函数的参数，表示该函数的参数不是对象。

（2） 作为对象原型链的终点。


Object.getPrototypeOf(Object.prototype)
// null
　　undefined表示"缺少值"，就是此处应该有一个值，但是还没有定义。典型用法是：

（1）变量被声明了，但没有赋值时，就等于undefined。

（2) 调用函数时，应该提供的参数没有提供，该参数等于undefined。

（3）对象没有赋值的属性，该属性的值为undefined。

（4）函数没有返回值时，默认返回undefined。

var i;
i // undefined

function f(x){console.log(x)}
f() // undefined

var  o = new Object();
o.p // undefined

var x = f();
x // undefined

-----------------------------------
补充：
1.null 和 undefined在现代JS语义里面是有明确区别的：

null 表示一个值被定义了，定义为“空值”；
undefined 表示根本不存在定义。

所以设置一个值为 null 是合理的，如
objA.valueA = null;
但设置一个值为 undefined 是不合理的，如
objA.valueA = undefined; // 应该直接使用 delete objA.valueA; 任何一个存在引用的变量值为undefined都是一件错误的事情。

这样判断一个值是否存在，就可以用
objA.valueA === undefined // 不应使用 null 因为 undefined == null，而 null 表示该值定义为空值。

这个语义在JSON规范中被强化，这个标准中不存在 undefined 这个类型，但存在表示空值的 null 。在一些使用广泛的库（比如jQuery）中的深度拷贝函数会忽略 undefined 而不会忽略 null ，也是针对这个语义的理解。

2. JS 中同时存在 undefined 和 null 是合理的。
首先在 Java 中不存在 undefined 是很合理的：Java 是一个静态类型语言，对于 Java 来说不可能存在一个“不存在”的成员（不存在的话直接就编译失败了），所以只用 null 来表示语义上的空值。而 JavaScript 是一门动态类型语言，成员除了表示存在的空值外，还有可能根本就不存在（因为存不存在只在运行期才知道），所以这就要一个值来表示对某成员的 getter 是取不到值的。
至于 dart 不存在 null, 最大原因恐怕是 dart 像 java 一样是一个静态类型语言（或者说是一个有编译期静态类型检查的语言，在运行期并不进行类型检查），所以可以不需要设立一个 undefined 这样的类型。
虽然这两个东西的区别确实会令初学者困扰，但掌握并理解这两个值的语义实际上和理解 prototype/scope 一样是非常重要的。