"script(整體代碼)應(yīng)該是先編譯成指令存在指令區(qū)，然后開(kāi)始執(zhí)行的吧"這句話有誤，javascript是一門解釋型的語(yǔ)言，它是被js引擎所邊解釋邊執(zhí)行的，沒(méi)有“先編譯成指令存在指令區(qū)”一說(shuō)......

(function test() {
    setTimeout(function() {console.log(4)}, 0);
    new Promise(function executor(resolve) {
        console.log(1);
        for( var i=0 ; i<10000 ; i++ ) {
            i == 9999 && resolve();
        }
        console.log(2);
    }).then(function() {
        console.log(5);
    });
    console.log(3);
})()

那這道題目舉例吧。
為什么輸出結(jié)果是1,2,3,5,4而非1,2,3,4,5？

既然你已經(jīng)知道怎么分類了，不就不贅述了。直接說(shuō)說(shuō)macrotasks和microtasks的執(zhí)行順序吧：

1. 主js作為macro先入隊(duì)列，編號(hào)ma1
2. 執(zhí)行到setTimeout...，回調(diào)作為macro入隊(duì)列，編號(hào)ma2
3. 執(zhí)行到new Promise...，then作為micro入隊(duì)列，編號(hào)mi1
4. ma1執(zhí)行完之前，調(diào)用mi1，mi1執(zhí)行完以后，ma1也就正式的結(jié)束了
5. ma2開(kāi)始執(zhí)行

可以認(rèn)為macro是主人，micro是奴隸，哪個(gè)macro創(chuàng)建了micro，micro就管它叫主人。
ma1快死之前，對(duì)奴隸mi1說(shuō)，我要掛了，你一起陪葬吧，mi1說(shuō)好的便上吊了，ma1看mi1死后，也就安心的去了。
然后ma2也準(zhǔn)備要死了，，，

總的來(lái)說(shuō)就是，macro作為主導(dǎo)，它有支配micro的能力，在一個(gè)macro任務(wù)消滅之前，它會(huì)讓它創(chuàng)建的micro任務(wù)都執(zhí)行完，然后才進(jìn)入下一個(gè)macro任務(wù)。
然后，入棧出棧，這個(gè)另一個(gè)概念，是每個(gè)task執(zhí)行它的代碼的時(shí)候發(fā)生的，比如變量定義，函數(shù)調(diào)用，通過(guò)棧的入出，計(jì)算出結(jié)果。