Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

第 10 题:常见异步笔试题,请写出代码的运行结果 #7

Open
zuoqi705 opened this issue Feb 8, 2019 · 76 comments
Open
Labels

Comments

@zuoqi705
Copy link

zuoqi705 commented Feb 8, 2019

从一道题浅说 JavaScript 的事件循环

注:本篇文章运行环境为当前最新版本的谷歌浏览器(72.0.3626.109)

最近看到这样一道有关事件循环的前端面试题:

//请写出输出内容
async function async1() {
    console.log('async1 start');
    await async2();
    console.log('async1 end');
}
async function async2() {
	console.log('async2');
}

console.log('script start');

setTimeout(function() {
    console.log('setTimeout');
}, 0)

async1();

new Promise(function(resolve) {
    console.log('promise1');
    resolve();
}).then(function() {
    console.log('promise2');
});
console.log('script end');


/*
script start
async1 start
async2
promise1
script end
async1 end
promise2
setTimeout
*/

这道题主要考察的是事件循环中函数执行顺序的问题,其中包括asyncawaitsetTimeoutPromise函数。下面来说一下本题中涉及到的知识点。

任务队列

首先我们需要明白以下几件事情:

  • JS分为同步任务和异步任务
  • 同步任务都在主线程上执行,形成一个执行栈
  • 主线程之外,事件触发线程管理着一个任务队列,只要异步任务有了运行结果,就在任务队列之中放置一个事件。
  • 一旦执行栈中的所有同步任务执行完毕(此时JS引擎空闲),系统就会读取任务队列,将可运行的异步任务添加到可执行栈中,开始执行。

根据规范,事件循环是通过任务队列的机制来进行协调的。一个 Event Loop 中,可以有一个或者多个任务队列(task queue),一个任务队列便是一系列有序任务(task)的集合;每个任务都有一个任务源(task source),源自同一个任务源的 task 必须放到同一个任务队列,从不同源来的则被添加到不同队列。 setTimeout/Promise 等API便是任务源,而进入任务队列的是他们指定的具体执行任务。

任务队列

宏任务

(macro)task(又称之为宏任务),可以理解是每次执行栈执行的代码就是一个宏任务(包括每次从事件队列中获取一个事件回调并放到执行栈中执行)。

浏览器为了能够使得JS内部(macro)task与DOM任务能够有序的执行,会在一个(macro)task执行结束后,在下一个(macro)task 执行开始前,对页面进行重新渲染,流程如下:

(macro)task->渲染->(macro)task->...

(macro)task主要包含:script(整体代码)、setTimeout、setInterval、I/O、UI交互事件、postMessage、MessageChannel、setImmediate(Node.js 环境)

微任务

microtask(又称为微任务),可以理解是在当前 task 执行结束后立即执行的任务。也就是说,在当前task任务后,下一个task之前,在渲染之前。

所以它的响应速度相比setTimeout(setTimeout是task)会更快,因为无需等渲染。也就是说,在某一个macrotask执行完后,就会将在它执行期间产生的所有microtask都执行完毕(在渲染前)。

microtask主要包含:Promise.then、MutaionObserver、process.nextTick(Node.js 环境)

运行机制

在事件循环中,每进行一次循环操作称为 tick,每一次 tick 的任务处理模型是比较复杂的,但关键步骤如下:

  • 执行一个宏任务(栈中没有就从事件队列中获取)
  • 执行过程中如果遇到微任务,就将它添加到微任务的任务队列中
  • 宏任务执行完毕后,立即执行当前微任务队列中的所有微任务(依次执行)
  • 当前宏任务执行完毕,开始检查渲染,然后GUI线程接管渲染
  • 渲染完毕后,JS线程继续接管,开始下一个宏任务(从事件队列中获取)

流程图如下:

mark

Promise和async中的立即执行

我们知道Promise中的异步体现在thencatch中,所以写在Promise中的代码是被当做同步任务立即执行的。而在async/await中,在出现await出现之前,其中的代码也是立即执行的。那么出现了await时候发生了什么呢?

await做了什么

从字面意思上看await就是等待,await 等待的是一个表达式,这个表达式的返回值可以是一个promise对象也可以是其他值。

很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的表达式会先执行一遍,将await后面的代码加入到microtask中,然后就会跳出整个async函数来执行后面的代码。

这里感谢@chenjigeng的纠正:

由于因为async await 本身就是promise+generator的语法糖。所以await后面的代码是microtask。所以对于本题中的

async function async1() {
	console.log('async1 start');
	await async2();
	console.log('async1 end');
}

等价于

async function async1() {
	console.log('async1 start');
	Promise.resolve(async2()).then(() => {
                console.log('async1 end');
        })
}

回到本题

以上就本道题涉及到的所有相关知识点了,下面我们再回到这道题来一步一步看看怎么回事儿。

  1. 首先,事件循环从宏任务(macrotask)队列开始,这个时候,宏任务队列中,只有一个script(整体代码)任务;当遇到任务源(task source)时,则会先分发任务到对应的任务队列中去。所以,上面例子的第一步执行如下图所示:

  2. 然后我们看到首先定义了两个async函数,接着往下看,然后遇到了 console 语句,直接输出 script start。输出之后,script 任务继续往下执行,遇到 setTimeout,其作为一个宏任务源,则会先将其任务分发到对应的队列中:

  3. script 任务继续往下执行,执行了async1()函数,前面讲过async函数中在await之前的代码是立即执行的,所以会立即输出async1 start

    遇到了await时,会将await后面的表达式执行一遍,所以就紧接着输出async2,然后将await后面的代码也就是console.log('async1 end')加入到microtask中的Promise队列中,接着跳出async1函数来执行后面的代码。

  4. script任务继续往下执行,遇到Promise实例。由于Promise中的函数是立即执行的,而后续的 .then 则会被分发到 microtask 的 Promise 队列中去。所以会先输出 promise1,然后执行 resolve,将 promise2 分配到对应队列。

  5. script任务继续往下执行,最后只有一句输出了 script end,至此,全局任务就执行完毕了。

    根据上述,每次执行完一个宏任务之后,会去检查是否存在 Microtasks;如果有,则执行 Microtasks 直至清空 Microtask Queue。

    因而在script任务执行完毕之后,开始查找清空微任务队列。此时,微任务中, Promise 队列有的两个任务async1 endpromise2,因此按先后顺序输出 async1 end,promise2。当所有的 Microtasks 执行完毕之后,表示第一轮的循环就结束了。

  6. 第二轮循环开始,这个时候就会跳回async1函数中执行后面的代码,然后遇到了同步任务 console 语句,直接输出 async1 end。这样第二轮的循环就结束了。(也可以理解为被加入到script任务队列中,所以会先与setTimeout队列执行)

  7. 第二轮循环依旧从宏任务队列开始。此时宏任务中只有一个 setTimeout,取出直接输出即可,至此整个流程结束。

