语法

async函数的语法规则总体上比较简单,难点是错误处理机制。

返回 Promise 对象

async函数返回一个 Promise 对象。

async函数内部return语句返回的值,会成为then方法回调函数的参数。

  1. async function f() {
  2. return 'hello world';
  3. }
  4. f().then(v => console.log(v))
  5. // "hello world"

上面代码中,函数f内部return命令返回的值,会被then方法回调函数接收到。

async函数内部抛出错误,会导致返回的 Promise 对象变为reject状态。抛出的错误对象会被catch方法回调函数接收到。

  1. async function f() {
  2. throw new Error('出错了');
  3. }
  4. f().then(
  5. v => console.log(v),
  6. e => console.log(e)
  7. )
  8. // Error: 出错了

Promise 对象的状态变化

async函数返回的 Promise 对象,必须等到内部所有await命令后面的 Promise 对象执行完,才会发生状态改变,除非遇到return语句或者抛出错误。也就是说,只有async函数内部的异步操作执行完,才会执行then方法指定的回调函数。

下面是一个例子。

  1. async function getTitle(url) {
  2. let response = await fetch(url);
  3. let html = await response.text();
  4. return html.match(/<title>([\s\S]+)<\/title>/i)[1];
  5. }
  6. getTitle('https://tc39.github.io/ecma262/').then(console.log)
  7. // "ECMAScript 2017 Language Specification"

上面代码中,函数getTitle内部有三个操作:抓取网页、取出文本、匹配页面标题。只有这三个操作全部完成,才会执行then方法里面的console.log

await 命令

正常情况下,await命令后面是一个 Promise 对象,返回该对象的结果。如果不是 Promise 对象,就直接返回对应的值。

  1. async function f() {
  2. // 等同于
  3. // return 123;
  4. return await 123;
  5. }
  6. f().then(v => console.log(v))
  7. // 123

上面代码中,await命令的参数是数值123,这时等同于return 123

另一种情况是,await命令后面是一个thenable对象(即定义了then方法的对象),那么await会将其等同于 Promise 对象。

  1. class Sleep {
  2. constructor(timeout) {
  3. this.timeout = timeout;
  4. }
  5. then(resolve, reject) {
  6. const startTime = Date.now();
  7. setTimeout(
  8. () => resolve(Date.now() - startTime),
  9. this.timeout
  10. );
  11. }
  12. }
  13. (async () => {
  14. const sleepTime = await new Sleep(1000);
  15. console.log(sleepTime);
  16. })();
  17. // 1000

上面代码中,await命令后面是一个Sleep对象的实例。这个实例不是 Promise 对象,但是因为定义了then方法,await会将其视为Promise处理。

这个例子还演示了如何实现休眠效果。JavaScript 一直没有休眠的语法,但是借助await命令就可以让程序停顿指定的时间。下面给出了一个简化的sleep实现。

  1. function sleep(interval) {
  2. return new Promise(resolve => {
  3. setTimeout(resolve, interval);
  4. })
  5. }
  6. // 用法
  7. async function one2FiveInAsync() {
  8. for(let i = 1; i <= 5; i++) {
  9. console.log(i);
  10. await sleep(1000);
  11. }
  12. }
  13. one2FiveInAsync();

await命令后面的 Promise 对象如果变为reject状态,则reject的参数会被catch方法的回调函数接收到。

  1. async function f() {
  2. await Promise.reject('出错了');
  3. }
  4. f()
  5. .then(v => console.log(v))
  6. .catch(e => console.log(e))
  7. // 出错了

注意,上面代码中,await语句前面没有return,但是reject方法的参数依然传入了catch方法的回调函数。这里如果在await前面加上return,效果是一样的。

任何一个await语句后面的 Promise 对象变为reject状态,那么整个async函数都会中断执行。

  1. async function f() {
  2. await Promise.reject('出错了');
  3. await Promise.resolve('hello world'); // 不会执行
  4. }

上面代码中,第二个await语句是不会执行的,因为第一个await语句状态变成了reject

有时,我们希望即使前一个异步操作失败,也不要中断后面的异步操作。这时可以将第一个await放在try...catch结构里面,这样不管这个异步操作是否成功,第二个await都会执行。

  1. async function f() {
  2. try {
  3. await Promise.reject('出错了');
  4. } catch(e) {
  5. }
  6. return await Promise.resolve('hello world');
  7. }
  8. f()
  9. .then(v => console.log(v))
  10. // hello world

另一种方法是await后面的 Promise 对象再跟一个catch方法,处理前面可能出现的错误。

  1. async function f() {
  2. await Promise.reject('出错了')
  3. .catch(e => console.log(e));
  4. return await Promise.resolve('hello world');
  5. }
  6. f()
  7. .then(v => console.log(v))
  8. // 出错了
  9. // hello world

错误处理

如果await后面的异步操作出错,那么等同于async函数返回的 Promise 对象被reject

  1. async function f() {
  2. await new Promise(function (resolve, reject) {
  3. throw new Error('出错了');
  4. });
  5. }
  6. f()
  7. .then(v => console.log(v))
  8. .catch(e => console.log(e))
  9. // Error:出错了

上面代码中,async函数f执行后,await后面的 Promise 对象会抛出一个错误对象,导致catch方法的回调函数被调用,它的参数就是抛出的错误对象。具体的执行机制,可以参考后文的“async 函数的实现原理”。

