null == 0 结果分析

这个运行结果是： false

如果你有读过《JavaScript高级程序设计》，相信这个应该难不倒你。正如书中描述的那样，在 == 运算符中，null 和 undefined 两个值是互等的，并且它们两个与其它任何值都是不相等的。

虽然书上是这么描述的，不过，你可能还会有些疑惑，在 javascript 中，+0、-0、''、false、null、undefined 这些值都是假值，并且使用 Number() 去转换这些值时，得到的也是 0，那为什么 null == 0 结果却是 false 呢？

这就需要我们了解下 == 运算法则是怎么样的，规则里^{[中] [英]}有如下的描述：

1. If Type(x) is the same as Type(y), then > - If Type(x) is Undefined, return true. > - If Type(x) is Null, return true. > (...)
2. If x is null and y is undefined, return true.
3. If x is undefined and y is null, return true.
   (...)

可以看到，== 运算规则是先判断运算元类型，而不是先使用 Number() 去强制转换的，并且也说明了只有 null 和 undefined 是互等的。除了严格按照规则去理解，我觉得也可以从另一个角度理解这个现象，假设一个变量为：

null 表示是一个空对象，属于 无值类型
undefined 表示未赋值，属于无值类型
'' 表示是一个空字符串，属于 有值类型
0 表示一个数字0，属于有值类型
false 表示一个布尔值 false，也属于有值类型

可以看到 null 和 undefined 属于无值类型，它们同 有值类型肯定是不相等了。

null > 0 结果分析

这个运行结果是：false

在比较运算符中，如果一端为数字，会将另一端转换为数字去比较。像上面提到的那样，使用 Number(null) 结果是 0，所以 null > 0 返回结果是 false。

null >= 0 结果分析

这个运行结果是：true

如果你得到的答案是 false，我猜测有可能是你在看完上面我们对 null > 0 和 null == 0的分析，然后又把 null >= 0 给等价于 null > 0 || null == 0，所以才有了 null >= 0 结果为 false 的结论。但是，刚才说的『等价』是不对的，让我们看下规则^[中][英]是怎么描述的：

1. Let lref be the result of evaluating RelationalExpression.
2. Let lval be GetValue(lref).
3. Let rref be the result of evaluating ShiftExpression.
4. Let rval be GetValue(rref).
5. Let r be the result of performing abstract relational comparison lval < rval. (see 11.8.5)
6. If r is true or undefined, return false. Otherwise, return true.

我们从第 2）、4）、5）、6）项描述中，可以看到 a >= b 其实是等价于 !(a < b) 而不是 a > b || a == b。其实我们通读下关于比较运算符的运算规则，就会发现所有的比较运算符都是转换成 < 去做比较的。

补充

本文还会涉及到类型转换问题，大家可以看下阮一峰老师的 数据类型转换。