最近在看《JavaScript高级程序设计》一书，书中讲到相等操作符(==)时说，要比较相等性之前，不能将 null 和 undefined 转换成其他任何值，但要记住 null == undefined 会返回 true 。的确，在ECMAScipt规范中也是这样定义的，但我认为这样来理解这件事情，似乎有些浮于表面，网上也有很多关于这个问题的文章，下面我希望从一个全新的角度来分析 null 和 undefined ，从而理解两者为何会相等：

1、语义和场景不同

Undefined 和 Null 是 Javascript 中两种特殊的原始数据类型(Primary Type)，它们都只有一个值，分别对应 undefined 和 null 。

undefined 的字面意思就是未定义的值，这个值希望表示一个变量最原始的状态，而非人为操作的结果， 这种原始状态会在以下两种场景中出现：

• 声明了一个变量，但没有赋值，如 var foo;
• 访问对象上不存在的属性，如果 Object.foo;

对于场景1，console.log(foo) 时，会返回 undefined，表示这个变量自从声明了以后，就从来没有使用过，也没有定义过任何有效的值，即处于一种原始而不可用的状态。

对于场景2，console.log(Object.foo) 也会返回 undefined，表示Object 上不存在或者没有定义名为 “foo” 的属性。

null 的字面意思是 空值 ，这个值希望表示 一个对象被人为的重置为空对象，而非一个变量最原始的状态， 在内存里的表示就是，栈中的变量没有指向堆中的内存对象，即：

当一个对象被赋值了null 以后，原来的对象在内存中就处于游离状态，GC 会择机回收该对象并释放内存。因此，如果需要释放某个对象，就将变量设置为null，即表示该对象已经被清空，目前无效状态。试想一下，如果此处把 null 换成 undefined 会不会感到别扭? 显然语义不通，其操作不能正确的表达人想要的行为。

与 null 相关的另外一个问题需要解释一下：

typeof null == 'object'

null 有属于自己的类型Null，而不属于Object类型，typeof 之所以会判定为 Object 类型，是因为所有的数据类型在底层都是以二进制的形式表示的，二进制的前三位为 0 会被typeof判定为 Object 类型，而 null 的二进制位都是 0 ，因此 null 被误以为是 Object 类型。　

2、表示的内容相似

虽然 undefined 和 null 的语义和场景不同，但总而言之，它们都表示的是一个无效的值。 因此，在JS中对这类值访问属性时，都会得到异常的结果：

ECMAScript 规范认为，既然 null 和  undefined 都表示 一个无效的值，那么它们所表示的内容是相似，即有

undefined == null; //true

不要试图通过转换数据类型来解释这个结论，因为：

但 === 会返回 false ，因为两者不属于同一种类型：

undefined === null; //false

3、总结和应用

用一句话总结 undefined 和 null 的区别就是，undefined 表示一个变量自然的、最原始的状态值，而 null 则表示一个变量被人为的设置为空对象，而不是原始状态。当然，你完全可以手动给一个变量设置为 undefined，但这样做没有意义，因为一个变量不赋值就是 undefined。所以，在实际使用过程中，为了保证变量所代表的语义，不要对一个变量显式的赋值 undefined，当需要释放一个对象时，直接赋值为 null 即可。

原创发布 @一像素 2017.08