在cssrain整理的一个 试题集 中有这么一道题：
| 以下为引用的内容： <SCRIPT LANGUAGE="JavaScript"> var a = 0; var b = -1; var c = 1; function assert (aVar) { if (aVar==true) alert(true); else alert(false); } assert(a) ; assert(b) ; assert(c) ; </SCRIPT> |
按照我的理解，任何非0的数值的布尔值都应该为true。
可是这道题的正确输出为：false false true。
(-1==true)的值为false。
再来看下面这个例子：
| 以下为引用的内容： <SCRIPT LANGUAGE="JavaScript"> var a = 0; var b = -1; var c = 1; function assert (aVar) { if (aVar) alert(true); else alert(false); } assert(a) ; assert(b) ; assert(c) ; </SCRIPT> |
运行结果依次为：false，true，true。
在这里，我们发现，if(aVar) 和 if(aVar == true)的结果并不相同。
cssrain在 答案 中的解释是：
if(aVar) 和 if (aVar==true) 对负数有截然不同的答案。
真的是负数的原因吗？看下面这个例子：
| 以下为引用的内容： <SCRIPT LANGUAGE="JavaScript"> alert(2==true); </SCRIPT> |
为什么正数2返回的也是false呢。我们将数字转换为boolean值看看。
| 以下为引用的内容： <SCRIPT LANGUAGE="JavaScript"> alert("2的布尔值为"+Boolean(2)); alert("0的布尔值为"+Boolean(0)); alert("-1的布尔值为"+Boolean(-1)); </SCRIPT> |
这里非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相等。
进一步看下面这个例子：
以下为引用的内容：
<SCRIPT LANGUAGE="JavaScript">
var a = "undefined";
var b = "false";
var c = "";
function assert (aVar) {
if (aVar==true) alert(true);
else alert(false);
}
assert(a);
assert(b);
assert(c);
</SCRIPT>
按照前面的思路，true会被转换为1，所以三个语句都会返回false。运行一下，发现的确如此。
下面将if(aVar==true)改为if(aVar)：
| 以下为引用的内容： <SCRIPT LANGUAGE="JavaScript"> var a = "undefined"; var b = "false"; var c = ""; function assert (aVar) { if (aVar) alert(true); else alert(false); } assert(a); assert(b); assert(c); </SCRIPT> |
这时的运行结果是true，true，false。因为Boolean("undefined")、Boolean("false")、Boolean("")的结果为true，true，false。非空字符串转换为布尔值true。
最后还有一个例子，解释当==两边为字符串和数字时的比较规律。
| 以下为引用的内容： <SCRIPT LANGUAGE="JavaScript"> var a = "1"; var b = "001"; var c = ""; function assert (aVar) { if (aVar==true) alert(true); else alert(false); } assert(a); assert(b); assert(c); </SCRIPT> |
发现没，这个"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。