在这段算法里,和「[] == ![]」匹配的是条件 7,所以会递归地调用「[] == ToNumber(false)」进行比较。在 9.3 节中定义了 ToNumber 原语,ToNumber(false) 等于 0,于是比较变为「[] == 0」。在此处因为 [] 是对象,比较过程走分支 9,依「ToPrimitive([]) == 0」比较。
解析1
- [] == !true // ! 操作符的优先级高于==,所以先执行!操作;“!”是取反操作,空数组是对象,对象为真,取反之后就为false了
- [] == false // !true 得到的是 false
- [] == 0 // 比较规则1:如果值为true或false,则转成1或0来继续比较
- [] == 0 // 执行左侧的 [] 的 valueOf 方法,而 [] 是对象,所以 [].valueOf() 返回本身 []
- "" == 0 // 执行左侧的 [] 的 toString 方法,[].toString() 返回 ""
- 0 == 0 // 比较规则2:如果一个值是数字,一个值是字符串,则把字符串转换为数字,再进行比较,"" 转成数字是 0。
- 最终是执行 0 == 0 ,结果为 true 。
解析2
首先,“!”是取反操作,空数组是对象,对象为真,取反之后就为false了。
然后,相等运算符的比较有指定的规则,具体请参阅诸如《JavaScript权威指南》或者《JavaScript高级程序设计》等书目。其中有两条指出:
- 如果其中一个值是true,则将其转换为1再进行比较。如果其中一个值是false,则将其转换为0再进行比较。
- 如果一个值是对象,另一个值是数字或字符串,则将对象转换为原始值再进行比较。对象通过toString()方法或valueOf()方法转换为原始值。JavaScript语言核心的内置类首先尝试使用valueOf(),在尝试使用toString(),除了日期类,日期类只使用toString()方法,那些不是JavaScript语言核心中的对象则通过各自实现中定义的方法转换为原始值。
有了以上两条作为基础,我们再来看问题。
控制台指出等号右边为布尔值,由第一条可知,它将转换为数字0,也就是数字类型。
现在变成了空数组和数字 0 的比较。由第二条可知,空数组会首先调用valueOf()方法,但是这里需要注意的是:数组、函数和正则表达式调用valueOf()方法后,只返回对象本身。
所以,继续调用toString()方法,空数组调用toString()后,众所周知会返回 0 ;于是两边相同。也就是为什么有了后面所示结果的原因了。"" == ![] //true1 == ![] // false0 == ![] // true可以一句话概括:任意值与布尔值之间的比较都是数字0和1之间的比较。
"" == ![] //true
1 == ![] // false
0 == ![] // true
可以一句话概括:任意值与布尔值之间的比较都是数字0和1之间的比较。
规范
首先,== 的定义是:
GetValue 会获取一个子表达式的值(消除掉左值引用),在表达式 [] == ![] 中,[] 的结果就是一个空数组的引用,而 ![] 就有意思了,它会按照 11.4.9 和 9.2 节的要求得到 false。
在这段算法里,和「[] == ![]」匹配的是条件 7,所以会递归地调用「[] == ToNumber(false)」进行比较。在 9.3 节中定义了 ToNumber 原语,ToNumber(false) 等于 0,于是比较变为「[] == 0」。在此处因为 [] 是对象,比较过程走分支 9,依「ToPrimitive([]) == 0」比较。ToPrimitive 默认是调用 toString 方法的(依 8.2.8),于是 ToPrimitice([]) 等于空字符串。结果,[] == ![] 的比较最后落到了 ''==false 上,按照 11.9.3 中的定义会依分支 5 比较 「ToNumber('')==0」,ToNumber('') 依 9.3.1 等于 0,所以结果为 true。