下面我会改变一下代码来加深印象。

变式一

在第一个变式中我将async2中的函数也变成了Promise函数,代码如下:

async function async1() {
    console.log('async1 start');
    await async2();
    console.log('async1 end');
}
async function async2() {
    //async2做出如下更改:
    new Promise(function(resolve) {
    console.log('promise1');
    resolve();
}).then(function() {
    console.log('promise2');
    });
}
console.log('script start');

setTimeout(function() {
    console.log('setTimeout');
}, 0)
async1();

new Promise(function(resolve) {
    console.log('promise3');
    resolve();
}).then(function() {
    console.log('promise4');
});

console.log('script end');

可以先自己看看输出顺序会是什么,下面来公布结果:

script start
async1 start
promise1
promise3
script end
promise2
async1 end
promise4
setTimeout

在第一次macrotask执行完之后,也就是输出script end之后,会去清理所有microtask。所以会相继输出promise2 async1 endpromise4,其余不再多说。

变式二

在第二个变式中,我将async1中await后面的代码和async2的代码都改为异步的,代码如下:

async function async1() {
    console.log('async1 start');
    await async2();
    //更改如下:
    setTimeout(function() {
        console.log('setTimeout1')
    },0)
}
async function async2() {
    //更改如下:
	setTimeout(function() {
		console.log('setTimeout2')
	},0)
}
console.log('script start');

setTimeout(function() {
    console.log('setTimeout3');
}, 0)
async1();

new Promise(function(resolve) {
    console.log('promise1');
    resolve();
}).then(function() {
    console.log('promise2');
});
console.log('script end');

可以先自己看看输出顺序会是什么,下面来公布结果:

script start
async1 start
promise1
script end
promise2
setTimeout3
setTimeout2
setTimeout1

在输出为promise2之后,接下来会按照加入setTimeout队列的顺序来依次输出,通过代码我们可以看到加入顺序为3 2 1,所以会按3,2,1的顺序来输出。

变式三

变式三是我在一篇面经中看到的原题,整体来说大同小异,代码如下:

async function a1 () {
    console.log('a1 start')
    await a2()
    console.log('a1 end')
}
async function a2 () {
    console.log('a2')
}

console.log('script start')

setTimeout(() => {
    console.log('setTimeout')
}, 0)

Promise.resolve().then(() => {
    console.log('promise1')
})

a1()

let promise2 = new Promise((resolve) => {
    resolve('promise2.then')
    console.log('promise2')
})

promise2.then((res) => {
    console.log(res)
    Promise.resolve().then(() => {
        console.log('promise3')
    })
})
console.log('script end')

无非是在微任务那块儿做点文章,前面的内容如果你都看懂了的话这道题一定没问题的,结果如下:

script start
a1 start
a2
promise2
script end
promise1
a1 end
promise2.then
promise3
setTimeout

参考文章

@zuoqi705 zuoqi705 changed the title 关于第10题题目的一些见解 关于第10题的一些见解 Feb 8, 2019
@atheist1
Copy link

有一个问题请教下,按您的说法是 macrotask -> microtask -> ui render这为一个event loop。
但是原来有看过 macrotask -> ui render -> microtask 这种说法。
所以对于vue的$nexttick实现就有些迷惑(2.6之前为了考虑边界问题之前有用到macrotask和microtask,2.6全部更改为microtask了),我原来的理解是如果兼容微任务队列则推入微任务队列,放在ui render之后执行(macro -> render -> cb),或者推入macrotask 放在后一个eventloop 执行(marcro-> render->micro -> cb),是这样实现nexttick方法的。
如果按照 macrotask -> microtask -> ui render这样的顺序话nexttick不直接用macro task实现推入下一个事件循环不就可以了吗

@Carrie999
Copy link

此问题难点在
async1 end
promise2

@sisterAn
Copy link
Collaborator

一道面试题引发的血案,下面进入主题:

// 今日头条面试题
async function async1() {
    console.log('async1 start')
    await async2()
    console.log('async1 end')
}
async function async2() {
    console.log('async2')
}
console.log('script start')
setTimeout(function () {
    console.log('settimeout')
})
async1()
new Promise(function (resolve) {
    console.log('promise1')
    resolve()
}).then(function () {
    console.log('promise2')
})
console.log('script end')

题目的本质,就是考察setTimeoutpromiseasync await的实现及执行顺序,以及JS的事件循环的相关问题。

答案:

script start
async1 start
async2
promise1
script end
async1 end
promise2
settimeout

这里涉及到MicrotasksMacrotasks、event loop 以及JS的异步运行机制。

一、event loop

JS主线程不断的循环往复的从任务队列中读取任务,执行任务,这中运行机制称为事件循环(event loop)。

二、Microtasks、Macrotasks

Microtasks和Macrotasks是异步任务的一种类型,Microtasks的优先级要高于Macrotasks,下面是它们所包含的api:

  • microtasks
    • process.nextTick
    • promise
    • Object.observe (废弃)
    • MutationObserver
  • macrotasks
    • setTimeout
    • setImmerdiate
    • setInterval
    • I/O
    • UI 渲染

注意:

  1. 每一个 event loop 都有一个 microtask queue
  2. 每个 event loop 会有一个或多个macrotaks queue ( 也可以称为task queue )
  3. 一个任务 task 可以放入 macrotask queue 也可以放入 microtask queue中
  4. 每一次event loop,会首先执行 microtask queue, 执行完成后,会提取 macrotask queue 的一个任务加入 microtask queue, 接着继续执行microtask queue,依次执行下去直至所有任务执行结束。

三、异步运行机制

我们已知, JS 是单线程的,至于为什么,详见https://blog.csdn.net/lunahaijiao/article/details/85329510。

下面看一个例子:

// 1. 开始执行
console.log(1)	// 	2. 打印 1
setTimeout(function () {	// 6. 浏览器在 0ms 后,将该函数推入任务队列
    console.log(2)	// 7. 打印 2
    Promise.resolve(1).then(function () {	// 8. 将 resolve(1) 推入任务队列  9. 将 function函数推入任务队列
        cosole.log('ok')	// 10. 打印 ok
    })
})	// 3.调用 setTimeout 函数,并定义其完成后执行的回调函数
setTimeout(function (){		// 11. 浏览器 0ms 后,将该函数推入任务队列
    console.log(3)	// 12. 打印 3
})  // 4. 调用 setTimeout 函数,并定义其完成后执行的回调函数
// 5. 主线程执行栈清空,开始读取 任务队列 中的任务
// output: 1  2 ok 3

