[] == ![] 答案为什么会是true?

解析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高级程序设计》等书目。其中有两条指出：

1. 如果其中一个值是true，则将其转换为1再进行比较。如果其中一个值是false，则将其转换为0再进行比较。
2. 如果一个值是对象，另一个值是数字或字符串，则将对象转换为原始值再进行比较。对象通过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。