深入`Abstract Equality Comparison`,就是`==`啦-CSDN博客

前后两次去了某蹦跶公司面试,都有这么一道题.

    if ([] == false) { console.log(1) } // 1
    if ({} == false) { console.log(2) } // 2
    if ([1] == false) { console.log(3) } // 3
复制代码

虽然都答对了,但是说不出来为啥.我是不爱学屠龙技的!但是招架不住面试官那种你是我面过最差的那一个的眼神,决定一探究竟,也省得第三次翻车.

好吧,要想解释这个现象,得首先打开EcmaScript的说明书,要是没有,点这里下载,它是前端的基石,是每个前端er都需要牢牢背会的东西.(xinnishishabi)

首先,我们把上面的灰吹一下.然后翻到110页,不出意外你能在最上面找到7.2.14 Abstract Equality Comparison,就它了:

The comparison x == y, where x and y are values, produces true or false. Such a comparison is performed as follows:

If Type(x) is the same as Type(y), then a. Return the result of performing Strict Equality Comparison x === y.

...

...

总共10个步骤,我觉得你不会看,所以放最下面.阮哥已经帮你翻译好了.传送门.

上面这段算法，一共有 12 步，翻译如下:

如果x不是正常值（比如抛出一个错误），中断执行。
如果y不是正常值，中断执行。
如果Type(x)与Type(y)相同，执行严格相等运算x === y。
如果x是null，y是undefined，返回true。
如果x是undefined，y是null，返回true。
如果Type(x)是数值，Type(y)是字符串，返回x == ToNumber(y)的结果。
如果Type(x)是字符串，Type(y)是数值，返回ToNumber(x) == y的结果。
如果Type(x)是布尔值，返回ToNumber(x) == y的结果。
如果Type(y)是布尔值，返回x == ToNumber(y)的结果。
如果Type(x)是字符串或数值或Symbol值，Type(y)是对象，返回x == ToPrimitive(y)的结果。
如果Type(x)是对象，Type(y)是字符串或数值或Symbol值，返回ToPrimitive(x) == y的结果。
返回false。

我们拿最诡异的if ([] == false) { ... }套一下.

A = []; B = false走到了第9条,会对B执行ToNumber(B)操作.针对我们的Boolean会返回+0.
现在A = []; B = +0,匹配到了第11条,执行ToPrimitive(A) == B.然后执行OrdinaryToPrimitive(input, preferedType),这是关键点,由于太多,不全部翻译了.

可以这么理解,不全是哈:传送门.

input是输入的值，preferedType是期望转换的类型，他可以是字符串，也可以是数字。
如果转换的类型是number，会执行以下步骤：
1. 如果input是原始值，直接返回这个值；
2. 否则，如果input是对象，调用input.valueOf()，如果结果是原始值，返回结果；
3. 否则，调用input.toString()。如果结果是原始值，返回结果；
4. 否则，抛出错误。
如果转换的类型是String，2和3会交换执行，即先执行toString()方法。
你也可以省略preferedType，此时，日期会被认为是字符串，而其他的值会被当做Number。
复制代码

针对([] == false),是这么操作的:

由于preferedType是undefined,会先把hint设为default
调用[][Symbol.toPrimitive]的值是undefined,把hint设为number
这时,调用OrdinaryToPrimitive([], number)
它让我们对[]按顺序调用['valueOf', toString], 返回不是对象的值.

If Type(result) is not Object, return result.

绕了这么久,返回的值就是[].toString(),也就是"".
如果是[1],返回的值就是[1].toString(),也就是"1".

那么现在([] == false)就变成了("" == +0)的对比,走到第6条.

如果Type(x)是数值，Type(y)是字符串，返回x == ToNumber(y)的结果。

(ToNumber("") == +0), 变成(+0 == +0),走到第3条, 变成最终的True.

A StringNumericLiteral that is empty or contains only white space is converted to +0.

如果Type(x)与Type(y)相同，执行严格相等运算x === y。

敲重点: 所以,[] == false是true.

对于([1] == false),会变成("1" == +0), 变成(1 == +0),最终是false

由于({}).toString()为"[object Object]", 所以对于({} == false), 会变成("[object Object]" == +0), 变成(NaN == +0), 最终也是false.

Therefore, the result of ToNumber will be NaN if the string contains any leading surrogate or trailing surrogate code units, whether paired or unpaired.