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。其实我们通读下关于比较运算符的运算规则,就会发现所有的比较运算符都是转换成 < 去做比较的。
补充
本文还会涉及到类型转换问题,大家可以看下阮一峰老师的 数据类型转换。