首页 > 代码库 > JavaScript的相等(==)与全等(===)

JavaScript的相等(==)与全等(===)

有段代码如下:

view source
 
print?
1if (![] == []) {
2    //Code
3}

![] == [],true or false?

我们都知道,ECMAScript中有两种类型的相等操作符:

  • 全等与不全等——直接比较而不转换类型
  • 相等与不相等——先转换类型再比较

全等与不全等的逻辑比较简单,而今天我们要关注的是我们平时用得比较多的第二种操作符:相等与不相等。当我们对两个操作数用 == 进行比较的时候,我们分两种情况:== 两边操作数的类型相同与不相同。我们都知道类型不相同时需要先转换类型,但是其中的转换规则是什么样的呢?也许许多人都不曾仔细研究过,今天我们就通过分析![] == []来深入研究一下 == 的比较机制。孟津县二中

两边类型相同

当两边的类型相同时,比较的逻辑就跟 === 一样:

  • 如果类型都是基本类型,则直接比较其值
  • 如果都是引用类型,则比较其引用地址(是否指向同一个对象)

如以下代码:

view source
 
print?
1console.log(5 == 5); //true
2console.log(‘abc‘ == ‘abc‘); //true
3console.log([] == []); //false,两个不同的引用地址
4var a = [], b = a;
5console.log(a == b); //true

也许有人会说,既然[] == []为false,那么前面那个![] == []的结果就是true咯?!没错,但是其中的判断逻辑不是这么简单的,因为![]等于false,所以这个比较就相当于false == [],这时两边的类型不一样的,一个是Boolean,一个是Array,所以我们不能简单通过[] == []为false来判断![] == []为true,当我们将[]换成{},这时结果就不一样了。

view source
 
print?
1console.log([] == []); //false
2console.log(![] == []); //true
3console.log({} == {}); //false
4console.log(!{} == {}); //false

也许你会感到糊涂,[]与{}同样是引用类型,为什么![] == []与!{} == {}的结果不一样呢?那是因为Array有其特殊的地方,这时后话,我们先来看下当 == 两边类型不相等时的转换规则。

两边类型不相同

当 == 两边操作数的类型不相同时,会将操作数的类型进行转换相同的类型,通常也叫强制转型,然后再比较其相等性,比如:

view source
 
print?
1console.log(5 == ‘5‘); //true,将字符‘5‘转换成数字5再比较
2console.log(false == 0); //true,先将布尔值false转换成数字0

在转换不同的数据类型时,相等和不相等操作符遵循下列基本规则:

  • 如果有一个操作数是布尔值,则在比较相等性之前现将其转换成数值——false转换成0,而true转换成1
  • 如果一个操作数是字符串,另外一个操作数是数值,在比较相等性之前现将其转换成数值(用Number()方法)
  • 如果一个操作数是对象(引用类型),另外一个操作数不是,则调用对象的valueOf()方法,用得到的原始值按照前面的规则进行比较(如果得到的原始值还是对象,则调用原始值的toString()方法再进行比较)

另外有几个需要注意的地方:

  • null和undefined是相等的(undefined派生于null)
  • 要比较相等性之前,不能将null和undefined转换成其他值(即除null和undefined之外的值都不和null与undefined相等)
  • 一般来说,如果a == b为true的话,那么a != b即为false,反之也可行,但是有一个例外,那就是NaN,NaN不等于任何操作数,包括它自己,即NaN == NaN和NaN != NaN都为false

根据以上规则,我们可以自己写一个比较相等的函数:

view source
 
print?
01function Equal(a, b) { 
02    var typeA = typeof a, typeB = typeof b;
03   
04    //如果有一个操作数是NaN,则总返回false
05    //isNaN(undefined)返回true
06    if ((isNaN(a) && typeA === ‘number‘) || (isNaN(b) && typeB === ‘number‘)) { return false; }
07   
08    //如果操作数类型相等,则比较它们的值,否则转换类型
09    if (typeA === typeB) {
10        return a === b;
11    } else {   
12        //将undefined转成null(实际上是不转的,此处只是方便后面的比较)
13        if (typeA === ‘undefined‘) { a = null; }
14        if (typeB === ‘undefined‘) { b = null; }
15       
16        if (a === null || b === null) {
17            return a === b;
18        } else if (typeA === ‘object‘ || typeB === ‘object‘) {
19            //如果有一个是对象
20            //先调用其valueOf方法,如果返回还是object,则调用其toString方法
21            var o = (typeA === ‘object‘ ? a : b).valueOf(), other = o === a ? b : a;
22            if (typeof o === ‘object‘) {
23                o = o.toString();
24            }
25            return Equal(o, other);
26        } else {           
27            //如果有Boolean,将其转成Number
28            if (typeA === ‘boolean‘) { a = a ? 1 : 0; }
29            if (typeB === ‘boolean‘) { b = b ? 1 : 0; }
30            //如果其中一个类型是Array,另外一个是Number,Number()返回number或NaN
31            if (typeA === ‘string‘ && typeB === ‘number‘) { a = Number(a); }
32            if (typeB === ‘string‘ && typeA === ‘number‘) { b = Number(b); }           
33            return Equal(a, b);
34        }
35    }
36}
37console.log(Equal([], [])); //false
38console.log(Equal(![], [])); //true
39console.log(Equal({}, {})); //false
40console.log(Equal(!{}, {})); //false
41console.log(Equal(NaN, NaN)); //false
42console.log(Equal(undefined, null)); //true
43console.log(Equal(false, null)); //false
44console.log(Equal(false, 0)); //true
45console.log(Equal(true, 2)); //false

Array.toString()

那么为什么![] == []为true呢?其比较步骤如下:

  • ![]为false,式子相当于false == [],两边类型不同且有一个对象[]
  • 右边的[]调用valueOf()方法,得到的还是对象[],因此再调用toString()的方法,Array的toString()方法相当于Array.join(‘,‘),例如[1, 2, 3].toString()等于‘1,2,3‘,而[].toString()等于一个空字符串‘‘({}.toString()等于‘[object Object]‘),则此时式子相当于false == ‘‘
  • 因为存在布尔值为false,将其转成数值0,此时式子变成0 == ‘‘
  • 最后将右边的空字符串‘‘用Number()方法转成0,0 == 0为true,所以![] == []

因此:

view source
 
print?
1console.log(![] == []); //true
2console.log(0 == []); //true
3console.log(0 == [‘‘]); //true
4console.log(‘0‘ == []); //false
5console.log(‘0‘ == [0]); //true
6console.log(true == [1]); //true

总结:由于相等和不相等操作符存在类型转换问题,而为了保持代码中数据类型的完整性,推荐使用全等和不全等操作符(已经强调很久了)。

JavaScript的相等(==)与全等(===)