if(3 == true)

昨天看了微店的一道面试题if(3 ==true)中if的返回结果应该是什么。
我个人觉得应该为true。写代码运行了下，结果为false。
又写代码测试了下结果。

    alert(1=="1");  //true
    alert(1==true);  //true
    alert(0==false);  //true
    alert(-1==false); // false
    alert(-1==true); //false

结果很有意思。有点想不明白是为什么。
后来翻了下书，总结如下。

1.== 和===的区别不是“==检查值是否相等，===检查值和类型是否相等“，而是“==允许在相等比较中进行强制类型转换，而===不允许”
2.==两边值类型不同时，需要进行类型转换。在一边是true和false的时候容易出错。

var a="42";
var b=true;
a==b  //false

“42“确实是真值，但是为什么不是true呢？
ES5规范11.9.3.6-7这样说：
1）.如果type(x)是布尔类型。则返回ToNumber(x)==y的结果。
2）.如果type(y)是布尔类型。则返回x==ToNumber(y)的结果。

所以上例中ToNumber(y)把true类型强制转换为1，变成 “42”==1，然后左边字符串强制转化为42，故变为42==1，结果为false。

那么

var a="42";
var b=false;
a==b  //false

这个例子和上例子一比，是不是很奇怪，为什么“42”既不等于“false”也不等于“true”？为什么一个值即非真值也非假值。

这个问题本身就不对.

“42”是真值。但是“42”==true并没发生布尔值的比较和强制类型转化。故更不用说计较了。

经过以上分析，if(3==true)也很好解释了。

总结下==两边的比较方法：
•如果两个值的类型不同，它们就不相同。
•如果两个值是数字，而且值相同，那么除非其中一个或两个都是NaN(这种情况它们不是等同的),否则它们是等同的。值NaN永远不会与其他任何值等同，包括它自身(奇怪的家伙),要检测一个值是否是NaN，可以使用全局函数isNaN()。
•如果两个值都是字符串，而且在串中同一位置上的字符完全相同，那么它们就完全等同。如果字符串的长度或内容不同，它们就不是等同的。
•如果两个值都是布尔型true，或者两个值都是布尔型false，那么它们等同。
•如果两个值引用的是同一个对象、数组或函数，那么它们完全等同。如果它们引用的是不同的对象（数组或函数），它们就不完全等同，即使这两个对象具有完全相同的属性，或两个数组具有完全相同的元素。
•如果两个值都是null或都是undefined，它们完全相同。

下面的规则用于判定==运算符比较的两个值是否相等的判断条件
•如果两个值具有相同的类型，那么就检测它们的等同性。如果这两个值完全相同，它们就相等。如果它们不完全相同，则它们不相等。
•如果两个值的类型不同，它们仍然可能相等。用下面的规则和类型转换来检测它们的相等性 ◦如果一个值是null，另一个值是undefined，它们相等。
◦如果一个值是数字，另一个值是字符串，把字符串转换为数字，再用转换后的值进行比较。
◦如果一个值为true，将它转化为1，再进行比较。如果一个值为false，把它转化为0，再进行比较。
◦如果一个值是对象，另一个值是数字或字符串，将对象转换成原始类型的值，再埋比较。可以使用对象的toString()方法或valueOf()方法把对象转化成原始类型的值。JavaScript核心语言的内部类通常先尝试valueOf()方法转换，再尝试toString()方法转换，但是对于Date类，则先执行toString()方法再执行valueOf()方法转换。不属于JavaScript核心语言的对象则可以采用JavaScript实现定义的方式把自身转换成原始数值。
其他的数值组合是不相等的。