先舉一個比較典型的例子:
setImmediate(function(){
console.log(1);
},0);
setTimeout(function(){
console.log(2);
},0);
new Promise(function(resolve){
console.log(3);
resolve();
console.log(4);
}).then(function(){
console.log(5);
});
console.log(6);
process.nextTick(function(){
console.log(7);
});
console.log(8);
// 答案是:3 4 6 8 7 5 2 1
在解釋輸出結果之前,我們來看幾個概念:
macro-task: script (整體代碼),setTimeout, setInterval, setImmediate, I/O, UI rendering.
micro-task: process.nextTick, Promise(原生),Object.observe,MutationObserver
第一步. script整體代碼被執行,執行過程爲:
創建setImmediate macro-task
創建setTimeout macro-task
創建micro-task Promise.then 的回調,並執行script console.log(3); resolve(); console.log(4); 此時輸出3和4,雖然resolve調用了,執行了但是整體代碼還沒執行完,無法進入Promise.then 流程。
console.log(6)輸出6
process.nextTick 創建micro-task
console.log(8) 輸出8
第一個過程過後,已經輸出了3 4 6 8
第二步. 由於其他micro-task 的 優先級高於macro-task。
此時micro-task 中有兩個任務按照優先級process.nextTick 高於 Promise。
所以先輸出7,再輸出5
第三步,micro-task 任務列表已經執行完畢,家下來執行macro-task. 由於setTimeout的優先級高於setIImmediate,所以先輸出2,再輸出1。
整個過程描述起來像是同步操作,實際上是基於Event Loop的事件循環
關於micro-task和macro-task的執行順序,可看下面這個例子(來自《深入淺出Node.js》):
//加入兩個nextTick的回調函數
process.nextTick(function () {
console.log('nextTick延遲執行1');
});
process.nextTick(function () {
console.log('nextTick延遲執行2');
});
// 加入兩個setImmediate()的回調函數
setImmediate(function () {
console.log('setImmediate延遲執行1');
// 進入下次循環
process.nextTick(function () {
console.log('強勢插入');
});
});
setImmediate(function () {
console.log('setImmediate延遲執行2');
});
console.log('正常執行');
運行這段代碼,結果是這樣:
正常執行
nextTick延遲執行1
nextTick延遲執行2
setImmediate延遲執行1
setImmediate延遲執行2
強勢插入
在新版的Node中,process.nextTick執行完後,會循環遍歷setImmediate,將setImmediate都執行完畢後再跳出循環。所以兩個setImmediate執行完後隊列裏只剩下第一個setImmediate裏的process.nextTick。最後輸出”強勢插入”。
關於優先級的另一個比較清晰的版本:
觀察者優先級
在每次輪訓檢查中,各觀察者的優先級分別是:
idle觀察者 > I/O觀察者 > check觀察者。
idle觀察者:process.nextTick
I/O觀察者:一般性的I/O回調,如網絡,文件,數據庫I/O等
check觀察者:setTimeout > setImmediate
含義:
idle觀察者:顧名思義,就是早已等在那裏的觀察者,以後會說到的process.nextTick就屬於這類
I/O觀察者:顧名思義,就是I/O相關觀察者,也就是I/O的回調事件,如網絡,文件,數據庫I/O等
check觀察者:顧名思義,就是需要檢查的觀察者,後面會說到的setTimeout/setInterval就屬於這類
總結
同步代碼執行順序優先級高於異步代碼執行順序優先級;
new Promise(fn)中的fn是同步執行;
process.nextTick() > Promise.then() > setTimeout > setImmediate;