确定两个变量是否相等是编程中的一个非常重要的操作。
在比较字符串、数值和布尔值的相等性时,问题还比较简单。但在涉及到对象的比较时,问题就变得复杂了。最早的 ECMAScript 中的相等和不等 操作符会在执行比较之前,先将对象转换成相似的类型。后来,有人提出了这种转换到底是否合理的质疑。
最后,ECMAScript 的解决方案就是提供两组操作符:
相等和不相等——先转换再比较,全等和不全等——仅比较而不转换。
此处我们只对相等做一些讨论。
“==” 相等 时的隐式转换
对于 "==" 操作符,通常都会先隐式转换(强制转换),然后再比较它们的相等性。
隐式转换规则:
- 如果有一个操作数是布尔值,则在比较相等性之前先将其转换为数值——false 转换为 0,而true转换为 1;
如果一个操作数是字符串,另一个操作数是数值,在比较相等性之前先将字符串转换为数值;
字符串转换为数值:(1)数字类型的字符串,会被转成对应十进制的数值; (2)空字符串会转换成0; (3)其余的全都会转换为NaN;(NaN 与任何值都不相等,包括自身)
- 如果一个操作数是对象,另一个操作数不是,则调用对象的 valueOf()方法,用得到的基本类型值按照前面的规则进行比较;
下面可以通过一个简单的例子来看一下 JS 底层的转换规则。
// 根据隐式转换规则第三条 调用对象的 valueOf 方法
[].valueOf() // []
// 这时就变成 [] == false ,又回到原来的情况,这时JS底层又是怎么处理的呢?
// 其实 JS 的底层在调用 valueOf 得到的返回结果如果不是原始值时,就会调用对象的 toString 方法将对象转换成字符串。对于这个过程我们可以通过一下的例子来验证。
[].valueOf() // []
[].toString() // ''
//上面是 这两个方法的 默认行为,在下面的例子中我们不改变默认行为
[].__proto__.valueOf = () => { console.log('valueOf'); return []; }
[].__proto__.toString = () => { console.log('toString'); return ''; }
[] == false
// 运行的结果为 valueOf toString true
// 这样就验证了上述的说明
// 我们还可以通过下面的方式,从侧面在次验证 JS底层默认的转换行为
[].__proto__.valueOf = () => { console.log('valueOf'); return ''; }
[].__proto__.toString = () => { console.log('toString'); return ''; }
[] == false
// valueOf true
[].__proto__.valueOf = () => { console.log('valueOf'); return []; }
[].__proto__.toString = () => { console.log('toString'); return []; }
[] == false
// JS 报错 Uncaught TypeError: Cannot convert object to primitive value
现在我们可以来看看例子中 空对象为什么不等于 false?从正常的角度来讲,数组就是一个对象,为什么空数组等于 false,而空对象为什么和 false 不相等?
//现在我们可以参照上面隐式转换的过程,对空对象手动的执行这个过程,结果如下
({}).valueOf() // {}
({}).toString() // '[object Object]'
// 这时我们发现 空对象 与 空数组默认行为的区别了,在 toString 方法上,由于数组会对继承自对象的 toString 方法进行重写,将数组中的每个元素通过 ',' 链接成一个字符串
// 这时就变成了 '[object Object]' == false
// 根据规则第二条,得到最后结果 false
隐式转换的特殊规则:
- null 和 undefined 是相等的。
- 要比较相等性之前,不能将 null 和 undefined 转换成其他任何值。
- 如果有一个操作数是 NaN,则相等操作符返回 false,而不相等操作符返回 true。
- 如果两个操作数都是对象,则比较它们是不是同一个对象。(比较引用类型的地址是否相同)
null == undefined // true
NaN == NaN // false
NaN != NaN // true
false == 0 // true
undefined == 0 // true
null == 0 // true