Javascript
有一个 main thread
主线程和 call-stack
调用栈(执行栈),所有的任务都会被放到调用栈等待主线程执行。
JS调用栈采用的是后进先出的规则,当函数执行的时候,会被添加到栈的顶部,当执行栈执行完成后,就会从栈顶移出,直到栈内被清空。
Javascript
单线程任务被分为同步任务和异步任务,同步任务会在调用栈中按照顺序等待主线程依次执行,异步任务会在异步任务有了结果后,将注册的回调函数放入任务队列中等待主线程空闲的时候(调用栈被清空),被读取到栈内等待主线程的执行。
在JavaScript
中,任务被分为两种,一种宏任务(MacroTask
),一种叫微任务(MicroTask
)。
MacroTask(宏任务)
script
全部代码、setTimeout
、setInterval
。
MicroTask(微任务)
Promise、ssync/await
执行栈在执行完同步任务后,查看执行栈是否为空,如果执行栈为空,就会去检查微任务队列是否为空,如果为空的话,就执行宏任务,否则就一次性执行完所有微任务。
每次单个宏任务执行完毕后,检查微任务队列是否为空,如果不为空的话,会按照先入先出的规则全部执行完微任务后,设置微任务队列为null
,然后再执行宏任务,如此循环。
注意:
- setTimeout属于宏任务
- Promise本身是同步的立即执行函数,Promise.then属于微任务
- async方法执行时,遇到await会立即执行表达式,表达式之后的代码放到微任务执行
Promise
优先于setTimeout
宏任务。所以,setTimeout
回调会在最后执行。Promise
一旦被定义,就会立即执行。Promise
的reject
和resolve
是异步执行的回调。所以,resolve()
会被放到回调队列中,在主函数执行完和setTimeout
前调用。await
执行完后,会让出线程。async
标记的函数会返回一个Promise
对象
所以,以下程序代码输出的打印顺序为:
async function async1() {
console.log('async1 start');
await async2();
console.log('asnyc1 end');
}
async function async2() {
console.log('async2');
}
console.log('script start');
setTimeout(() => {
console.log('setTimeOut');
}, 0);
async1();
new Promise(function (reslove) {
console.log('promise1');
reslove();
}).then(function () {
console.log('promise2');
})
console.log('script end');
输出:
script start
async1 start
async2
promise1
script end
asnyc1 end
promise2
setTimeOut
具体的执行步骤细节:
console.log('script start')
输出:script start
setTimeout
被放在最后调用- 执行
async1
函数,输出async1 start
。然后,进入async2
函数,输出async2
,并返回Promise
对象。回到async1
,由于await
,让出线程,async2
函数返回的Promise
放在回调队列。 - 新new了一个
Promise
对象,输出promise1
。其中的resolve()
被放在回调队列。 console.log('script end')
输出:script end
- 执行回调队列中,
async1
返回的Promise
对象,对象产生的resolve
被放入对调队列。这里不输出任何值。 - 执行回调队列中,由于
async1
函数返回的promise
对象的resolve
,输出async1 end
。 - 执行回调队列中,下方
Promise
显式声明的resolve
,输出promise2
。 - 执行回调队列中,最后的
setTimeout
,输出setTimeout
- finish
讨论: 在新版本中,都是先执行async1 end
再执行promise2
。 但是在以前的node版本中,会先执行promise2再执行async1 end。