JS 主线程拥有一个 执行栈(同步任务) 和 一个 任务队列(microtasks queue),主线程会依次执行代码,

  • 当遇到函数(同步)时,会先将函数入栈,函数运行结束后再将该函数出栈;
  • 当遇到task任务(异步)时,这些 task 会返回一个值,让主线程不在此阻塞,使主线程继续执行下去,而真正的task任务将交给 浏览器内核 执行,浏览器内核执行结束后,会将该任务事先定义好的回调函数加入相应的**任务队列(microtasks queue/ macrotasks queue)**中。
  • 当JS主线程清空执行栈之后,会按先入先出的顺序读取microtasks queue中的回调函数,并将该函数入栈,继续运行执行栈,直到清空执行栈,再去读取任务队列
  • 当microtasks queue中的任务执行完成后,会提取 macrotask queue 的一个任务加入 microtask queue, 接着继续执行microtask queue,依次执行下去直至所有任务执行结束。

这就是 JS的异步执行机制

四、async await、Promise、setTimeout

  1. setTimeout

    console.log('script start')	//1. 打印 script start
    setTimeout(function(){
        console.log('settimeout')	// 4. 打印 settimeout
    })	// 2. 调用 setTimeout 函数,并定义其完成后执行的回调函数
    console.log('script end')	//3. 打印 script start
    // 输出顺序:script start->script end->settimeout
  2. Promise

    Promise本身是同步的立即执行函数, 当在executor中执行resolve或者reject的时候, 此时是异步操作, 会先执行then/catch等,当主栈完成后,才会去调用resolve/reject中存放的方法执行,打印p的时候,是打印的返回结果,一个Promise实例。

    console.log('script start')
    let promise1 = new Promise(function (resolve) {
        console.log('promise1')
        resolve()
        console.log('promise1 end')
    }).then(function () {
        console.log('promise2')
    })
    setTimeout(function(){
        console.log('settimeout')
    })
    console.log('script end')
    // 输出顺序: script start->promise1->promise1 end->script end->promise2->settimeout

    当JS主线程执行到Promise对象时,

    • promise1.then() 的回调就是一个 task

    • promise1 是 resolved或rejected: 那这个 task 就会放入当前事件循环回合的 microtask queue

    • promise1 是 pending: 这个 task 就会放入 事件循环的未来的某个(可能下一个)回合的 microtask queue 中

    • setTimeout 的回调也是个 task ,它会被放入 macrotask queue 即使是 0ms 的情况

  3. async await

    async function async1(){
       console.log('async1 start');
        await async2();
        console.log('async1 end')
    }
    async function async2(){
        console.log('async2')
    }
    
    console.log('script start');
    async1();
    console.log('script end')
    
    // 输出顺序:script start->async1 start->async2->script end->async1 end

    async 函数返回一个 Promise 对象,当函数执行的时候,一旦遇到 await 就会先返回,等到触发的异步操作完成,再执行函数体内后面的语句。可以理解为,是让出了线程,跳出了 async 函数体。

    举个例子:

    async function func1() {
        return 1
    }
    
    console.log(func1())

    在这里插入图片描述
    很显然,func1的运行结果其实就是一个Promise对象。因此我们也可以使用then来处理后续逻辑。

    func1().then(res => {
        console.log(res);  // 30
    })
    

    await的含义为等待,也就是 async 函数需要等待await后的函数执行完成并且有了返回结果(Promise对象)之后,才能继续执行下面的代码。await通过返回一个Promise对象来实现同步的效果。

参考: 一道题引发的EventLoop思考

理解 JavaScript 中的 macrotask 和 microtask

本文始发于我的博客:setTimeout、Promise、Async/Await

@ZERO-Ling
Copy link

在chrome下执行,async1 end 先于 promise2

@xrxv5
Copy link

xrxv5 commented Feb 18, 2019

老哥,变式一里面的promise4 和 async1 end 的顺序是不是反了?

@zuoqi705
Copy link
Author

zuoqi705 commented Feb 18, 2019

在chrome下执行,async1 end 先于 promise2

文章已按照最新版本谷歌浏览器的环境所运行的结果修改,感谢你的指正~

@zuoqi705
Copy link
Author

zuoqi705 commented Feb 18, 2019

老哥,变式一里面的promise4 和 async1 end 的顺序是不是反了?

文章已按照最新版本谷歌浏览器的环境所运行的结果修改,感谢你的指正~

@chenjigeng
Copy link

**很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的函数会先执行一遍,然后就会跳出整个async函数来执行后面的代码。等本轮事件循环执行完了之后又会跳回到async函数中执行后面的代码。
那么async在await后,它是属于macro task还是micro task。
如果是micro task,为什么会比promose慢,如果是macro task,为什么会比settimeout快?

@zuoqi705
Copy link
Author

**很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的函数会先执行一遍,然后就会跳出整个async函数来执行后面的代码。等本轮事件循环执行完了之后又会跳回到async函数中执行后面的代码。
那么async在await后,它是属于macro task还是micro task。
如果是micro task,为什么会比promose慢,如果是macro task,为什么会比settimeout快?

取决于async函数里面的内容,里面是同步代码就立即执行,异步就加入到任务队列。文章中有写,变式2也有论证~

@chenjigeng
Copy link

**很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的函数会先执行一遍,然后就会跳出整个async函数来执行后面的代码。等本轮事件循环执行完了之后又会跳回到async函数中执行后面的代码。
那么async在await后,它是属于macro task还是micro task。
如果是micro task,为什么会比promose慢,如果是macro task,为什么会比settimeout快?

取决于async函数里面的内容,里面是同步代码就立即执行,异步就加入到任务队列。文章中有写,变式2也有论证~

我说的是await后面的代码,比如下面这个:
image

@zuoqi705
Copy link
Author

**很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的函数会先执行一遍,然后就会跳出整个async函数来执行后面的代码。等本轮事件循环执行完了之后又会跳回到async函数中执行后面的代码。
那么async在await后,它是属于macro task还是micro task。
如果是micro task,为什么会比promose慢,如果是macro task,为什么会比settimeout快?

取决于async函数里面的内容,里面是同步代码就立即执行,异步就加入到任务队列。文章中有写,变式2也有论证~

我说的是await后面的代码,比如下面这个:
image

这里的console.log('async1 end')是属于macrotask中的script队列中的,因为script队列在setTimout队列前面,所以会比setTimout先输出。也可以理解为是同步代码,所以先输出。(老哥发现好像是校友啊...)

@chenjigeng
Copy link

