async/await被称为 JS 中异步终极解决方案。它既能够像 co + Generator 一样用同步的方式来书写异步代码,又得到底层的语法支持,无需借助任何第三方库。接下来,我们从原理的角度来重新审视这个语法糖背后究竟做了些什么。

async

什么是 async ?

MDN 的定义: async 是一个通过异步执行并隐式返回 Promise 作为结果的函数。

注意重点: 返回结果为Promise

举个例子:

  1. async function func() {
  2. return 100;
  3. }
  4. console.log(func());
  5. // Promise {<resolved>: 100}

这就是隐式返回 Promise 的效果。

await

我们来看看 await做了些什么事情。

以一段代码为例:

  1. async function test() {
  2. console.log(100)
  3. let x = await 200
  4. console.log(x)
  5. console.log(200)
  6. }
  7. console.log(0)
  8. test()
  9. console.log(300)

我们来分析一下这段程序。首先代码同步执行,打印出0,然后将test压入执行栈,打印出100, 下面注意了,遇到了关键角色await

放个慢镜头:

  1. await 200;

被 JS 引擎转换成一个 Promise :

  1. let promise = new Promise((resolve,reject) => {
  2. resolve(200);
  3. })

这里调用了 resolve,resolve的任务进入微任务队列。

然后,JS 引擎将暂停当前协程的运行,把线程的执行权交给父协程
回到父协程中,父协程的第一件事情就是对await返回的Promise调用then, 来监听这个 Promise 的状态改变 。

  1. promise.then(value => {
  2. // 相关逻辑,在resolve 执行之后来调用
  3. })

然后往下执行,打印出300

根据EventLoop机制,当前主线程的宏任务完成,现在检查微任务队列, 发现还有一个Promise的 resolve,执行,现在父协程在then中传入的回调执行。我们来看看这个回调具体做的是什么。

  1. promise.then(value => {
  2. // 1. 将线程的执行权交给test协程
  3. // 2. 把 value 值传递给 test 协程
  4. })

Ok, 现在执行权到了test协程手上,test 接收到父协程传来的200, 赋值给 a ,然后依次执行后面的语句,打印200200

最后的输出为:

  1. 0
  2. 100
  3. 300
  4. 200
  5. 200

总结一下,async/await利用协程Promise实现了同步方式编写异步代码的效果,其中Generator是对协程的一种实现,虽然语法简单,但引擎在背后做了大量的工作,我们也对这些工作做了一一的拆解。用async/await写出的代码也更加优雅、美观,相比于之前的Promise不断调用then的方式,语义化更加明显,相比于co + Generator性能更高,上手成本也更低,不愧是JS异步终极解决方案!

event loop plus

  1. async function foo() {
  2. console.log('foo')
  3. }
  4. async function bar() {
  5. console.log('bar start')
  6. await foo()
  7. console.log('bar end')
  8. }
  9. console.log('script start')
  10. setTimeout(function () {
  11. console.log('setTimeout')
  12. }, 0)
  13. bar();
  14. new Promise(function (resolve) {
  15. console.log('promise executor')
  16. resolve();
  17. }).then(function () {
  18. console.log('promise then')
  19. })
  20. console.log('script end')
  1. script start
  2. bar start
  3. foo
  4. promise executor
  5. script end
  6. bar end
  7. promise then
  8. setTimeout