谈谈有趣的[] == []、[] == ![]、{} == !{}

我穿越了,文章写于2019-12-07。

" 刨根问底,就得往祖坟上刨。 "

前言

相信有不少同学曾看到过这道题,而且能够说出正确答案,但是具体问到其判断过程的时候,大多都略有瑕疵(网上不少博文也是如此),那今天就来说说这几个玩意吧。

在此之前你需要对JavaScript基本数据结构储存有大概了解,具体可以略读《你需要知道的JavaScript内存空间知识》

背景

在JavaScript中,在比较两个数的相等性的时候,存在 ===== 两组操作符,即转换类型比较运算符和严格比较运算符。

在使用 == 的时候,会先将操作数转为相同类型,在进行比较。在此过程中就存在我们所说的隐式类型转换。

[] == []

答案: false

对于这个比较,了解基本内存分布的同学一眼就看出答案了(类型相同比较内存地址);更稳妥的,我们根据下面这个规则图中第1条第f项来进行判断得出答案。

[] == ![]

这个比较存在两种操作符:比较操作符和逻辑运算符。

那谁的优先级比较高呢?这个不是我说了算,也不是你说了算,而是MDN说了算(截取一部分)

具体指引详见:
developer.mozilla.org/zh-CN/docs/...

此时先运算逻辑表达式。

对于逻辑非,总结《JavaScript高级程序设计》中的描述,这个操作符会对操作数进行ToBoolean操作,返回一个布尔值。

如果一个数是""0nullNaNundefined,进行(!)操作都会返回true,其余都会返回false

那么我们可以初步得出:[] == false

接着看回第一节中的比较规则图,符合其中第8条规则。对右边进行ToNumber转换。

ToNumber转换规则如下:

点击查看源网页

(图片来源于网络)

根据第3行此时我们可以得出:[] == 0

接着看回第一节中的比较规则图,符合其中第10条规则。对左边进行ToPrimitive转换。所以我们需要比较:ToPrimitive([]) == 0

ToPrimitive,表面意思为"转换为原始值"。其转换规则如下:

(图片来源于网络)

对于Object类型的描述,看的好像有点懵。不急,查下资料,找到其详细的介绍:

(图片来源于网络)

对于规范的这个详细描述,还是很难理解其想表达的意思。再查下资料,可以将以上内容归纳为:

js 复制代码
JS 引擎内部转换为原始值 ToPrimitive(obj, preferredType) 函数接受两个参数,
第一个 obj 为被转换的对象,
第二个preferredType 为希望转换成的类型(默认为空,接受的值为 Number 或 String )。

在执行 ToPrimitive(obj, preferredType) 时如果第二个参数为空并且 obj 为 Date 的事例时,
此时 preferredType 会被设置为 String ,
其他情况下 preferredType 都会被设置为 Number。

如果 preferredType 为 Number,ToPrimitive 执行过程如下:
1. 如果 obj 为原始值,直接返回;
2. 否则调用 obj.valueOf(),如果执行结果是原始值,返回之;
3. 否则调用 obj.toString(),如果执行结果是原始值,返回之;
4. 否则抛异常。

如果 preferredType 为 String ,将上面的第 2 步和第 3 步调换,即:
1. 如果 obj 为原始值,直接返回;
2. 否则调用 obj.toString(),如果执行结果是原始值,返回之;
3. 否则调用 obj.valueOf(),如果执行结果是原始值,返回之;
4. 否则抛异常。

可以理解为我们在遇到ToPrimitive的时候,只要关心ToPrimitive最终调用的是valueOf方法还是toString方法就行了。

说了这么多,ToPrimitive([]) == 0就可以得出[]调用toString之后的结果跟 0 进行比较,即 "" == 0

说到这基本上结果出来了,根据第一节中的比较规则图,符合第5,6条规则,得到的就是 0 == 0,答案为true

{} == !{}

如果上面第二节你都搞懂了,那这个比较按照上面的规则来就信手拈来了。

长话短说,执行过程是:

js 复制代码
{} == !{} 
---> {} == false 
---> {} == 0 
---> ToPrimitive({}) == 0 
---> "[Object Object]" == 0 
---> NaN == 0 
---> false

总结

有意思吧?正是存在这种默认隐式类型转换,让我的程序在运行中可能会出现意想不到的bug,所以大家在开发中尽量使用严格相等去做比较运算。

以上就是个人理解这几个玩意的执行步骤及原理,如有发现错误,恳请指正!!!

相关推荐
前端小巷子26 分钟前
Web开发中的文件上传
前端·javascript·面试
翻滚吧键盘1 小时前
{{ }}和v-on:click
前端·vue.js
上单带刀不带妹1 小时前
手写 Vue 中虚拟 DOM 到真实 DOM 的完整过程
开发语言·前端·javascript·vue.js·前端框架
前端风云志1 小时前
typescript结构化类型应用两例
javascript
杨进军2 小时前
React 创建根节点 createRoot
前端·react.js·前端框架
ModyQyW2 小时前
用 AI 驱动 wot-design-uni 开发小程序
前端·uni-app
说码解字2 小时前
Kotlin lazy 委托的底层实现原理
前端
gnip2 小时前
总结一期正则表达式
javascript·正则表达式
爱分享的程序员3 小时前
前端面试专栏-算法篇:18. 查找算法(二分查找、哈希查找)
前端·javascript·node.js
翻滚吧键盘3 小时前
vue 条件渲染(v-if v-else-if v-else v-show)
前端·javascript·vue.js