JavaScript异步编程:Generator与Async
从Promise
开始,JavaScript就在引入新功能,来帮助更简单的方法来处理异步编程,帮助我们远离回调地狱。
Promise
是下边要讲的Generator
/yield
与async
/await
的基础,希望你已经提前了解了它。
在大概ES6
的时代,推出了Generator
/yield
两个关键字,使用Generator
可以很方便的帮助我们建立一个处理Promise
的解释器。
然后,在ES7
左右,我们又得到了async
/await
这样的语法,可以让我们以接近编写同步代码的方式来编写异步代码(无需使用.then()
或者回调函数)。
两者都能够帮助我们很方便的进行异步编程,但同样,这两者之间也是有不少区别的。
Generator
Generator
是一个函数,可以在函数内部通过yield
返回一个值(此时,Generator
函数的执行会暂定,直到下次触发.next()
)
创建一个Generator
函数的方法是在function
关键字后添加*
标识。
在调用一个Generator
函数后,并不会立即执行其中的代码,函数会返回一个Generator
对象,通过调用对象的next
函数,可以获得yield
/return
的返回值。
无论是触发了yield
还是return
,next()
函数总会返回一个带有value
和done
属性的对象。
value
为返回值,done
则是一个Boolean
对象,用来标识Generator
是否还能继续提供返回值。
P.S. Generator
函数的执行时惰性的,yield
后的代码只在触发next
时才会执行
1 function * oddGenerator () { 2 yield 1 3 yield 3 4 5 return 5 6 } 7 8 let iterator = oddGenerator() 9 10 let first = iterator.next() // { value: 1, done: false } 11 let second = iterator.next() // { value: 3, done: false } 12 let third = iterator.next() // { value: 5, done: true }
next的参数传递
我们可以在调用next()
的时候传递一个参数,可以在上次yield
前接收到这个参数:
1 function * outputGenerator () { 2 let ret1 = yield 1 3 console.log(`got ret1: ${ret1}`) 4 let ret2 = yield 2 5 console.log(`got ret2: ${ret2}`) 6 } 7 8 let iterator = outputGenerator() 9 10 iterator.next(1) 11 iterator.next(2) // got ret1: 2 12 iterator.next(3) // got ret2: 3
第一眼看上去可能会有些诡异,为什么第一条log
是在第二次调用next
时才进行输出的
这就又要说到上边的Generator
的实现了,上边说到了,yield
与return
都是用来返回值的语法。
函数在执行时遇到这两个关键字后就会暂停执行,等待下次激活。
然后let ret1 = yield 1
,这是一个赋值表达式,也就是说会先执行=
右边的部分,在=
右边执行的过程中遇到了yield
关键字,函数也就在此处暂停了,在下次触发next()
时才被激活,此时,我们继续进行上次未完成的赋值语句let ret1 = XXX
,并在再次遇到yield
时暂停。
这也就解释了为什么第二次调用next()
的参数会被第一次yield
赋值的变量接收到
用作迭代器使用
因为Generator
对象是一个迭代器,所以我们可以直接用于for of
循环:
但是要注意的是,用作迭代器中的使用,则只会作用于
yield
return
的返回值不计入迭代
1 function * oddGenerator () { 2 yield 1 3 yield 3 4 yield 5 5 6 return 'won\'t be iterate' 7 } 8 9 for (let value of oddGenerator()) { 10 console.log(value) 11 } 12 // > 1 13 // > 3 14 // > 5
Generator函数内部的Generator
除了yield
语法以外,其实还有一个yield*
语法,可以粗略的理解为是Generator
函数版的[...]
用来展开Generator
迭代器的。
1 function * gen1 () { 2 yield 1 3 yield* gen2() 4 yield 5 5 } 6 7 function * gen2 () { 8 yield 2 9 yield 3 10 yield 4 11 return 'won\'t be iterate' 12 } 13 14 for (let value of gen1()) { 15 console.log(value) 16 } 17 // > 1 18 // > 2 19 // > 3 20 // > 4 21 // > 5
模拟实现Promise执行器
然后我们结合着Promise
,来实现一个简易的执行器。
最受欢迎的类似的库是: co
1 function run (gen) { 2 gen = gen() 3 return next(gen.next()) 4 5 function next ({done, value}) { 6 return new Promise(resolve => { 7 if (done) { // finish 8 resolve(value) 9 } else { // not yet 10 value.then(data => { 11 next(gen.next(data)).then(resolve) 12 }) 13 } 14 }) 15 } 16 } 17 18 function getRandom () { 19 return new Promise(resolve => { 20 setTimeout(_ => resolve(Math.random() * 10 | 0), 1000) 21 }) 22 } 23 24 function * main () { 25 let num1 = yield getRandom() 26 let num2 = yield getRandom() 27 28 return num1 + num2 29 } 30 31 run(main).then(data => { 32 console.log(`got data: ${data}`); 33 })
一个简单的解释器的模拟(仅作举例说明)
在例子中,我们约定yield
后边的必然是一个Promise
函数
我们只看main()
函数的代码,使用Generator
确实能够让我们让近似同步的方式来编写异步代码
但是,这样写就意味着我们必须有一个外部函数负责帮我们执行main()
函数这个Generator
,并处理其中生成的Promise
,然后在then
回调中将结果返回到Generator
函数,以便可以执行下边的代码。
Async
我们使用async
/await
来重写上边的Generator
例子:
1 function getRandom () { 2 return new Promise(resolve => { 3 setTimeout(_ => resolve(Math.random() * 10 | 0), 1000) 4 }) 5 } 6 7 async function main () { 8 let num1 = await getRandom() 9 let num2 = await getRandom() 10 11 return num1 + num2 12 }
console.log(`got data: ${await main()}`)
这样看上去,好像我们从Generator
/yield
换到async
/await
只需要把*
都改为async
,yield
都改为await
就可以了。 所以很多人都直接拿Generator
/yield
来解释async
/await
的行为,但这会带来如下几个问题:
Generator
有其他的用途,而不仅仅是用来帮助你处理Promise
- 这样的解释让那些不熟悉这两者的人理解起来更困难(因为你还要去解释那些类似
co
的库)
async
/await
是处理Promise
的一个极其方便的方法,但如果使用不当的话,也会造成一些令人头疼的问题
Async函数始终返回一个Promise
一个async
函数,无论你return 1
或者throw new Error()
。
在调用方来讲,接收到的始终是一个Promise
对象:
1 async function throwError () { 2 throw new Error() 3 } 4 async function returnNumber () { 5 return 1 6 } 7 8 console.log(returnNumber() instanceof Promise) // true 9 console.log(throwError() instanceof Promise) // true
也就是说,无论函数是做什么用的,你都要按照Promise
的方式来处理它。
Await是按照顺序执行的,并不能并行执行
JavaScript
是单线程的,这就意味着await
一只能一次处理一个,如果你有多个Promise
需要处理,则就意味着,你要等到前一个Promise
处理完成才能进行下一个的处理,这就意味着,如果我们同时发送大量的请求,这样处理就会非常慢,one by one
:
1 const bannerImages = [] 2 3 async function getImageInfo () { 4 return bannerImages.map(async banner => await getImageInfo(banner)) 5 }
就像这样的四个定时器,我们需要等待4s
才能执行完毕:
1 function delay () { 2 return new Promise(resolve => setTimeout(resolve, 1000)) 3 } 4 5 let tasks = [1, 2, 3, 4] 6 7 async function runner (tasks) { 8 for (let task of tasks) { 9 await delay() 10 } 11 } 12 13 console.time('runner') 14 await runner(tasks) 15 console.timeEnd('runner')
像这种情况,我们可以进行如下优化:
1 function delay () { 2 return new Promise(resolve => setTimeout(resolve, 1000)) 3 } 4 5 let tasks = [1, 2, 3, 4] 6 7 async function runner (tasks) { 8 tasks = tasks.map(delay) 9 await Promise.all(tasks) 10 } 11 12 console.time('runner') 13 await runner(tasks) 14 console.timeEnd('runner')
草案中提到过
await*
,但现在貌似还不是标准,所以还是采用Promise.all
包裹一层的方法来实现
我们知道,Promise
对象在创建时就会执行函数内部的代码,也就意味着,在我们使用map
创建这个数组时,所有的Promise
代码都会执行,也就是说,所有的请求都会同时发出去,然后我们通过await Promise.all
来监听所有Promise
的响应。
结论
Generator
与async function
都是返回一个特定类型的对象:
Generator
: 一个类似{ value: XXX, done: true }
这样结构的Object
Async
: 始终返回一个Promise
,使用await
或者.then()
来获取返回值
Generator
是属于生成器,一种特殊的迭代器,用来解决异步回调问题感觉有些不务正业了。。 而async
则是为了更简洁的使用Promise
而提出的语法,相比Generator + co
这种的实现方式,更为专注,生来就是为了处理异步编程。
现在已经是2018
年了,async
也是用了好久,就让Generator
去做他该做的事情吧。。
参考资料
示例代码:code-resource