从一道js笔试题到==运算符的简析

在cssrain整理的一个试题集中有这么一道题：

        

按照我的理解，任何非0的数值的布尔值都应该为true。

可是这道题的正确输出为：false false true。

(-1==true)的值为false。

再来看下面这个例子：

        

运行结果依次为：false，true，true。

在这里，我们发现，if(aVar) 和 if(aVar == true)的结果并不相同。

cssrain在答案中的解释是：

if(aVar) 和 if (aVar==true) 对负数有截然不同的答案。

真的是负数的原因吗？看下面这个例子：

        

为什么正数2返回的也是false呢。我们将数字转换为boolean值看看。

        

这里非0数值的布尔值的确都是true，也就是说所有的问题都集中在2==true中的==运算符上。基本可以确定，==一定不是把数字转换为布尔值再进行比较。

看看ECMA-262（第80页）中怎么说的：

6.If Type(x) is Boolean, return the result of the comparison ToNumber(x) == y.
7.If Type(y) is Boolean, return the result of the comparison x == ToNumber(y).

也就是说，布尔值会被首先转换为数字，然后进行比较。true的数字值为1，false为0。所以2和-1都不能和true相等。

进一步看下面这个例子：

        

按照前面的思路，true会被转换为1，所以三个语句都会返回false。运行一下，发现的确如此。

下面将if(aVar==true)改为if(aVar)。

        

这时的运行结果是true，true，false。因为Boolean("undefined")、Boolean("false")、Boolean("")的结果为true，true，false。非空字符串转换为布尔值true。

最后还有一个例子，解释当==两边为字符串和数字时的比较规律。

        

发现没，这个"001"==true是为true的。

因为true先被转换为1了。然后参考ECMA的规则：

4.If Type(x) is Number and Type(y) is String, return the result of the comparison x == ToNumber(y).
5.If Type(x) is String and Type(y) is Number, return the result of the comparison ToNumber(x) == y.

字符串要被转换为数字，Number("001")的值也为1，所以结果为true。