看到这个隔壁帖子( t/830515 )有感。async/await 的基本逻辑是这样:
async myFunction() { // some code await readSomething() // 执行至此处函数交出控制权,读取完成后回到此处继续执行 // some code await sendRequest() // 再次交出控制权 } 和这个模型最为贴近的是协程(生成器),await 相当于一次 yield ,然后等待外面 call 自己的作为调度器的某个东西再 resume 进来。Swift 5.5 加入了 async/await ,把这个调度器做到了系统的事件循环里,所以(起初)需要新系统支持。
然后查了一下 TypeScript 和 Rust 的实现,都是基于状态机,原理其实和 Swift 的类似。但换种方向直观理解,async/await 好像也可以改写成嵌套回调,比如:
// some code readSomething(() => { // some code sendRequest(() => { // some code }) }) 因为有闭包,所以循环也可以通过改成尾递归再写成这种格式。了解了下这种格式有个学名叫 Continuous-passing style ( https://en.wikipedia.org/wiki/Continuation-passing_style ),看起来也很合理。但为什么很多编程语言都选择了另一种实现方式呢?


