一、JavaScript的执行
# 一、JavaScript的执行
当拿到一段 JavaScript 代码时,浏览器或者 Node 环境首先要做的就是;传递给 JavaScript 引擎,并且要求它去执行。然而,执行 JavaScript 并非一锤子买卖,宿主环境当遇到一些事件时,会继续把一段代码传递给 JavaScript 引擎去执行,此外,我们可能还会提供 API 给 JavaScript 引擎,比如 setTimeout 这样的 API,它会允许 JavaScript 在特定的时机执行。所以,我们首先应该形成一个感性的认知:一个 JavaScript 引擎会常驻于内存中,它等待着我们(宿主)把 JavaScript 代码或者函数传递给它执行。
在 ES3 和更早的版本中,JavaScript 本身还没有异步执行代码的能力,这也就意味着,宿主环境传递给 JavaScript 引擎一段代码,引擎就把代码直接顺次执行了,这个任务也就是宿主发起的任务。
但是,在 ES5 之后,JavaScript 引入了 Promise,这样,不需要浏览器的安排,JavaScript 引擎本身也可以发起任务了。
JavaScript 语言,我们把宿主发起的任务称为宏观任务,把 JavaScript 引擎发起的任务称为微观任务。
# 二、宏观任务与微观任务
JavaScript引擎等待宿主环境分配宏观任务,在操作系统中,通常等待的行为都是一个事件循环,所以在Node术语中,也会把这个部分称为事件循环。
宏观任务的队列就相当于事件循环
在宏观任务中,JavaScript的promise还会产生异步代码,JavaScript必须保证这些异步代码在一个宏观任务中完成,因此每个宏观任务中又包含一个微观任务队列。
MacroTask
microTask microTask microTask
MacroTask
microTask microTask microTask
MacroTask
有了宏观任务和微观任务机制,我们就可以实现 JavaScript 引擎级和宿主级的任务了,例如:Promise 永远在队列尾部添加微观任务
。setTimeout 等宿主 API,则会添加宏观任务。
# 三、Promise
Promise是JavaScript语言提供的一种标准化的异步管理方式。promise总体思想是,需要进行IO、等待或者其它异步操作的函数,不返回真实结果,而返回一个“承诺”,函数的调用方可以在合适的时机,选择等待这个承诺兑现(promise的then方法回调)
function sleep (duration) {
return new Promise((resolve, reject) => {
setTimeout(resolve, duration)
})
}
sleep(1000).then(() => console.log('finished'))
sleep函数的作用:等候传入参数指定的时长。
Promise的then回调是一个异步的执行过程。示例代码:
var test = new Promise(function(resolve,reject){
console.log('a')
resolve()
})
test.then(() => console.log('c'))
console.log('b')
打印顺序:a > b > c
在进入console.log('b')之前,毫无疑问test已经得到了resolve,但是Promise的resolve始终是异步操作,所以c无法出现在b之前。
当setTimeout和Promise混用,设置两段互不相干的异步操作:通过setTimeout执行console.log('d'),通过Promise执行console.log('c')
var test = new Promise(function(resolve,reject){
console.log('a')
resolve()
})
setTimeout(() => console.log('d'),0)
test.then(() => console.log('c'))
console.log('b')
我们发现,不论代码顺序如何,d必定发生在c之后,因为Promise产生的是JavaScript引擎内部的微任务,而setTimeout是浏览器API,它产生宏任务。
理解微任务始终先于宏任务
,示例:
// 执行一个耗时1秒的Promise
setTimeout(()=>console.log("d"), 0)
var r = new Promise(function(resolve, reject){
resolve()
});
r.then(() => {
var begin = Date.now();
while(Date.now() - begin < 1000);
console.log("c1")
new Promise(function(resolve, reject){
resolve()
}).then(() => console.log("c2"))
});
执行顺序:c1 > c2 > d 。 即使耗时1秒的c1执行完毕,再enque的c2,仍然先于d执行,这可以很好的解释了微任务优先
的原理。
异步执行的顺序:
1、分析有多少个宏任务
2、在每个宏任务中,分析有多少个微任务
3、根据调用次序,确定宏任务中的微任务执行次序
4、根据宏任务的触发规则和调用次序,确定宏任务的执行次序
5、确定整个顺序
复杂的例子:
function sleep(duration) {
return new Promise(function(resolve, reject) {
console.log("b");
setTimeout(resolve,duration);
})
}
console.log("a");
sleep(5000).then(()=>console.log("c"));
执行顺序:a > b > c 。setTimeout把整个代码分割成了2个宏观任务,,不论是5秒还是0秒,都是一样。
第一个宏观任务中,包含了先后同步执行的console.log('a')和console.log('b')
setTimeout后,第二个宏观任务执行调用了resolve,然后then中的代码异步得到执行,所以调用了console.log('c'),最终输出的顺序为: a b c 。
Promise 是 JavaScript 中的一个定义,但是实际编写代码时,我们可以发现,它似乎并不比回调的方式书写更简单,但是从 ES6 开始,我们有了 async/await,这个语法改进跟 Promise 配合,能够有效地改善代码结构。
# 四、async/await
async/await是ES2016新加入的特性,它提供了用for、if等结构来编写异步的方式。
它的运行时基础是Promise。
async函数必定返回Promise,我们把所有返回Promise的函数都可以认为是异步函数。
async函数是一种特殊语法,特征是在function关键字之前加上一个async关键字,这样就定义了一个async函数,我们可以在其中使用await来等待一个Promise。
function sleep(duration) {
return new Promise(function(resolve, reject) {
setTimeout(resolve,duration);
})
}
async function foo(){
console.log("a")
await sleep(2000)
console.log("b")
}
foo()
async函数强大之处在于,它是可以嵌套的。
function sleep(duration) {
return new Promise(function(resolve, reject) {
setTimeout(resolve,duration);
})
}
async function foo(name){
await sleep(2000)
console.log(name)
}
async function foo2(){
await foo("a");
await foo("b");
}