**很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的函数会先执行一遍,然后就会跳出整个async函数来执行后面的代码。等本轮事件循环执行完了之后又会跳回到async函数中执行后面的代码。
那么async在await后,它是属于macro task还是micro task。
如果是micro task,为什么会比promose慢,如果是macro task,为什么会比settimeout快?

取决于async函数里面的内容,里面是同步代码就立即执行,异步就加入到任务队列。文章中有写,变式2也有论证~

我说的是await后面的代码,比如下面这个:
image

这里的console.log('async1 end')是属于macrotask中的script队列中的,因为script队列在setTimout队列前面,所以会比setTimout先输出。也可以理解为是同步代码,所以先输出。(老哥发现好像是校友啊...)

//请写出输出内容
async function async1() {
    console.log('async1 start');
    await async2();
    console.log('async1 end');
}
async function async2() {
	console.log('async2');
	let currentDate = Date.now();
	while (currentDate + 2000 > Date.now()) {}
}

console.log('script start');

setTimeout(function() {
    console.log('setTimeout');
}, 0)

async1();

new Promise(function(resolve) {
    console.log('promise1');
    resolve();
}).then(function() {
    console.log('promise2');
});
console.log('script end');

我刚才做了个测试。让async2里面卡死2s,这个时候外部的settimeout的macro task应该先加入了任务队列?可是实际上输出还是settimeout最后输出。(校友好

@chenjigeng
Copy link

如果按照你的解释的话,现在的关键就是,setTimeout(fn, 0)是什么时候加入到macro task,如果async2函数里执行的时间过长,会不会导致setTimeout比script 更快加入到macro task里。导致结果不一样

@zuoqi705
Copy link
Author

如果按照你的解释的话,现在的关键就是,setTimeout(fn, 0)是什么时候加入到macro task,如果async2函数里执行的时间过长,会不会导致setTimeout比script 更快加入到macro task里。导致结果不一样

你加的那段代码还是属于同步代码啊,就还是属于script队列中的,所以肯定会阻塞后面setTimeout执行的。

@chenjigeng
Copy link

如果按照你的解释的话,现在的关键就是,setTimeout(fn, 0)是什么时候加入到macro task,如果async2函数里执行的时间过长,会不会导致setTimeout比script 更快加入到macro task里。导致结果不一样

你加的那段代码还是属于同步代码啊,就还是属于script队列中的,所以肯定会阻塞后面setTimeout执行的。

console.log('async1 end'); 加入队列的时机是什么?因为await 后面接受的是一个promise,我个人理解是在await 后面的promise.then后才加入队列?

@zuoqi705
Copy link
Author

如果按照你的解释的话,现在的关键就是,setTimeout(fn, 0)是什么时候加入到macro task,如果async2函数里执行的时间过长,会不会导致setTimeout比script 更快加入到macro task里。导致结果不一样

你加的那段代码还是属于同步代码啊,就还是属于script队列中的,所以肯定会阻塞后面setTimeout执行的。

console.log('async1 end'); 加入队列的时机是什么?因为await 后面接受的是一个promise,我个人理解是在await 后面的promise.then后才加入队列?

我理解的是在第一轮事件循环之后加入到script任务队列

@chenjigeng
Copy link

因为async await 本身就是promise+generator的语法糖。所以await 后面的语法,我觉得肯定是作为micro task,不可能是macro task。
我个人理解是这样:

async function async1() {
	console.log('async1 start');
	await async2();
	console.log('async1 end');
}
等价于
async function async1() {
	console.log('async1 start');
	Promise.resolve(async2()).then(() => {
                console.log('async1 end');
        })
}

我在node和最新版本的chrome里执行的话,输出结果是

script start
async1 start
async2
promise1
script end
async1 end
promise2
setTimeout

因为async1函数先执行,所以async2先加入micro task,因此async1 end先展示。这个看起来就比较合理点。目前看,不同浏览器实现不一样,没有统一的标准,不过最新的Node和chrome看样子已经修复过来了。

@zuoqi705
Copy link
Author

因为async await 本身就是promise+generator的语法糖。所以await 后面的语法,我觉得肯定是作为micro task,不可能是macro task。
我个人理解是这样:

async function async1() {
	console.log('async1 start');
	await async2();
	console.log('async1 end');
}
等价于
async function async1() {
	console.log('async1 start');
	Promise.resolve(async2()).then(() => {
                console.log('async1 end');
        })
}

我在node和最新版本的chrome里执行的话,输出结果是

script start
async1 start
async2
promise1
script end
async1 end
promise2
setTimeout

因为async1函数先执行,所以async2先加入micro task,因此async1 end先展示。这个看起来就比较合理点。目前看,不同浏览器实现不一样,没有统一的标准,不过最新的Node和chrome看样子已经修复过来了。

我也是由果推因,可能我的环境不是最新的原因...

@chenjigeng
Copy link

因为async await 本身就是promise+generator的语法糖。所以await 后面的语法,我觉得肯定是作为micro task,不可能是macro task。
我个人理解是这样:

async function async1() {
	console.log('async1 start');
	await async2();
	console.log('async1 end');
}
等价于
async function async1() {
	console.log('async1 start');
	Promise.resolve(async2()).then(() => {
                console.log('async1 end');
        })
}

我在node和最新版本的chrome里执行的话,输出结果是

script start
async1 start
async2
promise1
script end
async1 end
promise2
setTimeout

因为async1函数先执行,所以async2先加入micro task,因此async1 end先展示。这个看起来就比较合理点。目前看,不同浏览器实现不一样,没有统一的标准,不过最新的Node和chrome看样子已经修复过来了。

我也是由果推因,可能我的环境不是最新的原因...

所以其实这道题没什么意义,我觉得比较正常应该是async1 end 输出在promise2 之前。我刚才用babel转译了下后,输出顺序也是这样。

@zuoqi705
Copy link
Author

因为async await 本身就是promise+generator的语法糖。所以await 后面的语法,我觉得肯定是作为micro task,不可能是macro task。
我个人理解是这样:

async function async1() {
	console.log('async1 start');
	await async2();
	console.log('async1 end');
}
等价于
async function async1() {
	console.log('async1 start');
	Promise.resolve(async2()).then(() => {
                console.log('async1 end');
        })
}

我在node和最新版本的chrome里执行的话,输出结果是

script start
async1 start
async2
promise1
script end
async1 end
promise2
setTimeout

因为async1函数先执行,所以async2先加入micro task,因此async1 end先展示。这个看起来就比较合理点。目前看,不同浏览器实现不一样,没有统一的标准,不过最新的Node和chrome看样子已经修复过来了。

我也是由果推因,可能我的环境不是最新的原因...

所以其实这道题没什么意义,我觉得比较正常应该是async1 end 输出在promise2 之前。我刚才用babel转译了下后,输出顺序也是这样。

好吧,其实当时关于async1 endpromise2的顺序问题我也纠结了好久,只好找了这么个说法,我一会儿更新下环境试一下。

@chenjigeng
Copy link

因为async await 本身就是promise+generator的语法糖。所以await 后面的语法,我觉得肯定是作为micro task,不可能是macro task。
我个人理解是这样:

async function async1() {
	console.log('async1 start');
	await async2();
	console.log('async1 end');
}
等价于
async function async1() {
	console.log('async1 start');
	Promise.resolve(async2()).then(() => {
                console.log('async1 end');
        })
}

我在node和最新版本的chrome里执行的话,输出结果是

script start
async1 start
async2
promise1
script end
async1 end
promise2
setTimeout

因为async1函数先执行,所以async2先加入micro task,因此async1 end先展示。这个看起来就比较合理点。目前看,不同浏览器实现不一样,没有统一的标准,不过最新的Node和chrome看样子已经修复过来了。

我也是由果推因,可能我的环境不是最新的原因...

所以其实这道题没什么意义,我觉得比较正常应该是async1 end 输出在promise2 之前。我刚才用babel转译了下后,输出顺序也是这样。

好吧,其实当时关于async1 endpromise2的顺序问题我也纠结了好久,只好找了这么个说法,我一会儿更新下环境试一下。

嗯嗯,当时我也纠结了很久,差点把我的世界观给扭曲了。

@zuoqi705
Copy link
Author

因为async await 本身就是promise+generator的语法糖。所以await 后面的语法,我觉得肯定是作为micro task,不可能是macro task。
我个人理解是这样:

async function async1() {
	console.log('async1 start');
	await async2();
	console.log('async1 end');
}
等价于
async function async1() {
	console.log('async1 start');
	Promise.resolve(async2()).then(() => {
                console.log('async1 end');
        })
}

我在node和最新版本的chrome里执行的话,输出结果是

script start
async1 start
async2
promise1
script end
async1 end
promise2
setTimeout

因为async1函数先执行,所以async2先加入micro task,因此async1 end先展示。这个看起来就比较合理点。目前看,不同浏览器实现不一样,没有统一的标准,不过最新的Node和chrome看样子已经修复过来了。

我也是由果推因,可能我的环境不是最新的原因...

所以其实这道题没什么意义,我觉得比较正常应该是async1 end 输出在promise2 之前。我刚才用babel转译了下后,输出顺序也是这样。

好吧,其实当时关于async1 endpromise2的顺序问题我也纠结了好久,只好找了这么个说法,我一会儿更新下环境试一下。

嗯嗯,当时我也纠结了很久,差点把我的世界观给扭曲了。

我也用babel编译一遍,看来你的理解是正确的~

@daryl-z
Copy link

daryl-z commented Feb 21, 2019

node v11.2.0 的运行结果:

script start
async1 start
async2
promise1
script end
promise2 //
async1 end //
setTimeout

@zhangyanling77
Copy link

zhangyanling77 commented Feb 22, 2019

node v11.7.0 执行结果:
script start
async1 start
async2
promise1
script end
promise2 //
async1 end //
setTimeout
node v8.11.2 执行结果:
script start
async1 start
async2
promise1
script end
async1 end //
promise2 //
setTimeout
chrome 最新v72.0.3626.119 执行结果:
script start
async1 start
async2
promise1
script end
async1 end //
promise2 //
setTimeout

@dickeylth
Copy link

楼上对 async1 endpromise2 顺序有困惑的同学请参见:https://v8.js.cn/blog/fast-async/,V8 团队已向 EcmaScript 标准提交 PR:tc39/ecma262#1250,以最新的 Chromium 为准。

@dayney
Copy link

dayney commented Feb 25, 2019

**很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的函数会先执行一遍,然后就会跳出整个async函数来执行后面的代码。等本轮事件循环执行完了之后又会跳回到async函数中执行后面的代码。
那么async在await后,它是属于macro task还是micro task。
如果是micro task,为什么会比promose慢,如果是macro task,为什么会比settimeout快?

取决于async函数里面的内容,里面是同步代码就立即执行,异步就加入到任务队列。文章中有写,变式2也有论证~

我说的是await后面的代码,比如下面这个:
image

这里的console.log('async1 end')是属于macrotask中的script队列中的,因为script队列在setTimout队列前面,所以会比setTimout先输出。也可以理解为是同步代码,所以先输出。(老哥发现好像是校友啊...)

这里有一个microtask的概念,我还原先以为是在

await async2()
console.log('async1 end')

await之后立马执行后面的console.log(),原来不是

@Zousdie
Copy link

Zousdie commented Feb 25, 2019

我比较反对用这道题作为面试题,因为这道题在Chrome71和Chrome73中表现不一,即答案不唯一。

上面也有同学说过了,V8 团队已向 EcmaScript 标准提交 PR,await的相关规范已经变更。

主要问题是以下两段代码并不等价

const p = Promise.resolve(1);

new Promise((r) => {
    r(p);
})
    .then((res) => console.log(res));
const p = Promise.resolve(1);

Promise.resolve(p)
    .then((res) => console.log(res));

我写过一篇文章详细说明了这个差异:令人费解的 async/await 执行顺序

@joey-lucky
Copy link

在node环境下
promise2
async1 end
在浏览器下
async1 end
promise2
这是为什么?

@Fatty-Shu
Copy link

在node环境下
promise2
async1 end
在浏览器下
async1 end
promise2
这是为什么?

这是因为,在nodejs中,微任务也是有执行顺序的,不像浏览器是谁先添加就先执行谁;

// node中微任务process.nextTick优先于promise.then优先于await,
// 所以,如果你在node中执行以下代码
async function a1 () {
    console.log('a1 start')
    await a2()
    console.log('a1 end')
}
async function a2 () {
    console.log('a2')
}

async function a3 () {
    console.log('a3 start')
    await a4()
    console.log('a3 end')
}
async function a4 () {
    console.log('a4')
}

console.log('script start')

setTimeout(() => {
    console.log('setTimeout')
}, 0)

Promise.resolve().then(() => {
    console.log('promise1')
})

a1()
a3()


let promise2 = new Promise((resolve) => {
    resolve('promise2.then')
    console.log('promise2')
})

promise2.then((res) => {
    console.log(res)
    Promise.resolve().then(() => {
        console.log('promise3')
    })
})
process.nextTick(()=>{
	console.log('nextTick')
})
console.log('script end')  

// 执行结果会是
// script start
// a1 start
// a2
// a3 start
// a4
// promise2
// script end
// nextTick
// promise1
// promise2.then
// promise3
// a1 end
// a3 end
// setTimeout

@yexiuqing
Copy link

从一道题浅说 JavaScript 的事件循环

注:本篇文章运行环境为当前最新版本的谷歌浏览器(72.0.3626.109)

最近看到这样一道有关事件循环的前端面试题:

//请写出输出内容
async function async1() {
    console.log('async1 start');
    await async2();
    console.log('async1 end');
}
async function async2() {
	console.log('async2');
}

console.log('script start');

setTimeout(function() {
    console.log('setTimeout');
}, 0)

async1();

new Promise(function(resolve) {
    console.log('promise1');
    resolve();
}).then(function() {
    console.log('promise2');
});
console.log('script end');


/*
script start
async1 start
async2
promise1
script end
async1 end
promise2
setTimeout
*/

这道题主要考察的是事件循环中函数执行顺序的问题,其中包括asyncawaitsetTimeoutPromise函数。下面来说一下本题中涉及到的知识点。

任务队列

首先我们需要明白以下几件事情:

  • JS分为同步任务和异步任务
  • 同步任务都在主线程上执行,形成一个执行栈
  • 主线程之外,事件触发线程管理着一个任务队列,只要异步任务有了运行结果,就在任务队列之中放置一个事件。
  • 一旦执行栈中的所有同步任务执行完毕(此时JS引擎空闲),系统就会读取任务队列,将可运行的异步任务添加到可执行栈中,开始执行。

根据规范,事件循环是通过任务队列的机制来进行协调的。一个 Event Loop 中,可以有一个或者多个任务队列(task queue),一个任务队列便是一系列有序任务(task)的集合;每个任务都有一个任务源(task source),源自同一个任务源的 task 必须放到同一个任务队列,从不同源来的则被添加到不同队列。 setTimeout/Promise 等API便是任务源,而进入任务队列的是他们指定的具体执行任务。

任务队列

宏任务

(macro)task(又称之为宏任务),可以理解是每次执行栈执行的代码就是一个宏任务(包括每次从事件队列中获取一个事件回调并放到执行栈中执行)。

浏览器为了能够使得JS内部(macro)task与DOM任务能够有序的执行,会在一个(macro)task执行结束后,在下一个(macro)task 执行开始前,对页面进行重新渲染,流程如下:

(macro)task->渲染->(macro)task->...

(macro)task主要包含:script(整体代码)、setTimeout、setInterval、I/O、UI交互事件、postMessage、MessageChannel、setImmediate(Node.js 环境)

微任务

microtask(又称为微任务),可以理解是在当前 task 执行结束后立即执行的任务。也就是说,在当前task任务后,下一个task之前,在渲染之前。

所以它的响应速度相比setTimeout(setTimeout是task)会更快,因为无需等渲染。也就是说,在某一个macrotask执行完后,就会将在它执行期间产生的所有microtask都执行完毕(在渲染前)。

microtask主要包含:Promise.then、MutaionObserver、process.nextTick(Node.js 环境)

运行机制

在事件循环中,每进行一次循环操作称为 tick,每一次 tick 的任务处理模型是比较复杂的,但关键步骤如下:

  • 执行一个宏任务(栈中没有就从事件队列中获取)
  • 执行过程中如果遇到微任务,就将它添加到微任务的任务队列中
  • 宏任务执行完毕后,立即执行当前微任务队列中的所有微任务(依次执行)
  • 当前宏任务执行完毕,开始检查渲染,然后GUI线程接管渲染
  • 渲染完毕后,JS线程继续接管,开始下一个宏任务(从事件队列中获取)

流程图如下:

mark

Promise和async中的立即执行

我们知道Promise中的异步体现在thencatch中,所以写在Promise中的代码是被当做同步任务立即执行的。而在async/await中,在出现await出现之前,其中的代码也是立即执行的。那么出现了await时候发生了什么呢?

await做了什么

从字面意思上看await就是等待,await 等待的是一个表达式,这个表达式的返回值可以是一个promise对象也可以是其他值。

很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的表达式会先执行一遍,将await后面的代码加入到microtask中,然后就会跳出整个async函数来执行后面的代码。

这里感谢@chenjigeng的纠正:

由于因为async await 本身就是promise+generator的语法糖。所以await后面的代码是microtask。所以对于本题中的

async function async1() {
	console.log('async1 start');
	await async2();
	console.log('async1 end');
}

等价于

async function async1() {
	console.log('async1 start');
	Promise.resolve(async2()).then(() => {
                console.log('async1 end');
        })
}

回到本题

以上就本道题涉及到的所有相关知识点了,下面我们再回到这道题来一步一步看看怎么回事儿。

  1. 首先,事件循环从宏任务(macrotask)队列开始,这个时候,宏任务队列中,只有一个script(整体代码)任务;当遇到任务源(task source)时,则会先分发任务到对应的任务队列中去。所以,上面例子的第一步执行如下图所示:
  2. 然后我们看到首先定义了两个async函数,接着往下看,然后遇到了 console 语句,直接输出 script start。输出之后,script 任务继续往下执行,遇到 setTimeout,其作为一个宏任务源,则会先将其任务分发到对应的队列中:
  3. script 任务继续往下执行,执行了async1()函数,前面讲过async函数中在await之前的代码是立即执行的,所以会立即输出async1 start
    遇到了await时,会将await后面的表达式执行一遍,所以就紧接着输出async2,然后将await后面的代码也就是console.log('async1 end')加入到microtask中的Promise队列中,接着跳出async1函数来执行后面的代码。
  4. script任务继续往下执行,遇到Promise实例。由于Promise中的函数是立即执行的,而后续的 .then 则会被分发到 microtask 的 Promise 队列中去。所以会先输出 promise1,然后执行 resolve,将 promise2 分配到对应队列。
  5. script任务继续往下执行,最后只有一句输出了 script end,至此,全局任务就执行完毕了。
    根据上述,每次执行完一个宏任务之后,会去检查是否存在 Microtasks;如果有,则执行 Microtasks 直至清空 Microtask Queue。
    因而在script任务执行完毕之后,开始查找清空微任务队列。此时,微任务中, Promise 队列有的两个任务async1 endpromise2,因此按先后顺序输出 async1 end,promise2。当所有的 Microtasks 执行完毕之后,表示第一轮的循环就结束了。
  6. 第二轮循环开始,这个时候就会跳回async1函数中执行后面的代码,然后遇到了同步任务 console 语句,直接输出 async1 end。这样第二轮的循环就结束了。(也可以理解为被加入到script任务队列中,所以会先与setTimeout队列执行)
  7. 第二轮循环依旧从宏任务队列开始。此时宏任务中只有一个 setTimeout,取出直接输出即可,至此整个流程结束。

下面我会改变一下代码来加深印象。

变式一

在第一个变式中我将async2中的函数也变成了Promise函数,代码如下:

async function async1() {
    console.log('async1 start');
    await async2();
    console.log('async1 end');
}
async function async2() {
    //async2做出如下更改:
    new Promise(function(resolve) {
    console.log('promise1');
    resolve();
}).then(function() {
    console.log('promise2');
    });
}
console.log('script start');

setTimeout(function() {
    console.log('setTimeout');
}, 0)
async1();

new Promise(function(resolve) {
    console.log('promise3');
    resolve();
}).then(function() {
    console.log('promise4');
});

console.log('script end');

可以先自己看看输出顺序会是什么,下面来公布结果:

script start
async1 start
promise1
promise3
script end
promise2
async1 end
promise4
setTimeout

在第一次macrotask执行完之后,也就是输出script end之后,会去清理所有microtask。所以会相继输出promise2 async1 endpromise4,其余不再多说。

变式二

在第二个变式中,我将async1中await后面的代码和async2的代码都改为异步的,代码如下:

async function async1() {
    console.log('async1 start');
    await async2();
    //更改如下:
    setTimeout(function() {
        console.log('setTimeout1')
    },0)
}
async function async2() {
    //更改如下:
	setTimeout(function() {
		console.log('setTimeout2')
	},0)
}
console.log('script start');

setTimeout(function() {
    console.log('setTimeout3');
}, 0)
async1();

new Promise(function(resolve) {
    console.log('promise1');
    resolve();
}).then(function() {
    console.log('promise2');
});
console.log('script end');

可以先自己看看输出顺序会是什么,下面来公布结果:

script start
async1 start
promise1
script end
promise2
setTimeout3
setTimeout2
setTimeout1

在输出为promise2之后,接下来会按照加入setTimeout队列的顺序来依次输出,通过代码我们可以看到加入顺序为3 2 1,所以会按3,2,1的顺序来输出。

变式三

变式三是我在一篇面经中看到的原题,整体来说大同小异,代码如下:

async function a1 () {
    console.log('a1 start')
    await a2()
    console.log('a1 end')
}
async function a2 () {
    console.log('a2')
}

console.log('script start')

setTimeout(() => {
    console.log('setTimeout')
}, 0)

Promise.resolve().then(() => {
    console.log('promise1')
})

a1()

let promise2 = new Promise((resolve) => {
    resolve('promise2.then')
    console.log('promise2')
})

promise2.then((res) => {
    console.log(res)
    Promise.resolve().then(() => {
        console.log('promise3')
    })
})
console.log('script end')

无非是在微任务那块儿做点文章,前面的内容如果你都看懂了的话这道题一定没问题的,结果如下:

script start
a1 start
a2
promise2
script end
promise1
a1 end
promise2.then
promise3
setTimeout

参考文章

变式3中promise2中的promise.then不是微任务么,微任务中的(promise3)微任务为什么还先执行了。

@ihoneys
Copy link

ihoneys commented Apr 10, 2020

看了两小时,萌新的 终于明明白白 哈哈哈

@alphaobj
Copy link

alphaobj commented Jun 11, 2020

async function async1() {
    console.log('async1 start') 
    await async2()
    console.log('async1 end') 
}
async function async2() {
    console.log('async2 start') 
    await async3()
    console.log('async2 end') 
}
async function async3() {
    console.log('async3 start') 
    await async4()
    console.log('async3 end')
}
async function async4() {
    console.log('async4') 
}
console.log('script start')
setTimeout(function () {
    console.log('settimeout')
})
async1()
new Promise(function (resolve) {
    console.log('promise1') 
    resolve()
}).then(function () {
    console.log('promise2') 
})
console.log('script end')

script start
async1 start
async2 start
async3 start
async4
promise1
script end
async3 end
promise2
async2 end
async1 end
settimeout

结果很有意思!!!!

@zengkaiz
Copy link

async function async1() {
    console.log('async1 start') 
    await async2()
    console.log('async1 end') 
}
async function async2() {
    console.log('async2 start') 
    await async3()
    console.log('async2 end') 
}
async function async3() {
    console.log('async3 start') 
    await async4()
    console.log('async3 end')
}
async function async4() {
    console.log('async4') 
}
console.log('script start')
setTimeout(function () {
    console.log('settimeout')
})
async1()
new Promise(function (resolve) {
    console.log('promise1') 
    resolve()
}).then(function () {
    console.log('promise2') 
})
console.log('script end')

script start
async1 start
async2 start
async3 start
async4
promise1
script end
promise2
async3 end
async2 end
async1 end
settimeout
这样子的吧???

@CorleoneZzz
Copy link

在chrome下执行,async1 end 先于 promise2

文章已按照最新版本谷歌浏览器的环境所运行的结果修改,感谢你的指正~

image
这个地方的答案没有修改回来,promise2还是在前面的

@xieww
Copy link

xieww commented Aug 20, 2020

在node环境下
promise2
async1 end
在浏览器下
async1 end
promise2
这是为什么?

这是因为,在nodejs中,微任务也是有执行顺序的,不像浏览器是谁先添加就先执行谁;

// node中微任务process.nextTick优先于promise.then优先于await,
// 所以,如果你在node中执行以下代码
async function a1 () {
    console.log('a1 start')
    await a2()
    console.log('a1 end')
}
async function a2 () {
    console.log('a2')
}

async function a3 () {
    console.log('a3 start')
    await a4()
    console.log('a3 end')
}
async function a4 () {
    console.log('a4')
}

console.log('script start')

setTimeout(() => {
    console.log('setTimeout')
}, 0)

Promise.resolve().then(() => {
    console.log('promise1')
})

a1()
a3()


let promise2 = new Promise((resolve) => {
    resolve('promise2.then')
    console.log('promise2')
})

promise2.then((res) => {
    console.log(res)
    Promise.resolve().then(() => {
        console.log('promise3')
    })
})
process.nextTick(()=>{
	console.log('nextTick')
})
console.log('script end')  

// 执行结果会是
// script start
// a1 start
// a2
// a3 start
// a4
// promise2
// script end
// nextTick
// promise1
// promise2.then
// promise3
// a1 end
// a3 end
// setTimeout

这个执行结果并不对,在node(14.5.0)结果如下
image

@lsczy
Copy link

lsczy commented Nov 17, 2020

v8引擎和node不同版本运行结果

蛋疼呀

@AKclown
Copy link

AKclown commented Dec 26, 2020

此问题难点在
async1 end
promise2

是的这题我也做错了

@FrogSky
Copy link

FrogSky commented Jan 5, 2021

我觉得这个点在于宏任务跟微任务以及任务队列的概念和实际应用,在码的时候能够有意识的避免一些奇葩的问题或者写法。至于v8或者node环境下执行的具体顺序了解就可以,不用深究。

@zsjun
Copy link

zsjun commented Mar 2, 2021

script start
async1 start
async2
promise1
script end
async1 end
promise2
setTimeout

@zsjun
Copy link

zsjun commented Mar 2, 2021

**很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的函数会先执行一遍,然后就会跳出整个async函数来执行后面的代码。等本轮事件循环执行完了之后又会跳回到async函数中执行后面的代码。
那么async在await后,它是属于macro task还是micro task。
如果是micro task,为什么会比promose慢,如果是macro task,为什么会比settimeout快?

属于micro task,加入到微任务队列不就比promose慢吗

@WayneGongCN
Copy link

我是这样理解的 await 的:

await 后面的函数,就像是 Promise 接收的 executor 参数一样,都是立即同步执行的;
await 函数之后的代码,就像是 Promise.then 的回调一样,都属于是 micro task;

@jiangyanglove
Copy link

jiangyanglove commented Jul 25, 2021

async function async1() {
    console.log('async1 start')
    await async2()
    console.log('async1 end')
}
async function async2() {
    console.log('async2')
}
console.log('script start')
setTimeout(function () {
    async1();
    console.log('settimeout')
})
new Promise(function (resolve) {
    console.log('promise1')
    resolve()
}).then(function () {
    console.log('promise2')
})
console.log('script end')

我感觉这样写更能体现出宏任务微任务之间的关系

@shifengdiy
Copy link

shifengdiy commented Jul 29, 2021

主调用栈流程:

  1. heap存放函数对象async1
  2. heap存放函数对象async2
  3. console.log同步方法执行,打印 script start
  4. setTimeout函数执行,一个函数由定时器线程指定何时加入异步队列,这里是0ms,理论上应该主调用栈执行完毕后,第一个加入第一个异步队列,各浏览器可能有区别
  5. async1函数被执行,主调用栈压入async1 context,执行上下文,log被执行,打印 async1 start; await async2被调用,相当于Promise.resolve(async2()).then被执行;后续代码被放在then方法中执行
  6. 首先同步执行 async2,调用栈压入 async2 context,执行上下文,打印 async2,执行完毕,弹出async2 context,回到async1 context
  7. 由于async2没有返回promise,所以创建一个空的,reoslve为undefined的promise以供then调用,步骤5 await之后被放入微任务队列
  8. 退出async1 context;执行执行后续主调用栈,new Promise(func)中代码被执行,打印 promise1,然后调用resolve,此promise状态变为fulfilled,后续then方法被放入微任务队列
  9. 继续执行主调用栈,打印script end
  10. 主调用栈执行完毕,event loop开始检查微任务队列的任务,按照先进先出执行,第一个微任务压入主调用栈执行
  11. 执行打印async1 end;执行完毕,第二个微任务压入调用栈执行,打印 promise2 第二个微任务执行完毕,调用栈清空
  12. event loop检查微任务全部执行完毕,开始检查宏任务列表,有一个setTimeout产生的任务被压入调用栈执行; 打印setTimeout
  13. 执行完毕之后,清空调用栈,event loop检查是否有微任务列表,发现无新的微任务,检查宏任务列表也无新的宏任务,调用栈进入闲置状态

所以打印顺序为

  • script start
  • async1 start
  • async2
  • promise1
  • script end
  • async1 end
  • promise2
  • setTimeout

@yaoocheng
Copy link

**很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的函数会先执行一遍,然后就会跳出整个async函数来执行后面的代码。等本轮事件循环执行完了之后又会跳回到async函数中执行后面的代码。
那么async在await后,它是属于macro task还是micro task。
如果是micro task,为什么会比promose慢,如果是macro task,为什么会比settimeout快?

取决于async函数里面的内容,里面是同步代码就立即执行,异步就加入到任务队列。文章中有写,变式2也有论证~

我说的是await后面的代码,比如下面这个:
image

这里的console.log('async1 end')是属于macrotask中的script队列中的,因为script队列在setTimout队列前面,所以会比setTimout先输出。也可以理解为是同步代码,所以先输出。(老哥发现好像是校友啊...)

//请写出输出内容
async function async1() {
    console.log('async1 start');
    await async2();
    console.log('async1 end');
}
async function async2() {
	console.log('async2');
	let currentDate = Date.now();
	while (currentDate + 2000 > Date.now()) {}
}

console.log('script start');

setTimeout(function() {
    console.log('setTimeout');
}, 0)

async1();

new Promise(function(resolve) {
    console.log('promise1');
    resolve();
}).then(function() {
    console.log('promise2');
});
console.log('script end');

我刚才做了个测试。让async2里面卡死2s,这个时候外部的settimeout的macro task应该先加入了任务队列?可是实际上输出还是settimeout最后输出。(校友好

此问题难点在
async1 end
promise2

是的这题我也做错了

node环境这俩是反的,chrome运行是对的,不懂了

@Yangfan2016
Copy link

Yangfan2016 commented Aug 23, 2022

//请写出输出内容
async function async1() {
    console.log('2 async1 start');
    await async2();
    console.log('6 async1 end');
}
async function async2() {
	console.log('3 async2');
}

console.log('1 script start');

setTimeout(function() {
    console.log('8 setTimeout');
}, 0)

async1();

new Promise(function(resolve) {
    console.log('4 promise1');
    resolve();
}).then(function() {
    console.log('7 promise2');
});
console.log('5 script end');

// 1 2 3 4 5 6 7 8  

难点在 于 await 后面的代码

async function async1() {
    console.log('2 async1 start');
    await async2();
    console.log('6 async1 end');
}

等价于

function async1() {
    console.log('2 async1 start');
    async2().then(v => console.log('6 async1 end'));
}

@wangmeihong1234
Copy link

wangmeihong1234 commented Aug 23, 2022 via email

@Fatty-Shu
Copy link

Fatty-Shu commented Aug 23, 2022 via email

@xiao-1027
Copy link

**很多人以为await会一直等待之后的表达式执行完之后才会继续执行后面的代码,实际上await是一个让出线程的标志。await后面的函数会先执行一遍,然后就会跳出整个async函数来执行后面的代码。等本轮事件循环执行完了之后又会跳回到async函数中执行后面的代码。 那么async在await后,它是属于macro task还是micro task。 如果是micro task,为什么会比promose慢,如果是macro task,为什么会比settimeout快?

promise是同步代码,promise.then是微任务,await后面的属于微任务了

@Fatty-Shu
Copy link

Fatty-Shu commented Sep 7, 2023 via email

@wangmeihong1234
Copy link

wangmeihong1234 commented Sep 7, 2023 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests