面试题 JavaScript async await

前言

经常有人说async函数是generator函数的语法糖,那么到底是怎么样一个糖呢?来一层层的剥开它的糖衣。
有的同学想说,既然用了generator函数何必还要实现async呢?

示例

  1. const getData = () => new Promise(resolve => setTimeout(() => resolve("data"), 1000))
  2. async function test() {
  3. const data = await getData()
  4. console.log('data: ', data);
  5. const data2 = await getData()
  6. console.log('data2: ', data2);
  7. return 'success'
  8. }
  9. // 这样的一个函数 应该再1秒后打印data 再过一秒打印data2 最后打印success
  10. test().then(res => console.log(res))

思路

对于这个简单的案例来说,如果把它用generator函数表达,会是怎么样的呢?

  1. function* testG() {
  2. // await被编译成了yield
  3. const data = yield getData()
  4. console.log('data: ', data);
  5. const data2 = yield getData()
  6. console.log('data2: ', data2);
  7. return 'success'
  8. }

generator函数是不会自动执行的,每一次调用它的next方法,会停留在下一个yield的位置。
利用这个特性,只要编写一个自动执行的函数,就可以让这个generator函数完全实现async函数的功能。

  1. const getData = () => new Promise(resolve => setTimeout(() => resolve("data"), 1000))
  2. var test = asyncToGenerator(
  3. function* testG() {
  4. // await被编译成了yield
  5. const data = yield getData()
  6. console.log('data: ', data);
  7. const data2 = yield getData()
  8. console.log('data2: ', data2);
  9. return 'success'
  10. }
  11. )
  12. test().then(res => console.log(res))

那么大体上的思路已经确定了,
asyncToGenerator接受一个generator函数,返回一个promise
关键就在于,里面用yield来划分的异步流程,应该如何自动执行。

如果是手动执行

在编写这个函数之前,先模拟手动去调用这个generator函数去一步步的把流程走完,有助于后面的思考。

  1. function* testG() {
  2. // await被编译成了yield
  3. const data = yield getData()
  4. console.log('data: ', data);
  5. const data2 = yield getData()
  6. console.log('data2: ', data2);
  7. return 'success'
  8. }

先调用testG生成一个迭代器

  1. // 返回了一个迭代器
  2. var gen = testG()

然后开始执行第一次next

  1. // 第一次调用next 停留在第一个yield的位置
  2. // 返回的promise里 包含了data需要的数据
  3. var dataPromise = gen.next()

这里返回了一个promise,就是第一次getData()所返回的promise,注意

  1. const data = yield getData()

这段代码要切割成左右两部分来看,第一次调用next,其实只是停留在了yield getData()这里,
data的值并没有被确定。
那么什么时候data的值会被确定呢?
下一次调用next的时候,传的参数会被作为上一个yield前面接受的值
也就是说,再次调用gen.next('这个参数才会被赋给data变量')的时候
data的值才会被确定为’这个参数才会被赋给data变量’

  1. gen.next('这个参数才会被赋给data变量')
  2. // 然后这里的data才有值
  3. const data = yield getData()
  4. // 然后打印出data
  5. console.log('data: ', data);
  6. // 然后继续走到下一个yield
  7. const data2 = yield getData()

然后往下执行,直到遇到下一个yield,继续这样的流程…
这是generator函数设计的一个比较难理解的点,但是为了实现还是得去学习它~
借助这个特性,如果这样去控制yield的流程,是不是就能实现异步串行了?

  1. function* testG() {
  2. // await被编译成了yield
  3. const data = yield getData()
  4. console.log('data: ', data);
  5. const data2 = yield getData()
  6. console.log('data2: ', data2);
  7. return 'success'
  8. }
  9. var gen = testG()
  10. var dataPromise = gen.next()
  11. dataPromise.then((value1) => {
  12. // data1的value被拿到了 继续调用next并且传递给data
  13. var data2Promise = gen.next(value1)
  14. // console.log('data: ', data);
  15. // 此时就会打印出data
  16. data2Promise.value.then((value2) => {
  17. // data2的value拿到了 继续调用next并且传递value2
  18. gen.next(value2)
  19. // console.log('data2: ', data2);
  20. // 此时就会打印出data2
  21. })
  22. })

这样的一个看着像callback hell的调用,就可以让generator函数把异步安排的明明白白。

实现

有了这样的思路,实现这个高阶函数就变得很简单了。
先整体看一下结构,有个印象,然后逐行注释讲解。

  1. function asyncToGenerator(generatorFunc) {
  2. return function() {
  3. const gen = generatorFunc.apply(this, arguments)
  4. return new Promise((resolve, reject) => {
  5. function step(key, arg) {
  6. let generatorResult
  7. try {
  8. generatorResult = gen[key](arg "key")
  9. } catch (error) {
  10. return reject(error)
  11. }
  12. const { value, done } = generatorResult
  13. if (done) {
  14. return resolve(value)
  15. } else {
  16. return Promise.resolve(value).then(val => step('next', val), err => step('throw', err))
  17. }
  18. }
  19. step("next")
  20. })
  21. }
  22. }

逐行讲解

  1. function asyncToGenerator(generatorFunc) {
  2. // 返回的是一个新的函数
  3. return function() {
  4. // 先调用generator函数 生成迭代器
  5. // 对应 var gen = testG()
  6. const gen = generatorFunc.apply(this, arguments)
  7. // 返回一个promise 因为外部是用.then的方式 或者await的方式去使用这个函数的返回值的
  8. // var test = asyncToGenerator(testG)
  9. // test().then(res => console.log(res))
  10. return new Promise((resolve, reject) => {
  11. // 内部定义一个step函数 用来一步一步的跨过yield的阻碍
  12. // key有next和throw两种取值,分别对应了gen的next和throw方法
  13. // arg参数则是用来把promise resolve出来的值交给下一个yield
  14. function step(key, arg) {
  15. let generatorResult
  16. // 这个方法需要包裹在try catch中
  17. // 如果报错了 就把promise给reject掉 外部通过.catch可以获取到错误
  18. try {
  19. generatorResult = gen[key](arg "key")
  20. } catch (error) {
  21. return reject(error)
  22. }
  23. // gen.next() 得到的结果是一个 { value, done } 的结构
  24. const { value, done } = generatorResult
  25. if (done) {
  26. // 如果已经完成了 就直接resolve这个promise
  27. // 这个done是在最后一次调用next后才会为true
  28. // 以本文的例子来说 此时的结果是 { done: true, value: 'success' }
  29. // 这个value也就是generator函数最后的返回值
  30. return resolve(value)
  31. } else {
  32. // 除了最后结束的时候外,每次调用gen.next()
  33. // 其实是返回 { value: Promise, done: false } 的结构,
  34. // 这里要注意的是Promise.resolve可以接受一个promise为参数
  35. // 并且这个promise参数被resolve的时候,这个then才会被调用
  36. return Promise.resolve(
  37. // 这个value对应的是yield后面的promise
  38. value
  39. ).then(
  40. // value这个promise被resove的时候,就会执行next
  41. // 并且只要done不是true的时候 就会递归的往下解开promise
  42. // 对应gen.next().value.then(value => {
  43. // gen.next(value).value.then(value2 => {
  44. // gen.next()
  45. //
  46. // // 此时done为true了 整个promise被resolve了
  47. // // 最外部的test().then(res => console.log(res))的then就开始执行了
  48. // })
  49. // })
  50. function onResolve(val) {
  51. step("next", val)
  52. },
  53. // 如果promise被reject了 就再次进入step函数
  54. // 不同的是,这次的try catch中调用的是gen.throw(err)
  55. // 那么自然就被catch到 然后把promise给reject掉啦
  56. function onReject(err) {
  57. step("throw", err)
  58. },
  59. )
  60. }
  61. }
  62. step("next")
  63. })
  64. }
  65. }