事件循环和回调队列的实战理解

通过一道常见的题目，解释事件循环和回调队列机制

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')

在Chrome 66和node v10中，此题的正确输出是：

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

知识点

• 宏任务
  一般包括包括：整体代码script，setTimeout，setInterval，setImmediate，MessageChannel
• 微任务
  一般包括：Promise，process.nextTick
• 执行顺序
  首先在 宏任务的队列（这个队列也被叫做 task queue）中取出第一个任务，执行完毕后取出微任务队列中的所有任务顺序执行；之后再取一个宏任务，周而复始，直至两个队列的任务都取完。
• 优先级
   1. 宏任务的优先级：主代码块 > setImmediate > MessageChannel > setTimeout / setInterval
   2. 微任务的优先级：process.nextTick > Promise > MutationObserver
• Promise
   1. Promise一旦被定义，就会立即执行。
   2. Promise的reject和resolve是异步执行的回调。所以，resolve()会被放到回调队列中
• async/await
   1. await执行完后，会让出线程。
   2. async标记的函数会返回一个Promise对象

难点

为了便于理解，async1函数可以理解为以下方式：

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

流程

1. console.log('script start')输出：script start
2. setTimeout被放在最后调用
3. 执行async1函数，输出async1 start。然后，进入async2函数，输出async2，并返回Promise对象。回到async1，由于await，让出线程，async2函数返回的Promise放在回调队列。
4. 新new了一个Promise对象，输出promise1。其中的resolve()被放在回调队列。
5. console.log('script end')输出：script end
6. 执行回调队列中，async1返回的Promise对象，对象产生的resolve被放入对调队列。这里不输出任何值。
7. 执行回调队列中，下方Promise显式声明的resolve，输出promise2。
8. 执行回调队列中，由于async1函数返回的promise对象的resolve，输出async1 end。
9. 执行回调队列中，最后的setTimeout，输出setTimeout
10. 完成