Javascript 隐式转换

确定两个变量是否相等是编程中的一个非常重要的操作。
在比较字符串、数值和布尔值的相等性时，问题还比较简单。但在涉及到对象的比较时，问题就变得复杂了。最早的 ECMAScript 中的相等和不等 操作符会在执行比较之前，先将对象转换成相似的类型。后来，有人提出了这种转换到底是否合理的质疑。
最后，ECMAScript 的解决方案就是提供两组操作符:
    相等和不相等——先转换再比较，全等和不全等——仅比较而不转换。
此处我们只对相等做一些讨论。

"==" 相等 时的隐式转换

对于 "==" 操作符，通常都会先隐式转换（强制转换），然后再比较它们的相等性。

隐式转换规则：

1. 如果有一个操作数是布尔值，则在比较相等性之前先将其转换为数值——false 转换为 0，而true转换为 1;

2. 如果一个操作数是字符串，另一个操作数是数值，在比较相等性之前先将字符串转换为数值;
   字符串转换为数值：

      （1）数字类型的字符串，会被转成对应十进制的数值；
      （2）空字符串会转换成0；
      （3）其余的全都会转换为NaN；（NaN 与任何值都不相等，包括自身）

3. 如果一个操作数是对象，另一个操作数不是，则调用对象的 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

隐式转换的特殊规则：

1. null 和 undefined 是相等的。
2. 要比较相等性之前，不能将 null 和 undefined 转换成其他任何值。
3. 如果有一个操作数是 NaN，则相等操作符返回 false，而不相等操作符返回 true。
4. 如果两个操作数都是对象，则比较它们是不是同一个对象。（比较引用类型的地址是否相同）

    null == undefined  // true
    NaN == NaN         // false
    NaN != NaN         // true
    false == 0         // true
    undefined == 0     // true
    null == 0          // true