null == 0
结果分析
这个运行结果是: false
如果你有读过《JavaScript高级程序设计》,相信这个应该难不倒你。正如书中描述的那样,在 ==
运算符中,null
和 undefined
两个值是互等的,并且它们两个与其它任何值都是不相等的。
虽然书上是这么描述的,不过,你可能还会有些疑惑,在 javascript 中,+0
、-0
、''
、false
、null
、undefined
这些值都是假值,并且使用 Number()
去转换这些值时,得到的也是 0,那为什么 null == 0
结果却是 false
呢?
这就需要我们了解下 ==
运算法则是怎么样的,规则里[中] [英]有如下的描述:
- If Type(x) is the same as Type(y), then > - If Type(x) is Undefined, return true. > - If Type(x) is Null, return true. > (...)
- If x is null and y is undefined, return true.
- 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
的结论。但是,刚才说的『等价』是不对的,让我们看下规则[中][英]是怎么描述的:
- Let lref be the result of evaluating RelationalExpression.
- Let lval be GetValue(lref).
- Let rref be the result of evaluating ShiftExpression.
- Let rval be GetValue(rref).
- Let r be the result of performing abstract relational comparison lval < rval. (see 11.8.5)
- If r is true or undefined, return false. Otherwise, return true.
我们从第 2)、4)、5)、6)项描述中,可以看到 a >= b
其实是等价于 !(a < b)
而不是 a > b || a == b
。其实我们通读下关于比较运算符的运算规则,就会发现所有的比较运算符都是转换成 <
去做比较的。
补充
本文还会涉及到类型转换问题,大家可以看下阮一峰老师的 数据类型转换。