含義
async
函數(shù)是Generator
函數(shù)的語法糖苛秕,它使得異步操作變得更加方便城看。
const fs = require('fs');
const readFile = function (fileName) {
return new Promise(function (resolve, reject) {
fs.readFile(fileName, function(error, data) {
if (error) return reject(error);
resolve(data);
});
});
};
const gen = function* () {
const f1 = yield readFile('/etc/fstab');
const f2 = yield readFile('/etc/shells');
console.log(f1.toString());
console.log(f2.toString());
};
寫成async
函數(shù)潘飘,就是下面這樣乐严。
const asyncReadFile = async function () {
const f1 = await readFile('/etc/fstab');
const f2 = await readFile('/etc/shells');
console.log(f1.toString());
console.log(f2.toString());
};
一比較就會(huì)發(fā)現(xiàn)瘤袖,async
函數(shù)就是將Generator
函數(shù)的星號(hào)(*
)替換成async
,將yield
替換成await
昂验,僅此而已捂敌。
async
函數(shù)對(duì)Generator
函數(shù)的改進(jìn)艾扮,體現(xiàn)在以下四點(diǎn)。
1.內(nèi)置執(zhí)行器
Generator
函數(shù)的執(zhí)行必須靠執(zhí)行器黍匾,所以才有了co
模塊栏渺,而async
函數(shù)自帶執(zhí)行器。也就是說锐涯,async
函數(shù)的執(zhí)行磕诊,與普通函數(shù)一模一樣,只要一行纹腌。
asyncReadFile();
上面的代碼調(diào)用了asyncReadFile
函數(shù)霎终,然后它就會(huì)自動(dòng)執(zhí)行,輸出最后結(jié)果升薯。這完全不像Generator
函數(shù)莱褒,需要調(diào)用next
方法,或者用co
模塊涎劈,才能真正執(zhí)行广凸,得到最后結(jié)果。
2.更好的語義
async
和await
蛛枚,比起星號(hào)和yield
谅海,語義更清楚了。async
表示函數(shù)里有異步操作蹦浦,await
表示緊跟在后面的表達(dá)式需要等待結(jié)果扭吁。
3.更廣的適用性
co
模塊約定,yield
命令后面只能是Thunk
函數(shù)或Promise
對(duì)象盲镶,而async
函數(shù)的await
命令后面侥袜,可以是Promise
對(duì)象和原始類型的值(數(shù)值、字符串和布爾值溉贿,但這時(shí)等同于同步操作)枫吧。
4.返回值是Promise
async
函數(shù)的返回值是Promise
對(duì)象,這比Generator
函數(shù)的返回值是Iterator
對(duì)象方便多了顽照。你可以用then方法指定下一步的操作由蘑。
進(jìn)一步說,async
函數(shù)完全可以看作多個(gè)異步操作代兵,包裝成的一個(gè)Promise
對(duì)象尼酿,而await
命令就是內(nèi)部then
命令的語法糖。
基本用法
async
函數(shù)返回一個(gè)Promise
對(duì)象植影,可以使用then
方法添加回調(diào)函數(shù)裳擎。當(dāng)函數(shù)執(zhí)行的時(shí)候,一旦遇到await
就會(huì)先返回思币,等到異步操作完成鹿响,再接著執(zhí)行函數(shù)體內(nèi)后面的語句羡微。
下面是一個(gè)例子。
async function getStockPriceByName(name) {
const symbol = await getStockSymbol(name);
const stockPrice = await getStockPrice(symbol);
return stockPrice;
}
getStockPriceByName('goog').then(function (result) {
console.log(result);
});
上面代碼是一個(gè)獲取股票報(bào)價(jià)的函數(shù)惶我,函數(shù)前面的async
關(guān)鍵字妈倔,表明該函數(shù)內(nèi)部有異步操作。調(diào)用該函數(shù)時(shí)绸贡,會(huì)立即返回一個(gè)Promise
對(duì)象盯蝴。
下面是另一個(gè)例子,指定多少毫秒后輸出一個(gè)值听怕。
function timeout(ms) {
return new Promise((resolve) => {
setTimeout(resolve, ms);
});
}
async function asyncPrint(value, ms) {
await timeout(ms);
console.log(value);
}
asyncPrint('hello world', 50);
上面代碼指定50毫秒以后捧挺,輸出hello world
。
由于async
函數(shù)返回的是Promise
對(duì)象尿瞭,可以作為await
命令的參數(shù)闽烙。所以,上面的例子也可以寫成下面的形式声搁。
async function timeout(ms) {
await new Promise((resolve) => {
setTimeout(resolve, ms);
});
}
async function asyncPrint(value, ms) {
await timeout(ms);
console.log(value);
}
asyncPrint('hello world', 50);
async
函數(shù)有多種使用形式黑竞。
// 函數(shù)聲明
async function foo() {}
// 函數(shù)表達(dá)式
const foo = async function () {};
// 對(duì)象的方法
let obj = { async foo() {} };
obj.foo().then(...)
// Class 的方法
class Storage {
constructor() {
this.cachePromise = caches.open('avatars');
}
async getAvatar(name) {
const cache = await this.cachePromise;
return cache.match(`/avatars/${name}.jpg`);
}
}
const storage = new Storage();
storage.getAvatar('jake').then(…);
// 箭頭函數(shù)
const foo = async () => {};
語法
async
函數(shù)的語法規(guī)則總體上比較簡(jiǎn)單,難點(diǎn)是錯(cuò)誤處理機(jī)制疏旨。
返回Promise對(duì)象
async
函數(shù)返回一個(gè)Promise
對(duì)象摊溶。
async
函數(shù)內(nèi)部return
語句返回的值,會(huì)成為then
方法回調(diào)函數(shù)的參數(shù)充石。
async function f() {
return 'hello world';
}
f().then(v => console.log(v)) // "hello world"
上面代碼中,函數(shù)f
內(nèi)部return
命令返回的值霞玄,會(huì)被then
方法回調(diào)函數(shù)接收到骤铃。
async
函數(shù)內(nèi)部拋出錯(cuò)誤,會(huì)導(dǎo)致返回的Promise
對(duì)象變?yōu)?code>reject狀態(tài)坷剧。拋出的錯(cuò)誤對(duì)象會(huì)被catch
方法回調(diào)函數(shù)接收到惰爬。
async function f() {
throw new Error('出錯(cuò)了');
}
f().then(
v => console.log(v),
e => console.log(e)
)
// Error: 出錯(cuò)了
Promise對(duì)象的狀態(tài)變化
async
函數(shù)返回的Promise
對(duì)象,必須等到內(nèi)部所有await
命令后面的Promise
對(duì)象執(zhí)行完惫企,才會(huì)發(fā)生狀態(tài)改變撕瞧,除非遇到return
語句或者拋出錯(cuò)誤。也就是說狞尔,只有async
函數(shù)內(nèi)部的異步操作執(zhí)行完丛版,才會(huì)執(zhí)行then
方法指定的回調(diào)函數(shù)。
下面是一個(gè)例子偏序。
async function getTitle(url) {
let response = await fetch(url);
let html = await response.text();
return html.match(/<title>([\s\S]+)<\/title>/i)[1];
}
getTitle('https://tc39.github.io/ecma262/').then(console.log)
// "ECMAScript 2017 Language Specification"
上面代碼中页畦,函數(shù)getTitle
內(nèi)部有三個(gè)操作:抓取網(wǎng)頁、取出文本研儒、匹配頁面標(biāo)題豫缨。只有這三個(gè)操作全部完成独令,才會(huì)執(zhí)行then
方法里面的console.log
。
await命令
正常情況下好芭,await
命令后面是一個(gè)Promise
對(duì)象燃箭。如果不是,會(huì)被轉(zhuǎn)成一個(gè)立即resolve
的Promise
對(duì)象舍败。
async function f() {
return await 123;
}
f().then(v => console.log(v))
// 123
上面代碼中招狸,await
命令的參數(shù)是數(shù)值123,它被轉(zhuǎn)成Promise
對(duì)象瓤湘,并立即resolve
瓢颅。
await
命令后面的Promise
對(duì)象如果變?yōu)?code>reject狀態(tài),則reject
的參數(shù)會(huì)被catch
方法的回調(diào)函數(shù)接收到弛说。
async function f() {
await Promise.reject('出錯(cuò)了');
}
f()
.then(v => console.log(v))
.catch(e => console.log(e))
// 出錯(cuò)了
注意挽懦,上面代碼中,await
語句前面沒有return
木人,但是reject
方法的參數(shù)依然傳入了catch
方法的回調(diào)函數(shù)信柿。這里如果在await
前面加上return
,效果是一樣的醒第。
只要一個(gè)await
語句后面的Promise
變?yōu)?code>reject渔嚷,那么整個(gè)async
函數(shù)都會(huì)中斷執(zhí)行。
async function f() {
await Promise.reject('出錯(cuò)了');
await Promise.resolve('hello world'); // 不會(huì)執(zhí)行
}
上面代碼中稠曼,第二個(gè)await
語句是不會(huì)執(zhí)行的形病,因?yàn)榈谝粋€(gè)await
語句狀態(tài)變成了reject
。
有時(shí)霞幅,我們希望即使前一個(gè)異步操作失敗漠吻,也不要中斷后面的異步操作。這時(shí)可以將第一個(gè)await
放在try...catch
結(jié)構(gòu)里面司恳,這樣不管這個(gè)異步操作是否成功途乃,第二個(gè)await
都會(huì)執(zhí)行。
async function f() {
try {
await Promise.reject('出錯(cuò)了');
} catch(e) {
}
return await Promise.resolve('hello world');
}
f().then(v => console.log(v)) // hello world
另一種方法是await
后面的Promise
對(duì)象再跟一個(gè)catch
方法扔傅,處理前面可能出現(xiàn)的錯(cuò)誤耍共。
async function f() {
await Promise.reject('出錯(cuò)了')
.catch(e => console.log(e));
return await Promise.resolve('hello world');
}
f().then(v => console.log(v))
// 出錯(cuò)了
// hello world
錯(cuò)誤處理
如果await
后面的異步操作出錯(cuò),那么等同于async
函數(shù)返回的Promise
對(duì)象被reject
猎塞。
async function f() {
await new Promise(function (resolve, reject) {
throw new Error('出錯(cuò)了');
});
}
f()
.then(v => console.log(v))
.catch(e => console.log(e))
// Error:出錯(cuò)了
上面代碼中试读,async
函數(shù)f執(zhí)行后,await
后面的Promise
對(duì)象會(huì)拋出一個(gè)錯(cuò)誤對(duì)象荠耽,導(dǎo)致catch
方法的回調(diào)函數(shù)被調(diào)用鹏往,它的參數(shù)就是拋出的錯(cuò)誤對(duì)象。具體的執(zhí)行機(jī)制,可以參考后文的“async
函數(shù)的實(shí)現(xiàn)原理”伊履。
防止出錯(cuò)的方法韩容,也是將其放在try...catch
代碼塊之中。
async function f() {
try {
await new Promise(function (resolve, reject) {
throw new Error('出錯(cuò)了');
});
} catch(e) {
}
return await('hello world');
}
如果有多個(gè)await
命令唐瀑,可以統(tǒng)一放在try...catch
結(jié)構(gòu)中群凶。
async function main() {
try {
const val1 = await firstStep();
const val2 = await secondStep(val1);
const val3 = await thirdStep(val1, val2);
console.log('Final: ', val3);
}
catch (err) {
console.error(err);
}
}
下面的例子使用try...catch
結(jié)構(gòu),實(shí)現(xiàn)多次重復(fù)嘗試哄辣。
const superagent = require('superagent');
const NUM_RETRIES = 3;
async function test() {
let i;
for (i = 0; i < NUM_RETRIES; ++i) {
try {
await superagent.get('http://google.com/this-throws-an-error');
break;
} catch(err) {}
}
console.log(i); // 3
}
test();
上面代碼中请梢,如果await
操作成功,就會(huì)使用break
語句退出循環(huán)力穗;如果失敗毅弧,會(huì)被catch
語句捕捉,然后進(jìn)入下一輪循環(huán)当窗。
使用注意點(diǎn)
第一點(diǎn)够坐,前面已經(jīng)說過,await
命令后面的Promise
對(duì)象崖面,運(yùn)行結(jié)果可能是rejected
元咙,所以最好把await
命令放在try...catch
代碼塊中。
async function myFunction() {
try {
await somethingThatReturnsAPromise();
} catch (err) {
console.log(err);
}
}
// 另一種寫法
async function myFunction() {
await somethingThatReturnsAPromise()
.catch(function (err) {
console.log(err);
});
}
第二點(diǎn)巫员,多個(gè)await
命令后面的異步操作庶香,如果不存在繼發(fā)關(guān)系,最好讓它們同時(shí)觸發(fā)简识。
let foo = await getFoo();
let bar = await getBar();
上面代碼中赶掖,getFoo
和getBar
是兩個(gè)獨(dú)立的異步操作(即互不依賴),被寫成繼發(fā)關(guān)系七扰。這樣比較耗時(shí)倘零,因?yàn)橹挥?code>getFoo完成以后,才會(huì)執(zhí)行getBar
戳寸,完全可以讓它們同時(shí)觸發(fā)。
// 寫法一
let [foo, bar] = await Promise.all([getFoo(), getBar()]);
// 寫法二
let fooPromise = getFoo();
let barPromise = getBar();
let foo = await fooPromise;
let bar = await barPromise;
上面兩種寫法拷泽,getFoo
和getBar
都是同時(shí)觸發(fā)疫鹊,這樣就會(huì)縮短程序的執(zhí)行時(shí)間。
第三點(diǎn)司致,await
命令只能用在async
函數(shù)之中拆吆,如果用在普通函數(shù),就會(huì)報(bào)錯(cuò)脂矫。
async function dbFuc(db) {
let docs = [{}, {}, {}];
// 報(bào)錯(cuò)
docs.forEach(function (doc) {
await db.post(doc);
});
}
上面代碼會(huì)報(bào)錯(cuò)枣耀,因?yàn)?code>await用在普通函數(shù)之中了。但是庭再,如果將forEach
方法的參數(shù)改成async
函數(shù)捞奕,也有問題牺堰。
function dbFuc(db) { //這里不需要 async
let docs = [{}, {}, {}];
// 可能得到錯(cuò)誤結(jié)果
docs.forEach(async function (doc) {
await db.post(doc);
});
}
上面代碼可能不會(huì)正常工作,原因是這時(shí)三個(gè)db.post
操作將是并發(fā)執(zhí)行颅围,也就是同時(shí)執(zhí)行伟葫,而不是繼發(fā)執(zhí)行。正確的寫法是采用for
循環(huán)院促。
async function dbFuc(db) {
let docs = [{}, {}, {}];
for (let doc of docs) {
await db.post(doc);
}
}
如果確實(shí)希望多個(gè)請(qǐng)求并發(fā)執(zhí)行筏养,可以使用Promise.all
方法。當(dāng)三個(gè)請(qǐng)求都會(huì)resolved
時(shí)常拓,下面兩種寫法效果相同渐溶。
async function dbFuc(db) {
let docs = [{}, {}, {}];
let promises = docs.map((doc) => db.post(doc));
let results = await Promise.all(promises);
console.log(results);
}
// 或者使用下面的寫法
async function dbFuc(db) {
let docs = [{}, {}, {}];
let promises = docs.map((doc) => db.post(doc));
let results = [];
for (let promise of promises) {
results.push(await promise);
}
console.log(results);
}
目前,esm
模塊加載器支持頂層await
弄抬,即await
命令可以不放在async
函數(shù)里面茎辐,直接使用。
// async 函數(shù)的寫法
const start = async () => {
const res = await fetch('google.com');
return res.text();
};
start().then(console.log);
// 頂層 await 的寫法
const res = await fetch('google.com');
console.log(await res.text());
上面代碼中眉睹,第二種寫法的腳本必須使用esm
加載器荔茬,才會(huì)生效。
async函數(shù)的實(shí)現(xiàn)原理
async
函數(shù)的實(shí)現(xiàn)原理竹海,就是將Generator
函數(shù)和自動(dòng)執(zhí)行器慕蔚,包裝在一個(gè)函數(shù)里。
async function fn(args) {
// ...
}
// 等同于
function fn(args) {
return spawn(function* () {
// ...
});
}
所有的async
函數(shù)都可以寫成上面的第二種形式斋配,其中的spawn
函數(shù)就是自動(dòng)執(zhí)行器孔飒。
下面給出spawn
函數(shù)的實(shí)現(xiàn),基本就是前文自動(dòng)執(zhí)行器的翻版艰争。
function spawn(genF) {
return new Promise(function(resolve, reject) {
const gen = genF();
function step(nextF) {
let next;
try {
next = nextF();
} catch(e) {
return reject(e);
}
if(next.done) {
return resolve(next.value);
}
Promise.resolve(next.value).then(function(v) {
step(function() { return gen.next(v); });
}, function(e) {
step(function() { return gen.throw(e); });
});
}
step(function() { return gen.next(undefined); });
});
}
與其他異步處理方法的比較
我們通過一個(gè)例子坏瞄,來看async
函數(shù)與Promise
、Generator
函數(shù)的比較甩卓。
假定某個(gè)DOM元素上面鸠匀,部署了一系列的動(dòng)畫,前一個(gè)動(dòng)畫結(jié)束逾柿,才能開始后一個(gè)缀棍。如果當(dāng)中有一個(gè)動(dòng)畫出錯(cuò),就不再往下執(zhí)行机错,返回上一個(gè)成功執(zhí)行的動(dòng)畫的返回值爬范。
首先是Promise
的寫法。
function chainAnimationsPromise(elem, animations) {
// 變量ret用來保存上一個(gè)動(dòng)畫的返回值
let ret = null;
// 新建一個(gè)空的Promise
let p = Promise.resolve();
// 使用then方法弱匪,添加所有動(dòng)畫
for(let anim of animations) {
p = p.then(function(val) {
ret = val;
return anim(elem);
});
}
// 返回一個(gè)部署了錯(cuò)誤捕捉機(jī)制的Promise
return p.catch(function(e) {
/* 忽略錯(cuò)誤青瀑,繼續(xù)執(zhí)行 */
}).then(function() {
return ret;
});
}
雖然Promise
的寫法比回調(diào)函數(shù)的寫法大大改進(jìn),但是一眼看上去,代碼完全都是Promise
的 API(then斥难、catch等等)枝嘶,操作本身的語義反而不容易看出來。
接著是Generator
函數(shù)的寫法蘸炸。
function chainAnimationsGenerator(elem, animations) {
return spawn(function*() {
let ret = null;
try {
for(let anim of animations) {
ret = yield anim(elem);
}
} catch(e) {
/* 忽略錯(cuò)誤躬络,繼續(xù)執(zhí)行 */
}
return ret;
});
}
上面代碼使用Generator
函數(shù)遍歷了每個(gè)動(dòng)畫,語義比Promise
寫法更清晰搭儒,用戶定義的操作全部都出現(xiàn)在spawn
函數(shù)的內(nèi)部穷当。這個(gè)寫法的問題在于,必須有一個(gè)任務(wù)運(yùn)行器淹禾,自動(dòng)執(zhí)行Generator
函數(shù)馁菜,上面代碼的spawn
函數(shù)就是自動(dòng)執(zhí)行器,它返回一個(gè)Promise
對(duì)象铃岔,而且必須保證yield
語句后面的表達(dá)式汪疮,必須返回一個(gè)Promise
。
最后是async
函數(shù)的寫法毁习。
async function chainAnimationsAsync(elem, animations) {
let ret = null;
try {
for(let anim of animations) {
ret = await anim(elem);
}
} catch(e) {
/* 忽略錯(cuò)誤智嚷,繼續(xù)執(zhí)行 */
}
return ret;
}
可以看到Async
函數(shù)的實(shí)現(xiàn)最簡(jiǎn)潔,最符合語義纺且,幾乎沒有語義不相關(guān)的代碼盏道。它將Generator
寫法中的自動(dòng)執(zhí)行器,改在語言層面提供载碌,不暴露給用戶猜嘱,因此代碼量最少。如果使用Generator
寫法嫁艇,自動(dòng)執(zhí)行器需要用戶自己提供朗伶。
實(shí)例:按順序完成異步操作
實(shí)際開發(fā)中,經(jīng)常遇到一組異步操作步咪,需要按照順序完成论皆。比如,依次遠(yuǎn)程讀取一組URL猾漫,然后按照讀取的順序輸出結(jié)果点晴。
Promise
的寫法如下。
function logInOrder(urls) {
// 遠(yuǎn)程讀取所有URL
const textPromises = urls.map(url => {
return fetch(url).then(response => response.text());
});
// 按次序輸出
textPromises.reduce((chain, textPromise) => {
return chain.then(() => textPromise)
.then(text => console.log(text));
}, Promise.resolve());
}
上面代碼使用fetch
方法静袖,同時(shí)遠(yuǎn)程讀取一組 URL。每個(gè)fetch
操作都返回一個(gè)Promise
對(duì)象俊扭,放入textPromises
數(shù)組队橙。然后,reduce
方法依次處理每個(gè)Promise
對(duì)象,然后使用then
捐康,將所有Promise
對(duì)象連起來仇矾,因此就可以依次輸出結(jié)果。
這種寫法不太直觀解总,可讀性比較差贮匕。下面是async
函數(shù)實(shí)現(xiàn)。
async function logInOrder(urls) {
for (const url of urls) {
const response = await fetch(url);
console.log(await response.text());
}
}
上面代碼確實(shí)大大簡(jiǎn)化花枫,問題是所有遠(yuǎn)程操作都是繼發(fā)刻盐。只有前一個(gè)URL返回結(jié)果,才會(huì)去讀取下一個(gè)URL劳翰,這樣做效率很差敦锌,非常浪費(fèi)時(shí)間。我們需要的是并發(fā)發(fā)出遠(yuǎn)程請(qǐng)求佳簸。
async function logInOrder(urls) {
// 并發(fā)讀取遠(yuǎn)程URL
const textPromises = urls.map(async url => {
const response = await fetch(url);
return response.text();
});
// 按次序輸出
for (const textPromise of textPromises) {
console.log(await textPromise);
}
}
上面代碼中乙墙,雖然map
方法的參數(shù)是async
函數(shù),但它是并發(fā)執(zhí)行的生均,因?yàn)橹挥?code>async函數(shù)內(nèi)部是繼發(fā)執(zhí)行听想,外部不受影響。后面的for..of
循環(huán)內(nèi)部使用了await
马胧,因此實(shí)現(xiàn)了按順序輸出汉买。
異步遍歷器
Iterator
接口是一種數(shù)據(jù)遍歷的協(xié)議,只要調(diào)用遍歷器對(duì)象的next
方法漓雅,就會(huì)得到一個(gè)對(duì)象录别,表示當(dāng)前遍歷指針?biāo)诘哪莻€(gè)位置的信息。next
方法返回的對(duì)象的結(jié)構(gòu)是{value, done}
邻吞,其中value
表示當(dāng)前的數(shù)據(jù)的值组题,done
是一個(gè)布爾值,表示遍歷是否結(jié)束抱冷。
這里隱含著一個(gè)規(guī)定崔列,next
方法必須是同步的,只要調(diào)用就必須立刻返回值旺遮。也就是說赵讯,一旦執(zhí)行next
方法,就必須同步地得到value
和done
這兩個(gè)屬性耿眉。如果遍歷指針正好指向同步操作边翼,當(dāng)然沒有問題,但對(duì)于異步操作鸣剪,就不太合適了组底。目前的解決方法是丈积,Generator
函數(shù)里面的異步操作,返回一個(gè)Thunk
函數(shù)或者Promise
對(duì)象债鸡,即value
屬性是一個(gè)Thunk
函數(shù)或者Promise
對(duì)象江滨,等待以后返回真正的值,而done
屬性則還是同步產(chǎn)生的厌均。
ES2018引入了”異步遍歷器“(Async Iterator
)唬滑,為異步操作提供原生的遍歷器接口,即value
和done
這兩個(gè)屬性都是異步產(chǎn)生棺弊。
異步遍歷的接口
異步遍歷器的最大的語法特點(diǎn)晶密,就是調(diào)用遍歷器的next
方法,返回的是一個(gè)Promise
對(duì)象。
asyncIterator
.next()
.then(
({ value, done }) => /* ... */
);
上面代碼中,asyncIterator
是一個(gè)異步遍歷器熟妓,調(diào)用next
方法以后,返回一個(gè)Promise
對(duì)象连锯。因此,可以使用then
方法指定用狱,這個(gè)Promise
對(duì)象的狀態(tài)變?yōu)?code>resolve以后的回調(diào)函數(shù)运怖。回調(diào)函數(shù)的參數(shù)夏伊,則是一個(gè)具有value
和done
兩個(gè)屬性的對(duì)象摇展,這個(gè)跟同步遍歷器是一樣的。
我們知道溺忧,一個(gè)對(duì)象的同步遍歷器的接口咏连,部署在Symbol.iterator
屬性上面。同樣地鲁森,對(duì)象的異步遍歷器接口祟滴,部署在Symbol.asyncIterator
屬性上面。不管是什么樣的對(duì)象歌溉,只要它的Symbol.asyncIterator
屬性有值垄懂,就表示應(yīng)該對(duì)它進(jìn)行異步遍歷。
下面是一個(gè)異步遍歷器的例子痛垛。
const asyncIterable = createAsyncIterable(['a', 'b']);
const asyncIterator = asyncIterable[Symbol.asyncIterator]();
asyncIterator
.next()
.then(iterResult1 => {
console.log(iterResult1); // { value: 'a', done: false }
return asyncIterator.next();
})
.then(iterResult2 => {
console.log(iterResult2); // { value: 'b', done: false }
return asyncIterator.next();
})
.then(iterResult3 => {
console.log(iterResult3); // { value: undefined, done: true }
});
上面代碼中草慧,異步遍歷器其實(shí)返回了兩次值。第一次調(diào)用的時(shí)候匙头,返回一個(gè)Promise
對(duì)象漫谷;等到Promise
對(duì)象resolve
了,再返回一個(gè)表示當(dāng)前數(shù)據(jù)成員信息的對(duì)象蹂析。這就是說舔示,異步遍歷器與同步遍歷器最終行為是一致的朽寞,只是會(huì)先返回Promise
對(duì)象,作為中介斩郎。
由于異步遍歷器的next
方法,返回的是一個(gè)Promise
對(duì)象喻频。因此缩宜,可以把它放在await
命令后面。
async function f() {
const asyncIterable = createAsyncIterable(['a', 'b']);
const asyncIterator = asyncIterable[Symbol.asyncIterator]();
console.log(await asyncIterator.next());
// { value: 'a', done: false }
console.log(await asyncIterator.next());
// { value: 'b', done: false }
console.log(await asyncIterator.next());
// { value: undefined, done: true }
}
上面代碼中甥温,next
方法用await
處理以后锻煌,就不必使用then
方法了。整個(gè)流程已經(jīng)很接近同步處理了姻蚓。
注意宋梧,異步遍歷器的next
方法是可以連續(xù)調(diào)用的,不必等到上一步產(chǎn)生的Promise
對(duì)象resolve
以后再調(diào)用狰挡。這種情況下捂龄,next
方法會(huì)累積起來,自動(dòng)按照每一步的順序運(yùn)行下去加叁。下面是一個(gè)例子倦沧,把所有的next
方法放在Promise.all
方法里面。
const asyncGenObj = createAsyncIterable(['a', 'b']);
const [{value: v1}, {value: v2}] = await Promise.all([
asyncGenObj.next(), asyncGenObj.next()
]);
console.log(1, v2); // a b
另一種用法是一次性調(diào)用所有的next
方法它匕,然后await
最后一步操作展融。
async function runner() {
const writer = openFile('someFile.txt');
writer.next('hello');
writer.next('world');
await writer.return();
}
runner();
for await...of
for...of
循環(huán)用于遍歷同步的Iterator
接口。新引入的for await...of
循環(huán)豫柬,則是用于遍歷異步的Iterator
接口告希。
async function f() {
for await (const x of createAsyncIterable(['a', 'b'])) {
console.log(x);
}
}
// a
// b
上面代碼中,createAsyncIterable()
返回一個(gè)擁有異步遍歷器接口的對(duì)象烧给,for...of
循環(huán)自動(dòng)調(diào)用這個(gè)對(duì)象的異步遍歷器的next
方法燕偶,會(huì)得到一個(gè)Promise
對(duì)象。await
用來處理這個(gè)Promise
對(duì)象创夜,一旦resolve
杭跪,就把得到的值(x
)傳入for...of
的循環(huán)體。
for await...of
循環(huán)的一個(gè)用途驰吓,是部署了asyncIterable
操作的異步接口涧尿,可以直接放入這個(gè)循環(huán)。
let body = '';
async function f() {
for await(const data of req) body += data;
const parsed = JSON.parse(body);
console.log('got', parsed);
}
上面代碼中檬贰,req
是一個(gè)asyncIterable
對(duì)象姑廉,用來異步讀取數(shù)據(jù)∥痰樱可以看到桥言,使用for await...of
循環(huán)以后萌踱,代碼會(huì)非常簡(jiǎn)潔。
如果next
方法返回的Promise
對(duì)象被reject
号阿,for await...of
就會(huì)報(bào)錯(cuò)并鸵,要用try...catch
捕捉。
async function () {
try {
for await (const x of createRejectingIterable()) {
console.log(x);
}
} catch (e) {
console.error(e);
}
}
注意扔涧,for await...of
循環(huán)也可以用于同步遍歷器园担。
(async function () {
for await (const x of ['a', 'b']) {
console.log(x);
}
})();
// a
// b
Node v10支持異步遍歷器,Stream就部署了這個(gè)接口枯夜。下面是讀取文件的傳統(tǒng)寫法與異步遍歷器寫法的差異弯汰。
// 傳統(tǒng)寫法
function main(inputFilePath) {
const readStream = fs.createReadStream(
inputFilePath,
{ encoding: 'utf8', highWaterMark: 1024 }
);
readStream.on('data', (chunk) => {
console.log('>>> '+chunk);
});
readStream.on('end', () => {
console.log('### DONE ###');
});
}
// 異步遍歷器寫法
async function main(inputFilePath) {
const readStream = fs.createReadStream(
inputFilePath,
{ encoding: 'utf8', highWaterMark: 1024 }
);
for await (const chunk of readStream) {
console.log('>>> '+chunk);
}
console.log('### DONE ###');
}
異步Generator函數(shù)
就像Generator
函數(shù)返回一個(gè)同步遍歷器對(duì)象一樣,異步Generator
函數(shù)的作用湖雹,是返回一個(gè)異步遍歷器對(duì)象咏闪。
在語法上,異步Generator
函數(shù)就是async
函數(shù)與Generator
函數(shù)的結(jié)合摔吏。
async function* gen() {
yield 'hello';
}
const genObj = gen();
genObj.next().then(x => console.log(x));
// { value: 'hello', done: false }
上面代碼中鸽嫂,gen
是一個(gè)異步Generator
函數(shù),執(zhí)行后返回一個(gè)異步Iterator
對(duì)象征讲。對(duì)該對(duì)象調(diào)用next
方法溪胶,返回一個(gè)Promise
對(duì)象。
異步遍歷器的設(shè)計(jì)目的之一稳诚,就是Generator
函數(shù)處理同步操作和異步操作時(shí)哗脖,能夠使用同一套接口。
// 同步 Generator 函數(shù)
function* map(iterable, func) {
const iter = iterable[Symbol.iterator]();
while (true) {
const {value, done} = iter.next();
if (done) break;
yield func(value);
}
}
// 異步 Generator 函數(shù)
async function* map(iterable, func) {
const iter = iterable[Symbol.asyncIterator]();
while (true) {
const {value, done} = await iter.next();
if (done) break;
yield func(value);
}
}
上面代碼中扳还,map
是一個(gè)Generator
函數(shù)才避,第一個(gè)參數(shù)是可遍歷對(duì)象iterable
,第二個(gè)參數(shù)是一個(gè)回調(diào)函數(shù)func
氨距。map
的作用是將iterable
每一步返回的值桑逝,使用func
進(jìn)行處理。上面有兩個(gè)版本的map
俏让,前一個(gè)處理同步遍歷器楞遏,后一個(gè)處理異步遍歷器,可以看到兩個(gè)版本的寫法基本上是一致的首昔。
下面是另一個(gè)異步Generator
函數(shù)的例子寡喝。
async function* readLines(path) {
let file = await fileOpen(path);
try {
while (!file.EOF) {
yield await file.readLine();
}
} finally {
await file.close();
}
}
上面代碼中,異步操作前面使用await
關(guān)鍵字標(biāo)明勒奇,即await
后面的操作预鬓,應(yīng)該返回Promise
對(duì)象。凡是使用yield
關(guān)鍵字的地方赊颠,就是next
方法停下來的地方格二,它后面的表達(dá)式的值(即await file.readLine()
的值)劈彪,會(huì)作為next()返回對(duì)象的value
屬性,這一點(diǎn)是與同步Generator
函數(shù)一致的顶猜。
異步Generator
函數(shù)內(nèi)部沧奴,能夠同時(shí)使用await
和yield
命令〕ふ可以這樣理解扼仲,await
命令用于將外部操作產(chǎn)生的值輸入函數(shù)內(nèi)部,yield
命令用于將函數(shù)內(nèi)部的值輸出抄淑。
上面代碼定義的異步Generator
函數(shù)的用法如下。
(async function () {
for await (const line of readLines(filePath)) {
console.log(line);
}
})()
異步Generator
函數(shù)可以與for await...of
循環(huán)結(jié)合起來使用驰后。
async function* prefixLines(asyncIterable) {
for await (const line of asyncIterable) {
yield '> ' + line;
}
}
異步Generator
函數(shù)的返回值是一個(gè)異步Iterator
肆资,即每次調(diào)用它的next
方法,會(huì)返回一個(gè)Promise
對(duì)象灶芝,也就是說郑原,跟在yield
命令后面的,應(yīng)該是一個(gè)Promise
對(duì)象夜涕。如果像上面那個(gè)例子那樣犯犁,yield
命令后面是一個(gè)字符串,會(huì)被自動(dòng)包裝成一個(gè)Promise
對(duì)象女器。
function fetchRandom() {
const url = 'https://www.random.org/decimal-fractions/'
+ '?num=1&dec=10&col=1&format=plain&rnd=new';
return fetch(url);
}
async function* asyncGenerator() {
console.log('Start');
const result = await fetchRandom(); // (A)
yield 'Result: ' + await result.text(); // (B)
console.log('Done');
}
const ag = asyncGenerator();
ag.next().then(({value, done}) => {
console.log(value);
})
上面代碼中酸役,ag
是asyncGenerator
函數(shù)返回的異步遍歷器對(duì)象。調(diào)用ag.next()
以后驾胆,上面代碼的執(zhí)行順序如下涣澡。
ag.next()
立刻返回一個(gè)Promise
對(duì)象。
asyncGenerator
函數(shù)開始執(zhí)行丧诺,打印出Start
入桂。
await
命令返回一個(gè)Promise
對(duì)象,asyncGenerator
函數(shù)停在這里驳阎。
A
處變成fulfilled
狀態(tài)抗愁,產(chǎn)生的值放入result
變量,asyncGenerator
函數(shù)繼續(xù)往下執(zhí)行呵晚。
函數(shù)在B
處的yield
暫停執(zhí)行蜘腌,一旦yield
命令取到值,ag.next()
返回的那個(gè)Promise
對(duì)象變成fulfilled
狀態(tài)饵隙。
ag.next()
后面的then
方法指定的回調(diào)函數(shù)開始執(zhí)行逢捺。該回調(diào)函數(shù)的參數(shù)是一個(gè)對(duì)象{value, done}
,其中value
的值是yield
命令后面的那個(gè)表達(dá)式的值癞季,done
的值是false
劫瞳。
A和B兩行的作用類似于下面的代碼倘潜。
return new Promise((resolve, reject) => {
fetchRandom()
.then(result => result.text())
.then(result => {
resolve({
value: 'Result: ' + result,
done: false,
});
});
});
如果異步Generator
函數(shù)拋出錯(cuò)誤,會(huì)導(dǎo)致Promise
對(duì)象的狀態(tài)變?yōu)?code>reject志于,然后拋出的錯(cuò)誤被catch
方法捕獲涮因。
async function* asyncGenerator() {
throw new Error('Problem!');
}
asyncGenerator()
.next()
.catch(err => console.log(err)); // Error: Problem!
注意,普通的async
函數(shù)返回的是一個(gè)Promise
對(duì)象伺绽,而異步Generator
函數(shù)返回的是一個(gè)異步Iterator
對(duì)象养泡。可以這樣理解奈应,async
函數(shù)和異步Generator
函數(shù)澜掩,是封裝異步操作的兩種方法,都用來達(dá)到同一種目的杖挣。區(qū)別在于肩榕,前者自帶執(zhí)行器,后者通過for await...of
執(zhí)行惩妇,或者自己編寫執(zhí)行器株汉。下面就是一個(gè)異步Generator
函數(shù)的執(zhí)行器。
async function takeAsync(asyncIterable, count = Infinity) {
const result = [];
const iterator = asyncIterable[Symbol.asyncIterator]();
while (result.length < count) {
const {value, done} = await iterator.next();
if (done) break;
result.push(value);
}
return result;
}
上面代碼中歌殃,異步Generator
函數(shù)產(chǎn)生的異步遍歷器乔妈,會(huì)通過while
循環(huán)自動(dòng)執(zhí)行,每當(dāng)await iterator.next()
完成氓皱,就會(huì)進(jìn)入下一輪循環(huán)路召。一旦done
屬性變?yōu)?code>true,就會(huì)跳出循環(huán)波材,異步遍歷器執(zhí)行結(jié)束优训。
下面是這個(gè)自動(dòng)執(zhí)行器的一個(gè)使用實(shí)例。
async function f() {
async function* gen() {
yield 'a';
yield 'b';
yield 'c';
}
return await takeAsync(gen());
}
f().then(function (result) {
console.log(result); // ['a', 'b', 'c']
})
異步Generator
函數(shù)出現(xiàn)以后各聘,JavaScript就有了四種函數(shù)形式:普通函數(shù)揣非、async
函數(shù)、Generator
函數(shù)和異步Generator
函數(shù)躲因。請(qǐng)注意區(qū)分每種函數(shù)的不同之處早敬。基本上大脉,如果是一系列按照順序執(zhí)行的異步操作(比如讀取文件搞监,然后寫入新內(nèi)容,再存入硬盤)镰矿,可以使用async
函數(shù)琐驴;如果是一系列產(chǎn)生相同數(shù)據(jù)結(jié)構(gòu)的異步操作(比如一行一行讀取文件),可以使用異步Generator
函數(shù)。
異步Generator
函數(shù)也可以通過next
方法的參數(shù)绝淡,接收外部傳入的數(shù)據(jù)宙刘。
const writer = openFile('someFile.txt');
writer.next('hello'); // 立即執(zhí)行
writer.next('world'); // 立即執(zhí)行
await writer.return(); // 等待寫入結(jié)束
上面代碼中,openFile
是一個(gè)異步Generator
函數(shù)牢酵。next
方法的參數(shù)悬包,向該函數(shù)內(nèi)部的操作傳入數(shù)據(jù)。每次next
方法都是同步執(zhí)行的馍乙,最后的await
命令用于等待整個(gè)寫入操作結(jié)束布近。
最后,同步的數(shù)據(jù)結(jié)構(gòu)丝格,也可以使用異步Generator
函數(shù)撑瞧。
async function* createAsyncIterable(syncIterable) {
for (const elem of syncIterable) {
yield elem;
}
}
上面代碼中,由于沒有異步操作显蝌,所以也就沒有使用await
關(guān)鍵字预伺。
yield*語句
yield*
語句也可以跟一個(gè)異步遍歷器。
async function* gen1() {
yield 'a';
yield 'b';
return 2;
}
async function* gen2() {
// result 最終會(huì)等于 2
const result = yield* gen1();
}
上面代碼中琅束,gen2
函數(shù)里面的result
變量,最后的值是2算谈。
與同步Generator
函數(shù)一樣涩禀,for await...of
循環(huán)會(huì)展開yield*
。
(async function () {
for await (const x of gen2()) {
console.log(x); // a b
}
})();