防止出错的方法,也是将其放在try...catch代码块之中。

  1. async function f() {
  2. try {
  3. await new Promise(function (resolve, reject) {
  4. throw new Error('出错了');
  5. });
  6. } catch(e) {
  7. }
  8. return await('hello world');
  9. }

如果有多个await命令,可以统一放在try...catch结构中。

  1. async function main() {
  2. try {
  3. const val1 = await firstStep();
  4. const val2 = await secondStep(val1);
  5. const val3 = await thirdStep(val1, val2);
  6. console.log('Final: ', val3);
  7. }
  8. catch (err) {
  9. console.error(err);
  10. }
  11. }

下面的例子使用try...catch结构,实现多次重复尝试。

  1. const superagent = require('superagent');
  2. const NUM_RETRIES = 3;
  3. async function test() {
  4. let i;
  5. for (i = 0; i < NUM_RETRIES; ++i) {
  6. try {
  7. await superagent.get('http://google.com/this-throws-an-error');
  8. break;
  9. } catch(err) {}
  10. }
  11. console.log(i); // 3
  12. }
  13. test();

上面代码中,如果await操作成功,就会使用break语句退出循环;如果失败,会被catch语句捕捉,然后进入下一轮循环。

使用注意点

第一点,前面已经说过,await命令后面的Promise对象,运行结果可能是rejected,所以最好把await命令放在try...catch代码块中。

  1. async function myFunction() {
  2. try {
  3. await somethingThatReturnsAPromise();
  4. } catch (err) {
  5. console.log(err);
  6. }
  7. }
  8. // 另一种写法
  9. async function myFunction() {
  10. await somethingThatReturnsAPromise()
  11. .catch(function (err) {
  12. console.log(err);
  13. });
  14. }

第二点,多个await命令后面的异步操作,如果不存在继发关系,最好让它们同时触发。

  1. let foo = await getFoo();
  2. let bar = await getBar();

上面代码中,getFoogetBar是两个独立的异步操作(即互不依赖),被写成继发关系。这样比较耗时,因为只有getFoo完成以后,才会执行getBar,完全可以让它们同时触发。

  1. // 写法一
  2. let [foo, bar] = await Promise.all([getFoo(), getBar()]);
  3. // 写法二
  4. let fooPromise = getFoo();
  5. let barPromise = getBar();
  6. let foo = await fooPromise;
  7. let bar = await barPromise;

上面两种写法,getFoogetBar都是同时触发,这样就会缩短程序的执行时间。

第三点,await命令只能用在async函数之中,如果用在普通函数,就会报错。

  1. async function dbFuc(db) {
  2. let docs = [{}, {}, {}];
  3. // 报错
  4. docs.forEach(function (doc) {
  5. await db.post(doc);
  6. });
  7. }

上面代码会报错,因为await用在普通函数之中了。但是,如果将forEach方法的参数改成async函数,也有问题。

  1. function dbFuc(db) { //这里不需要 async
  2. let docs = [{}, {}, {}];
  3. // 可能得到错误结果
  4. docs.forEach(async function (doc) {
  5. await db.post(doc);
  6. });
  7. }

上面代码可能不会正常工作,原因是这时三个db.post操作将是并发执行,也就是同时执行,而不是继发执行。正确的写法是采用for循环。

  1. async function dbFuc(db) {
  2. let docs = [{}, {}, {}];
  3. for (let doc of docs) {
  4. await db.post(doc);
  5. }
  6. }

另一种方法是使用数组的reduce方法。

  1. async function dbFuc(db) {
  2. let docs = [{}, {}, {}];
  3. await docs.reduce(async (_, doc) => {
  4. await _;
  5. await db.post(doc);
  6. }, undefined);
  7. }

上面例子中,reduce方法的第一个参数是async函数,导致该函数的第一个参数是前一步操作返回的 Promise 对象,所以必须使用await等待它操作结束。另外,reduce方法返回的是docs数组最后一个成员的async函数的执行结果,也是一个 Promise 对象,导致在它前面也必须加上await

如果确实希望多个请求并发执行,可以使用Promise.all方法。当三个请求都会resolved时,下面两种写法效果相同。

  1. async function dbFuc(db) {
  2. let docs = [{}, {}, {}];
  3. let promises = docs.map((doc) => db.post(doc));
  4. let results = await Promise.all(promises);
  5. console.log(results);
  6. }
  7. // 或者使用下面的写法
  8. async function dbFuc(db) {
  9. let docs = [{}, {}, {}];
  10. let promises = docs.map((doc) => db.post(doc));
  11. let results = [];
  12. for (let promise of promises) {
  13. results.push(await promise);
  14. }
  15. console.log(results);
  16. }

第四点,async 函数可以保留运行堆栈。

  1. const a = () => {
  2. b().then(() => c());
  3. };

上面代码中,函数a内部运行了一个异步任务b()。当b()运行的时候,函数a()不会中断,而是继续执行。等到b()运行结束,可能a()早就运行结束了,b()所在的上下文环境已经消失了。如果b()c()报错,错误堆栈将不包括a()

现在将这个例子改成async函数。

  1. const a = async () => {
  2. await b();
  3. c();
  4. };

上面代码中,b()运行的时候,a()是暂停执行,上下文环境都保存着。一旦b()c()报错,错误堆栈将包括a()