JavaScript：undefined!=false之解 及==比较的规则

JS中有一个基本概念就是： 
JavaScript中undefined==null 
但undefined!==null 
undefined与null转换成布尔值都是false 
如果按照常规想法，比如下面的代码

var a=1;
alert(Boolean(a));//返回true
//那么下面的代码也应该返回true
alert(1==true);

//但肯定的，下面的代码会返回false
alert(1===true);

但对于下面的代码，估计会让大部分JS程序员疑惑

alert(123==true);//为什么返回false

alert(Boolean(undefined));//outputs false
alert(Boolean(null));//outputs false

alert(undefined==false);//竟然返回false
alert(null==false);//竟然也返回false

至于其原因，下面作一个尝试性的解析（是尝试性的解析）

首先看看JS中的==比较是如何比较的 
对于标量，“==”直接比较其中的值就行了 
而对于两个对象（这里特指除去原始值的对象……因为在JS可以说一切皆对象） 
则是比较其引用 
因此对于两个对象的比较，看它们是不是同一个对象，是不需要用===(严格相等，值相等且类型相同)的

再深入分析下JS对于标量应用==比较时的情况 
对于相同类型的两个标量的比较，除了NaN比较特殊之外（NaN==NaN返回false），都没什么疑点 
而对于类型不同的两个标量的比较，JS就有一套严格的规则，这规则JS解析引擎具体怎样执行的，抱歉，还没去看JS解析引擎的源代码呢，这里只好对其表现作个总结 
1.将Boolean,Number,String这三种类型进行不同类型的==比较时，其规则是，总将两边的值转换成数字，再看看转换结果数字是否相等 
如下代码

alert(1==true);//true转换成数字也是1
alert('1'==true);//将字符串'1'与true都转换成数字

alert('abc'==true);//虽然字符串'abc'转换成布尔值是true，但这里会返回false
//因为'abc'转换成数字是NaN，而true转换成数字是1

alert(123=='123');//同理，true

而undefined与null，它们是简单类型还是引用类型呢？ 
将上面的规则 应用于undefined与null时就不正确了，在解析之前，先看看==比较的其它形式

JS中简单类型与引用类型进行==比较的情况 
这种比较与是有规则的，并且可以用代码来验证JS内部的执行情况 
将一个简单类型（这里指除undefined与null的值）与一个对象比较时， 
先调用对象的valueOf方法，以期待返回一个标量，如果对象的valueOf方法返回的仍然是一个复合对象的话 
就接着调用对象的toString方法以期待返回一个标量，如果仍然没有返回标量的话，就判为不相等 
如果valueOf或toString方法之一返回一个标量，就用这个标量同==另一边的标量进行比较

var obj={};
alert(obj=="abc");//false
obj.toString=function () {
    return 'abc';
};
alert(obj=='abc');//这时就返回true了

alert(obj==123);//false
obj.valueOf=function () {return 123};
alert(obj==123);//true!!!

obj.valueOf=undefined;//先将这个方法清空掉，以免受上面的代码影响
alert(obj==true);//false
obj.valueOf=function () {
  return 1;//只要返回一个能转换成布尔值的标量就行了,1或true都行，都表示true
};
alert(obj==true);//true!!!!

事实上还可以用下面的代码进行验证，将一个复合对象与标量进行比较时，总会先调用对象的valueOf， 
valueOf方法返回不是一个标量的话还会接着调用toString方法

var obj={
    toString:function () {
        alert('valueOf方法没有返回标量，我会被调用');
    },
    valueOf:function () {
        alert('我先被调用,Object的valueOf方法默认实现是返回对象自身');
    }
};
alert(1==obj);//可以看到执行次序

那么讲了这么多，这和undefined!=false有什么关系呢？ 
JS中的==对两边的对象进行比较时，undefined将被转换成数字，也就是说，undefined被看成基本值 
而又由于undefined转换成数字为NaN，所以将Number,String,Boolean这三种类型与undefined比较时，总是返回false 
而对于null，JS则将其当成对象来比较，即尝试调用null的valueOf与toString方法，再将返回的结果与另一个值进行比较,可以推断null==false返回false的原因是因为null的valueOf实现导致的 
由于null没有valueOf与toString方法，因此始终返回false

ECMAScript规范是怎么说的？ 
ECMAScript规范中指出，a与b进行比较，如果a与b是Number,String,Boolean这三种类型中的一种， 
并且a与b的类型不同，那么就将a与b都转换成数字再进行比较 
也就是说

var a="true";
var b=true;
alert(a==b);
//结果等同于下面的代码
alert(Number(a)===Number(b));

而如果a是Number,String,Boolean这三种类型中的一种，而b是一个复合对象时（Object,Array等） 
则对b执行ToPrimitive操作（这步是JS解释器执行的） 
即

var a="abc";
var b={};
alert(a==b);
//上面的一行代码在JS解析时将被解释成
//a==ToPrimitive(b);

而这个ToPrimitive方法的实现，正是依次去调用对象的valueOf,toString方法，直到其中一个方法返回一个基本值 
如果这两个方法没有返回基本值 ，那就认定不相等

而当a和b都是复合对象时，就很简单，就看a和b是不是同一个对象的引用！

而对于将undefined,null与其它类型进行比较的，则没具体说，只说了将 
任何基本类型与Boolean类型比较时，会将其转换成数字（与前面的规则一样）

总结 
Number,Boolean,String,Undefined这几种基本类型混合比较时，会将其转换成数字再进行比较 
基本类型与复合对象进行比较时，会先将复合对象转换成基本类型（依次调用valueOf与toString方法）再进行比较 
undefined被当成基本类型，undefined转换成数字是NaN，因此undefined与除null之外的其它类型值进行比较时始终返回false(注意NaN==NaN返回false) 
null被当成复合对象，由于null没有valueOf与toString方法，因此和除了undefined之外的其它类型值进行比较时始终返回false