最近在看《JavaScript高级程序设计》一书，书中讲到相等操作符(==)时说，要比较相等性之前，不能将 null 和 undefined 转换成其他任何值，但要记住 null == undefined 会返回 true 。的确，在ECMAScipt规范中也是这样定义的，但我认为这样来理解这件事情，似乎有些浮于表面，网上也有很多关于这个问题的文章，下面我希望从一个全新的角度来分析 null 和 undefined ，从而理解两者为何会相等：
1、语义和场景不同
Undefined 和 Null 是 Javascript 中两种特殊的原始数据类型(Primary Type)，它们都只有一个值，分别对应 undefined 和 null 。
undefined 的字面意思就是未定义的值，这个值希望表示一个变量最原始的状态，而非人为操作的结果， 这种原始状态会在以下两种场景中出现：
- 声明了一个变量，但没有赋值，如 var foo;
- 访问对象上不存在的属性，如果 Object.foo;
var foo; console.log(foo); //undefined
访问foo，返回了undefined，表示这个变量自从声明了以后，就从来没有使用过，也没有定义过任何有效的值，即处于一种原始而不可用的状态。
console.log(Object.foo); // undefined
访问Object对象上的foo属性，同样也返回 undefined ， 表示Object 上不存在或者没有定义名为 “foo” 的属性。
因此，undefined 值产生的来源一般不是人为赋值的，而是变量的原始状态，当然，你也可以手动给一个变量赋值 undefined，但这样做没有意义，因为一个变量不赋值就是 undefined 。
null 的字面意思是 空值 ，这个值希望表示 一个对象被人为的重置为空对象，而非一个变量最原始的状态， 在内存里的表示就是，栈中的变量没有指向堆中的内存对象，即：
当一个对象被赋值了null 以后，原来的对象在内存中就处于游离状态，GC 会择机回收该对象并释放内存。因此，如果需要释放某个对象，就将变量设置为null，即表示该对象已经被清空，目前无效状态。试想一下，如果此处把 null 换成 undefined 会不会感到别扭? 显然语义不通，其操作不能正确的表达人想要的行为。
与 null 相关的另外一个问题需要解释一下：
typeof null == ‘object‘
null 有属于自己的类型 Null，而不属于Object类型，typeof 之所以会判定为 Object 类型，是因为JavaScript 数据类型在底层都是以二进制的形式表示的，二进制的前三位为 0 会被 typeof 判断为 对象类型，而 null 的二进制位恰好都是 0 ，因此，null 被误以为是 Object 类型。
- 000：对象，数据是对象的应用。
- 1：整型，数据是31位带符号整数。
- 010：双精度类型，数据是双精度数字。
- 100：字符串，数据是字符串。
- 110：布尔类型，数据是布尔值。
其实，我们可以通过另一种方法获取 null的真实类型：
Object.prototype.toString.call(null) ; // [object Null]
通过Object原型上的toString() 方法可以获取到JavaScript 中对象的真实数据类型，当然 undefined 类型也可以通过这种方式来获取：
Object.prototype.toString.call(undefined) ; // [object Undefined]
2、表示的内容相似
虽然 undefined 和 null 的语义和场景不同，但总而言之，它们都表示的是一个无效的值。 因此，在JS中对这类值访问属性时，都会得到异常的结果：
ECMAScript 规范认为，既然 null 和 undefined 的行为很相似，并且都表示 一个无效的值，那么它们所表示的内容也是相似的，即有
undefined == null; //true
不要试图通过转换数据类型来解释这个结论，因为：
Number(null); // 0 Number(undefined); // NaN //在比较相等性之前，null 没有被转换为其他类型 null == 0 ; //false
但 === 会返回 false ，因为全等操作 === 在比较相等性的时候，不会主动转换分项的数据类型，而两者又不属于同一种类型：
undefined === null; //false，类型不相同 undefined !== null; //true, 类型不相同
3、总结和应用
用一句话总结两者的区别就是，undefined 表示一个变量自然的、最原始的状态值，而 null 则表示一个变量被人为的设置为空对象，而不是原始状态。所以，在实际使用过程中，为了保证变量所代表的语义，不要对一个变量显式的赋值 undefined，当需要释放一个对象时，直接赋值为 null 即可。
原创发布 @一像素 2017.08