面试又被问到了,记录一下
起因
先看一个例子
1 | for (var i = 0; i < 10; i++) { |
网上文章说 , 会输出 10 个 10, 因为执行 setTimeout 中的内容的时候, for 循环已经执行完了
但是我当时就是想不通 , 比如我改成
1 | for (var i = 0; i < 10000; i++) { |
这里我改成 10000 次循环 , 而 setTimeout 只有 1ms ,
当时我想 , 10000 次循环总不能在 1ms 内执行完吧 ? 为什么打出来还是 10000 个 10000 ?
当时很蠢, 直到我学了 EventLoop 才明白
Event Loop 是什么
javascript
是一门单线程语言
任务分为两类:
- 同步任务
- 异步任务
同步和异步任务分别进入不同的执行”场所”,同步的进入主线程,异步的进入 Event Table 并注册函数。
当指定的事情完成时,Event Table 会将这个函数移入 Event Queue。
主线程内的任务执行完毕为空,会去 Event Queue 读取对应的函数,进入主线程执行。
上述过程会不断重复,也就是常说的 Event Loop(事件循环)。
除了广义的同步任务和异步任务,我们对任务有更精细的定义:
JavaScript 的事件分两种,宏任务(macro-task)和微任务(micro-task)
- 宏任务:包括整体代码 script,setTimeout,setInterval
- 微任务:Promise.then(非 new Promise),process.nextTick(node 中)
- 事件的执行顺序,
是先执行宏任务,然后执行微任务
,这个是基础,任务可以有同步任务和异步任务,同步的进入主线程,异步的进入 Event Table 并注册函数,异步事件完成后,会将回调函数放入 Event Queue 中(宏任务和微任务是不同的Event Queue
),同步任务执行完成后,会从 Event Queue 中读取事件放入主线程执行,回调函数中可能还会包含不同的任务,因此会循环执行上述操作。
上面的 for 循环
for 是同步任务进入主线程, 此时为宏任务, setTimeout 的回调函数进入事件队列的宏任务队列, 所以只有 for 循环执行完以后, setTimeout 的回调函数才会执行
再看一个例子
1 | for (var i = 0; i < 100; i++) { |
这个例子会输出什么?
分析一下:
for
循环作为同步任务, 宏任务, 进入主线程
遇到setTimeout
, setTimeout
回调作为异步任务, 宏任务, 进入宏任务事件队列
遇到new Promise
, 立刻执行, 输出hehe
then
进入异步任务, 微任务队列事件
每次循环都执行以上过程,
直到for
循环执行完毕
此时, 事件队列如图
宏任务 Event Queue | 微任务 Event Queue |
---|---|
100 个setTimeout 回调 |
100 个then |
由于 for 循环为宏任务, 所以下一步会首先读取微任务事件队列, 进入主线程
这时先执行 100 个then
, 输出 100 个then
执行完毕, 再读取宏任务事件队列
执行 100 个setTimeout
回调,
由于for
循环早就执行完了, i
变量声明方式为var
, 所以最后输出 100 个 100
所以最后输出的结果是: 100 个hehe
, 100 个then
,100 个 100
for let 和 for var
上面把 var 改为 let, 输出的将不是 100 个 100, 而是 0~99
1 | for (let i = 0; i < 100; i++) { |
如果变量i
是var
命令声明的,在全局范围内都有效,所以全局只有一个变量i
。
每一次循环,变量i
的值都会发生改变,而循环内部的console.log(i)
,里面的i
指向的就是全局的i
。也就是说,所有数组a
的成员里面的i
,指向的都是同一个i
,导致运行时输出的是最后一轮的i
的值,也就是 100。
下面是阮一峰ECMAScript 6 入门中的解释
如果变量i
是let
声明的,当前的i
只在本轮循环有效,所以每一次循环的i
其实都是一个新的变量,所以最后输出的是6
。你可能会问,如果每一轮循环的变量i
都是重新声明的,那它怎么知道上一轮循环的值,从而计算出本轮循环的值?这是因为 JavaScript 引擎内部会记住上一轮循环的值,初始化本轮的变量i
时,就在上一轮循环的基础上进行计算。我想这也算闭包的范畴。
另外,for
循环还有一个特别之处,就是设置循环变量的那部分是一个父作用域,而循环体内部是一个单独的子作用域。
1 | for (let i = 0; i < 3; i++) { |
上面代码正确运行,输出了 3 次abc
。这表明函数内部的变量i
与循环变量i
不在同一个作用域,有各自单独的作用域。