《Node.js设计模式》基于ES2015+的回调控制流

本系列文章为《Node.js Design Patterns Second Edition》的原文翻译和读书笔记,在GitHub连载更新,同步翻译版链接。

欢迎关注我的专栏,之后的博文将在专栏同步:

  • Encounter的掘金专栏
  • 知乎专栏 Encounter的编程思考
  • segmentfault专栏 前端小站

Asynchronous Control Flow Patterns with ES2015 and Beyond

在上一章中,我们学习了如何使用回调处理异步代码,以及如何解决如回调地狱代码等异步问题。回调是JavaScriptNode.js中的异步编程的基础,但是现在,其他替代方案已经出现。这些替代方案更复杂,以便能够以更方便的方式处理异步代码。

在本章中,我们将探讨一些代表性的替代方案,PromiseGenerator。以及async await,这是一种创新的语法,可在高版本的JavaScript中提供,其也作为ECMAScript 2017发行版的一部分。

我们将看到这些替代方案如何简化处理异步控制流的方式。最后,我们将比较所有这些方法,以了解所有这些方法的所有优点和缺点,并能够明智地选择最适合我们下一个Node.js项目要求的方法。

Promise

我们在前面的章节中提到,CPS风格不是编写异步代码的唯一方法。事实上,JavaScript生态系统为传统的回调模式提供了有趣的替代方案。最着名的选择之一是Promise,特别是现在它是ECMAScript 2015的一部分,并且现在可以在Node.js中可用。

什么是Promise?

Promise是一种抽象的对象,我们通常允许函数返回一个名为Promise的对象,它表示异步操作的最终结果。通常情况下,我们说当异步操作尚未完成时,我们说Promise对象处于pending状态,当操作成功完成时,我们说Promise对象处于resolve状态,当操作错误终止时,我们说Promise对象处于reject状态。一旦Promise处于resolvereject,我们认为当前异步操作结束。

为了接收到异步操作的正确结果或错误捕获,我们可以使用Promisethen方法:

promise.then([onFulfilled], [onRejected])复制代码

在前面的代码中,onFulfilled()是一个函数,最终会收到Promise的正确结果,而onRejected()是另一个函数,它将接收产生异常的原因(如果有的话)。两个参数都是可选的。

要了解Promise如何转换我们的代码,让我们考虑以下几点:

asyncOperation(arg, (err, result) => {
  if (err) {
    // 错误处理
  }
  // 正常结果处理
});复制代码

Promise允许我们将这个典型的CPS代码转换成更好的结构化和更优雅的代码,如下所示:

asyncOperation(arg)
  .then(result => {
    // 错误处理
  }, err => {
    // 正常结果处理
  });复制代码

then()方法的一个关键特征是它同步地返回另一个Promise对象。如果onFulfilled()onRejected()函数中的任何一个函数返回x,则then()方法返回的Promise对象将如下所示:

  • 如果x是一个值,则这个Promise对象会正确处理(resolve)x
  • 如果x是一个Promise对象或thenable,则会正确处理(resolve)x
  • 如果x是一个异常,则会捕获异常(reject)x

注:thenable是一个具有then方法的类似于Promise的对象(Promise-like)。

这个特点使我们能够链式构建Promise,允许轻松排列组合我们的异步操作。另外,如果我们没有指定一个onFulfilled()onRejected()处理程序,则正确结果或异常捕获将自动转发到Promise链的下一个Promise。例如,这允许我们在整个链中自动传播错误,直到被onRejected()处理程序捕获。随着Promise链,任务的顺序执行突然变成简单多了:

asyncOperation(arg)
  .then(result1 => {
    // 返回另一个Promise
    return asyncOperation(arg2);
  })
  .then(result2 => {
    // 返回一个值
    return 'done';
  })
  .then(undefined, err => {
    // 捕获Promise链中的异常
  });复制代码

下图展示了链式Promise如何工作:

Promise的另一个重要特性是onFulfilled()onRejected()函数是异步调用的,如同上述的例子,在最后那个then函数resolve一个同步的Promise,它也是同步的。这种模式避免了Zalgo(参见Chapter2-Node.js Essential Patterns),使我们的异步代码更加一致和稳健。

如果在onFulfilled()onRejected()处理程序中抛出异常(使用throw语句),则then()方法返回的Promise将被自动地reject,抛出异常作为reject的原因。这相对于CPS来说是一个巨大的优势,因为它意味着有了Promise,异常将在整个链中自动传播,并且throw语句终于可以使用。

在以前,许多不同的库实现了Promise,大多数时候它们之间不兼容,这意味着不可能在使用不同Promise库的thenable链式传播错误。

JavaScript社区非常努力地解决了这个限制,这些努力导致了Promises / A +规范的创建。该规范详细描述了then方法的行为,提供了一个可互兼容的基础,这使得来自不同库的Promise对象能够彼此兼容,开箱即用。

有关Promises / A +规范的详细说明,可以参考Promises / A + 官方网站。

Promise / A + 的实施

JavaScript中以及Node.js中,有几个实现Promises / A +规范的库。以下是最受欢迎的:

  • Bluebird
  • Q
  • RSVP
  • Vow
  • When.js
  • ES2015 promises

真正区别他们的是在Promises / A +标准之上提供的额外功能。正如我们上述所说的那样,该标准定义了then()方法和Promise解析过程的行为,但它没有指定其他功能,例如,如何从基于回调的异步函数创建Promise

在我们的示例中,我们将使用由ES2015Promise,因为Promise对象自Node.js 4后即可使用,而不需要任何库来实现。

作为参考,以下是ES2015Promise提供的API:

constructor(new Promise(function(resolve, reject){})):创建了一个新的Promise,它基于作为传递两个类型为函数的参数来决定resolvereject。构造函数的参数解释如下:

  • resolve(obj)resolve一个Promise,并带上一个参数obj,如果obj是一个值,这个值就是传递的异步操作成功的结果。如果obj是一个Promise或一个thenable,则会进行正确处理。
  • reject(err)reject一个Promise,并带上一个参数err。它是Error对象的一个实例。

Promise对象的静态方法

  • Promise.resolve(obj): 将会创建一个resolvePromise实例
  • Promise.reject(err): 将会创建一个rejectPromise实例
  • Promise.all(iterable):返回一个新的Promise实例,并且在iterable中所
    Promise状态为reject时, 返回的Promise实例的状态会被置为reject,如果iterable中至少有一个Promise状态为reject时, 返回的Promise实例状态也会被置为reject,并且reject的原因是第一个被rejectPromise对象的reject原因。
  • Promise.race(iterable):返回一个Promise实例,当iterable中任何一个Promiseresolve或被reject时, 返回的Promise实例以同样的原因resolvereject

Promise实例方法

  • Promise.then(onFulfilled, onRejected):这是Promise的基本方法。它的行为与我们之前描述的Promises / A +标准兼容。
  • Promise.catch(onRejected):这只是Promise.then(undefined,onRejected)的语法糖。

值得一提的是,一些Promise实现提供了另一种机制来创建新的Promise,称为deferreds。我们不会在这里描述,因为它不是ES2015标准的一部分,但是如果您想了解更多信息,可以阅读Q文档 (github.com/kriskowal/q…) 或When.js文档 (github.com/cujojs/when…) 。

Promisifying一个Node.js回调风格的函数

JavaScript中,并不是所有的异步函数和库都支持开箱即用的Promise。大多数情况下,我们必须将一个典型的基于回调的函数转换成一个返回Promise的函数,这个过程也被称为promisification

幸运的是,Node.js中使用的回调约定允许我们创建一个可重用的函数,我们通过使用Promise对象的构造函数来简化任何Node.js风格的API。让我们创建一个名为promisify()的新函数,并将其包含到utilities.js模块中(以便稍后在我们的Web爬虫应用程序中使用它):

module.exports.promisify = function(callbackBasedApi) {
  return function promisified() {
    const args = [].slice.call(arguments);
    return new Promise((resolve, reject) => {
      args.push((err, result) => {
        if (err) {
          return reject(err);
        }
        if (arguments.length <= 2) {
          resolve(result);
        } else {
          resolve([].slice.call(arguments, 1));
        }
      });
      callbackBasedApi.apply(null, args);
    });
  }
};复制代码

前面的函数返回另一个名为promisified()的函数,它表示输入中给出的callbackBasedApipromisified版本。以下展示它是如何工作的:

  1. promisified()函数使用Promise构造函数创建一个新的Promise对象,并立即将其返回给调用者。
  2. 在传递给Promise构造函数的函数中,我们确保传递给callbackBasedApi,这是一个特殊的回调函数。由于我们知道回调总是最后调用的,我们只需将回调函数附加到提供给promisified()函数的参数列表里(args)。
  3. 在特殊的回调中,如果我们收到错误,我们立即reject这个Promise
  4. 如果没有收到错误,我们使用一个值或一个数组值来resolve这个Promise,具体取决于传递给回调的结果数量。
  5. 最后,我们只需使用我们构建的参数列表调用callbackBasedApi

大部分的Promise已经提供了一个开箱即用的接口来将一个Node.js风格的API转换成一个返回Promise的API。例如,Q有Q.denodeify()和Q.nbind(),Bluebird有Promise.promisify(),而When.js有node.lift()。

顺序执行

在一些必要的理论之后,我们现在准备将我们的Web爬虫应用程序转换为使用Promise的形式。让我们直接从版本2开始,直接下载一个Web网页的链接。

spider.js模块中,第一步是加载我们的Promise实现(我们稍后会使用它)和Promisifying我们打算使用的基于回调的函数:

const utilities = require('./utilities');
const request = utilities.promisify(require('request'));
const mkdirp = utilities.promisify(require('mkdirp'));
const fs = require('fs');
const readFile = utilities.promisify(fs.readFile);
const writeFile = utilities.promisify(fs.writeFile);复制代码

现在,我们开始更改我们的download函数:

function download(url, filename) {
  console.log(`Downloading ${url}`);
  let body;
  return request(url)
    .then(response => {
      body = response.body;
      return mkdirp(path.dirname(filename));
    })
    .then(() => writeFile(filename, body))
    .then(() => {
      console.log(`Downloaded and saved: ${url}`);
      return body;
    });
}复制代码

这里要注意的到的最重要的是我们也为readFile()返回的Promise注册
一个onRejected()函数,用来处理一个网页没有被下载的情况(或文件不存在)。 还有,看我们如何使用throw来传递onRejected()函数中的错误的。

既然我们已经更改我们的spider()函数,我们这么修改它的调用方式:

spider(process.argv[2], 1)
  .then(() => console.log('Download complete'))
  .catch(err => console.log(err));复制代码

注意我们是如何第一次使用Promise的语法糖catch来处理源自spider()函数的任何错误情况。如果我们再看看迄今为止我们所写的所有代码,那么我们会惊喜的发现,我们没有包含任何错误传播逻辑,因为我们在使用回调函数时会被迫做这样的事情。这显然是一个巨大的优势,因为它极大地减少了我们代码中的样板文件以及丢失任何异步错误的机会。

现在,完成我们唯一缺失的Web爬虫应用程序的第二版的spiderLinks()函数,我们将在稍后实现它。

顺序迭代

到目前为止,Web爬虫应用程序代码库主要是对Promise是什么以及如何使用的概述,展示了使用Promise实现顺序执行流程的简单性和优雅性。但是,我们现在考虑的代码只涉及到一组已知的异步操作的执行。所以,完成我们对顺序执行流程的探索的缺失部分是看我们如何使用Promise来实现迭代。同样,网络蜘蛛第二版的spiderLinks()函数也是一个很好的例子。

让我们添加缺少的这一块:

function spiderLinks(currentUrl, body, nesting) {
  let promise = Promise.resolve();
  if (nesting === 0) {
    return promise;
  }
  const links = utilities.getPageLinks(currentUrl, body);
  links.forEach(link => {
    promise = promise.then(() => spider(link, nesting - 1));
  });
  return promise;
}复制代码

为了异步迭代一个网页的全部链接,我们必须动态创建一个Promise的迭代链。

  1. 首先,我们定义一个空的Promiseresolveundefined。这个Promise只是用来作为Promise的迭代链的起始点。
  2. 然后,我们通过在循环中调用链中前一个Promisethen()方法获得的新的Promise来更新Promise变量。这就是我们使用Promise的异步迭代模式。

这样,循环的结束,promise变量会包含循环中最后一个then()返回的Promise对象,所以它只有当Promise的迭代链中全部Promise对象被resolve后才能被resolve

注:在最后调用了这个then方法来resolve这个Promise对象

通过这个,我们已使用Promise对象重写了我们的Web爬虫应用程序。我们现在应该可以运行它了。

顺序迭代模式

为了总结这个顺序执行的部分,让我们提取一个模式来依次遍历一组Promise

let tasks = [ /* ... */ ]
let promise = Promise.resolve();
tasks.forEach(task => {
  promise = promise.then(() => {
    return task();
  });
});
promise.then(() => {
  // 所有任务都完成
});复制代码

使用reduce()方法来替代forEach()方法,允许我们写出更为简洁的代码:

let tasks = [ /* ... */ ]
let promise = tasks.reduce((prev, task) => {
  return prev.then(() => {
    return task();
  });
}, Promise.resolve());

promise.then(() => {
  //All tasks completed
});复制代码

与往常一样,通过对这种模式的简单调整,我们可以将所有任务的结果收集到一个数组中,我们可以实现一个mapping算法,或者构建一个filter等等。

上述这个模式使用循环动态地建立一个链式的Promise。

并行执行

另一个适合用Promise的执行流程是并行执行流程。实际上,我们需要做的就是使用内置的Promise.all()。这个方法创造了另一个Promise对象,只有在输入中的所有Promiseresolve时才能resolve。这是一个并行执行,因为在其参数Promise对象的之间没有执行顺序可言。

为了演示这一点,我们来看我们的Web爬虫应用程序的第三版,它将页面中的所有链接并行下载。让我们再次使用Promise更新spiderLinks()函数来实现并行流程:

function spiderLinks(currentUrl, body, nesting) {
  if (nesting === 0) {
    return Promise.resolve();
  }
  const links = utilities.getPageLinks(currentUrl, body);
  const promises = links.map(link => spider(link, nesting - 1));
  return Promise.all(promises);
}复制代码

这里的模式在elements.map()迭代中产生一个数组,存放所有异步任务,之后便于同时启动spider()任务。这一次,在循环中,我们不等待以前的下载完成,然后开始一个新的下载任务:所有的下载任务在一个循环中一个接一个地开始。之后,我们利用Promise.all()方法,它返回一个新的Promise对象,当数组中的所有Promise对象都被resolve时,这个Promise对象将被resolve。换句话说,所有的下载任务完成,这正是我们想要的。

限制并行执行

不幸的是,ES2015Promise API并没有提供一种原生的方式来限制并发任务的数量,但是我们总是可以依靠我们所学到的有关用普通JavaScript来限制并发。事实上,我们在TaskQueue类中实现的模式可以很容易地被调整来支持返回承诺的任务。这很容易通过修改next()方法来完成:

class TaskQueue {
  constructor(concurrency) {
    this.concurrency = concurrency;
    this.running = 0;
    this.queue = [];
  }

  pushTask(task) {
    this.queue.push(task);
    this.next();
  }

  next() {
    while (this.running < this.concurrency && this.queue.length) {
      const task = this.queue.shift();
      task().then(() => {
        this.running--;
        this.next();
      });
      this.running++;
    }
  }
}复制代码

不同于使用一个回调函数来处理任务,我们简单地调用Promisethen()

让我们回到spider.js模块,并修改它以支持我们的新版本的TaskQueue类。首先,我们确保定义一个TaskQueue的新实例:

const TaskQueue = require('./taskQueue');
const downloadQueue = new TaskQueue(2);复制代码

然后,是我们的spiderLinks()函数。这里的修改也是很简单:

function spiderLinks(currentUrl, body, nesting) {
  if (nesting === 0) {
    return Promise.resolve();
  }
  const links = utilities.getPageLinks(currentUrl, body);
  // 我们需要如下代码,用于创建Promise对象
  // 如果没有下列代码,当任务数量为0时,将永远不会resolve
  if (links.length === 0) {
    return Promise.resolve();
  }
  return new Promise((resolve, reject) => {
    let completed = 0;
    let errored = false;
    links.forEach(link => {
      let task = () => {
        return spider(link, nesting - 1)
          .then(() => {
            if (++completed === links.length) {
              resolve();
            }
          })
          .catch(() => {
            if (!errored) {
              errored = true;
              reject();
            }
          });
      };
      downloadQueue.pushTask(task);
    });
  });
}复制代码

在上述代码中有几点值得我们注意的:

  • 首先,我们需要返回使用Promise构造函数创建的新的Promise对象。正如我们将看到的,这使我们能够在队列中的所有任务完成时手动resolve我们的Promise对象。
  • 然后,我们应该看看我们如何定义任务。我们所做的是将一个onFulfilled()回调函数的调用添加到由spider()返回的Promise对象中,所以我们可以计算完成的下载任务的数量。当完成的下载量与当前页面中链接的数量相同时,我们知道任务已经处理完毕,所以我们可以调用外部Promiseresolve()函数。

Promises / A +规范规定,then()方法的onFulfilled()和onRejected()回调函数只能调用一次(仅调用onFulfilled()和onRejected())。Promise接口的实现确保即使我们多次手动调用resolve或reject,Promise也仅可以被resolve或reject一次。

现在,使用PromiseWeb爬虫应用程序的第4版应该已经准备好了。我们可能再次注意到下载任务如何并行运行,并发数量限制为2。

在公有API中暴露回调函数和Promise

正如我们在前面所学到的,Promise可以被用作回调函数的一个很好的替代品。它们使我们的代码更具可读性和易于理解。虽然Promise带来了许多优点,但也要求开发人员理解许多不易于理解的概念,以便正确和熟练地使用。由于这个原因和其他原因,在某些情况下,比起Promise来说,很多开发者更偏向于回调函数。

现在让我们想象一下,我们想要构建一个执行异步操作的公共库。我们需要做什么?我们是创建了一个基于回调函数的API还是一个面向PromiseAPI?还是两者均有?

这是许多知名的库所面临的问题,至少有两种方法值得一提,使我们能够提供一个多功能的API

requestredismysql这样的库所使用的第一种方法是提供一个简单的基于回调函数的API,如果需要,开发人员可以选择公开函数。其中一些库提供工具函数来Promise化异步回调,但开发人员仍然需要以某种方式将暴露的API转换为能够使用Promise对象。

第二种方法更透明。它还提供了一个面向回调的API,但它使回调参数可选。每当回调作为参数传递时,函数将正常运行,在完成时或失败时执行回调。当回调未被传递时,函数将立即返回一个Promise对象。这种方法有效地结合了回调函数和Promise,使得开发者可以在调用时选择采用什么接口,而不需要提前进行Promise化。许多库,如mongoosesequelize,都支持这种方法。

我们来看一个简单的例子。假设我们要实现一个异步执行除法的模块:

module.exports = function asyncDivision(dividend, divisor, cb) {
  return new Promise((resolve, reject) => { // [1]
    process.nextTick(() => {
      const result = dividend / divisor;
      if (isNaN(result) || !Number.isFinite(result)) {
        const error = new Error('Invalid operands');
        if (cb) {
          cb(error); // [2]
        }
        return reject(error);
      }
      if (cb) {
        cb(null, result); // [3]
      }
      resolve(result);
    });
  });
};复制代码

该模块的代码非常简单,但是有一些值得强调的细节:

  • 首先,返回使用Promise的构造函数创建的新承诺。我们在构造函数参数函数内定义全部逻辑。
  • 在发生错误的情况下,我们reject这个Promise,但如果回调函数在被调用时作为参数传递,我们也执行回调来进行错误传播。
  • 在计算结果之后,我们resolve了这个Promise,但是如果有回调函数,我们也会将结果传播给回调函数。

我们现在看如何用回调函数和Promise来使用这个模块:

// 回调函数的方式
asyncDivision(10, 2, (error, result) => {
  if (error) {
    return console.error(error);
  }
  console.log(result);
});

// Promise化的调用方式
asyncDivision(22, 11)
  .then(result => console.log(result))
  .catch(error => console.error(error));复制代码

应该很清楚的是,即将开始使用类似于上述的新模块的开发人员将很容易地选择最适合自己需求的风格,而无需在希望利用Promise时引入外部promisification功能。

Generators

ES2015规范引入了另外一种机制,除了其他新功能外,还可以用来简化Node.js应用程序的异步控制流程。我们正在谈论Generator,也被称为semi-coroutines。它们是子程序的一般化,可以有不同的入口点。在一个正常的函数中,实际上我们只能有一个入口点,这个入口点对应着函数本身的调用。Generator与一般函数类似,但是可以暂停(使用yield语句),然后在稍后继续执行。在实现迭代器时,Generator特别有用,因为我们已经讨论了如何使用迭代器来实现重要的异步控制流模式,如顺序执行和限制并行执行。

Generators基础

在我们探索使用Generator来实现异步控制流程之前,学习一些基本概念是很重要的。我们从语法开始吧。可以通过在函数关键字之后附加*(星号)运算符来声明Generator函数:

function* makeGenerator() {
  // body
}复制代码

makeGenerator()函数内部,我们可以使用关键字yield暂停执行并返回给调用者传递给它的值:

function* makeGenerator() {
  yield 'Hello World';
  console.log('Re-entered');
}复制代码

在前面的代码中,Generator通过yield一个字符串Hello World暂停当前函数的执行。当Generator恢复时,执行将从下列语句开始:

console.log('Re-entered');复制代码

makeGenerator()函数本质上是一个工厂,它在被调用时返回一个新的Generator对象:

const gen = makeGenerator();复制代码

生成器对象的最重要的方法是next(),它用于启动/恢复Generator的执行,并返回如下形式的对象:

{
  value: 
  done: <true if the execution reached the end>
}复制代码

这个对象包含Generator yield的值和一个指示Generator是否已经完成执行的符号。

一个简单的例子

为了演示Generator,我们来创建一个名为fruitGenerator.js的新模块:

function* fruitGenerator() {
  yield 'apple';
  yield 'orange';
  return 'watermelon';
}
const newFruitGenerator = fruitGenerator();
console.log(newFruitGenerator.next()); // [1]
console.log(newFruitGenerator.next()); // [2]
console.log(newFruitGenerator.next()); // [3]复制代码

前面的代码将打印下面的输出:

{ value: 'apple', done: false }
{ value: 'orange', done: false }
{ value: 'watermelon', done: true }复制代码

我们可以这么解释上述现象:

  • 第一次调用newFruitGenerator.next()时,Generator函数开始执行,直到达到第一个yield语句为止,该命令暂停Generator函数执行,并将值apple返回给调用者。
  • 在第二次调用newFruitGenerator.next()时,Generator函数恢复执行,从第二个yield语句开始,这又使得执行暂停,同时将orange返回给调用者。
  • newFruitGenerator.next()的最后一次调用导致Generator函数的执行从其最后的yield恢复,一个返回语句,它终止Generator函数,返回watermelon,并将结果对象中的done属性设置为true

Generators作为迭代器

为了更好地理解为什么Generator函数对实现迭代器非常有用,我们来构建一个例子。在我们将调用iteratorGenerator.js的新模块中,我们编写下面的代码:

function* iteratorGenerator(arr) {
  for (let i = 0; i < arr.length; i++) {
    yield arr[i];
  }
}
const iterator = iteratorGenerator(['apple', 'orange', 'watermelon']);
let currentItem = iterator.next();
while (!currentItem.done) {
  console.log(currentItem.value);
  currentItem = iterator.next();
}复制代码

此代码应按如下所示打印数组中的元素:

apple
orange
watermelon复制代码

在这个例子中,每次我们调用iterator.next()时,我们都会恢复Generator函数的for循环,通过yield数组中的下一个项来运行另一个循环。这演示了如何在函数调用过程中维护Generator的状态。当继续执行时,循环和所有变量的值与Generator函数执行暂停时的状态完全相同。

传值给Generators

现在我们继续研究Generator的基本功能,首先学习如何将值传递回Generator函数。这其实很简单,我们需要做的只是为next()方法提供一个参数,并且该值将作为Generator函数内的yield语句的返回值提供。

为了展示这一点,我们来创建一个新的简单模块:

function* twoWayGenerator() {
  const what = yield null;
  console.log('Hello ' + what);
}
const twoWay = twoWayGenerator();
twoWay.next();
twoWay.next('world');复制代码

当执行时,前面的代码会输出Hello world。我们做如下的解释:

  • 第一次调用next()方法时,Generator函数到达第一个yield语句,然后暂停。
  • next('world')被调用时,Generator函数从上次停止的位置,也就是上次的yield语句点恢复,但是这次我们有一个值传递到Generator函数。这个值将被赋值到what变量。生成器然后执行console.log()指令并终止。

用类似的方式,我们可以强制Generator函数抛出异常。这可以通过使用Generator函数的throw方法来实现,如下例所示:

const twoWay = twoWayGenerator();
twoWay.next();
twoWay.throw(new Error());复制代码

在这个最后这段代码,twoWayGenerator()函数将在yield函数返回的时候抛出异常。这就好像从Generator函数内部抛出了一个异常一样,这意味着它可以像使用try ... catch块一样进行捕获和处理异常。

Generator实现异步控制流

你一定想知道Generator函数如何帮助我们处理异步操作。我们可以通过创建一个接受Generator函数作为参数的特殊函数来演示这一点,并允许我们在Generator函数内部使用异步代码。这个函数在异步操作完成时要注意恢复Generator函数的执行。我们将调用这个函数asyncFlow()

function asyncFlow(generatorFunction) {
  function callback(err) {
    if (err) {
      return generator.throw(err);
    }
    const results = [].slice.call(arguments, 1);
    generator.next(results.length > 1 ? results : results[0]);
  }
  const generator = generatorFunction(callback);
  generator.next();
}复制代码

前面的函数取一个Generator函数作为输入,然后立即调用:

const generator = generatorFunction(callback);
generator.next();复制代码

generatorFunction()接受一个特殊的回调函数作为参数,当generator.throw()如果接收到一个错误,便立即返回。另外,通过将在回调函数中接收的results传值回Generator函数继续Generator函数的执行:

if (err) {
  return generator.throw(err);
}
const results = [].slice.call(arguments, 1);
generator.next(results.length > 1 ? results : results[0]);复制代码

为了说明这个简单的辅助函数的强大,我们创建一个叫做clone.js的新模块,这个模块只是创建它本身的克隆。粘贴我们刚才创建的asyncFlow()函数,核心代码如下:

const fs = require('fs');
const path = require('path');
asyncFlow(function*(callback) {
  const fileName = path.basename(__filename);
  const myself = yield fs.readFile(fileName, 'utf8', callback);
  yield fs.writeFile(`clone_of_${filename}`, myself, callback);
  console.log('Clone created');
});复制代码

明显地,有了asyncFlow()函数的帮助,我们可以像我们书写同步阻塞函数一样用同步的方式来书写异步代码了。并且这个结果背后的原理显得很清楚。一旦异步操作结束,传递给每个异步函数的回调函数将继续Generator函数的执行。没有什么复杂的,但是结果确实很令人意外。

这个技术有其他两个变化,一个是Promise的使用,另外一个则是thunks

在基于Generator的控制流中使用的thunk只是一个简单的函数,它除了回调之外,部分地应用了原始函数的所有参数。返回值是另一个只接受回调作为参数的函数。例如,fs.readFile()的thunkified版本如下所示:

function readFileThunk(filename, options) {
  return function(callback) {
    fs.readFile(filename, options, callback);
  }
}复制代码

thunkPromise都允许我们创建不需要回调的Generator函数作为参数传递,例如,使用thunkasyncFlow()版本如下:

function asyncFlowWithThunks(generatorFunction) {
  function callback(err) {
    if (err) {
      return generator.throw(err);
    }
    const results = [].slice.call(arguments, 1);
    const thunk = generator.next(results.length > 1 ? results : results[0]).value;
    thunk && thunk(callback);
  }
  const generator = generatorFunction();
  const thunk = generator.next().value;
  thunk && thunk(callback);
}复制代码

这个技巧是读取generator.next()的返回值,返回值中包含thunk。下一步是通过注入特殊的回调函数调用thunk本身。这允许我们写下面的代码:

asyncFlowWithThunk(function*() {
  const fileName = path.basename(__filename);
  const myself = yield readFileThunk(__filename, 'utf8');
  yield writeFileThunk(`clone_of_${fileName}`, myself);
  console.log("Clone created")
});复制代码

使用co的基于Gernator的控制流

你应该已经猜到了,Node.js生态系统会借助Generator函数来提供一些处理异步控制流的解决方案,例如,suspend是其中一个最老的支持PromisethunksNode.js风格回调函数和正常风格的回调函数的 库。还有,大部分我们之前分析的Promise库都提供工具函数使得GeneratorPromise可以一起使用。

我们选择co作为本章节的例子。它支持很多类型的yieldables,其中一些是:

  • Thunks
  • Promises
  • Arrays(并行执行)
  • Objects(并行执行)
  • Generators(委托)
  • Generator函数(委托)

还有很多框架或库是基于co生态系统的,包括以下一些:

  • Web框架,最流行的是koa
  • 实现特定控制流模式的库
  • 包装流行的API兼容co的库

我们使用co重新实现我们的Generator版本的Web爬虫应用程序

为了将Node.js风格的函数转换成thunks,我们将会使用一个叫做thunkify的库。

顺序执行

让我们通过修改Web爬虫应用程序的版本2开始我们对Generator函数和co的实际探索。我们要做的第一件事就是加载我们的依赖包,并生成我们要使用的函数的thunkified版本。这些将在spider.js模块的最开始进行:

const thunkify = require('thunkify');
const co = require('co');
const request = thunkify(require('request'));
const fs = require('fs');
const mkdirp = thunkify(require('mkdirp'));
const readFile = thunkify(fs.readFile);
const writeFile = thunkify(fs.writeFile);
const nextTick = thunkify(process.nextTick);复制代码

看上述代码,我们可以注意到与本章前面promisify化的API的代码的一些相似之处。在这一点上,有意思的是,如果我们使用我们的promisified版本的函数来代替thunkified的版本,代码将保持完全一样,这要归功于co支持thunkPromise对象作为yieldable对象。事实上,如果我们想,甚至可以在同一个应用程序中使用thunkPromise,即使在同一个Generator函数中。就灵活性而言,这是一个巨大的优势,因为它使我们能够使用基于Generator函数的控制流来解决我们应用程序中的问题。

好的,现在让我们开始将download()函数转换为一个Generator函数:

function* download(url, filename) {
  console.log(`Downloading ${url}`);
  const response = yield request(url);
  const body = response[1];
  yield mkdirp(path.dirname(filename));
  yield writeFile(filename, body);
  console.log(`Downloaded and saved ${url}`);
  return body;
}复制代码

通过使用Generatorco,我们的download()函数变得简单多了。当我们需要做异步操作的时候,我们使用异步的Generator函数作为thunk来把之前的内容转化到Generator函数,并使用yield子句。

然后我们开始实现我们的spider()函数:

function* spider(url, nesting) {
  cost filename = utilities.urlToFilename(url);
  let body;
  try {
    body = yield readFile(filename, 'utf8');
  } catch (err) {
    if (err.code !== 'ENOENT') {
      throw err;
    }
    body = yield download(url, filename);
  }
  yield spiderLinks(url, body, nesting);
}复制代码

从上述代码中一个有趣的细节是我们可以使用try...catch语句块来处理异常。我们还可以使用throw来传播异常。另外一个细节是我们yield我们的download()函数,而这个函数既不是一个thunk,也不是一个promisified函数,只是另外的一个Generator函数。这也毫无问题,由于co也支持其他Generators作为yieldables

最后转换spiderLinks(),在这个函数中,我们递归下载一个网页的链接。在这个函数中使用Generators,显得简单多了:

function* spiderLinks(currentUrl, body, nesting) {
  if (nesting === 0) {
    return nextTick();
  }
  const links = utilities.getPageLinks(currentUrl, body);
  for (let i = 0; i < links.length; i++) {
    yield spider(links[i], nesting - 1);
  }
}复制代码

看上述代码。虽然顺序迭代没有什么模式可以展示。Generatorco辅助我们做了很多,方便了我们可以使用同步方式开书写异步代码。

看最重要的部分,程序的入口:

co(function*() {
  try {
    yield spider(process.argv[2], 1);
    console.log(`Download complete`);
  } catch (err) {
    console.log(err);
  }
});复制代码

这是唯一一处需要调用co(...)来封装的一个Generator。实际上,一旦我们这么做,co会自动封装我们传递给yield语句的任何Generator函数,并且这个过程是递归的,所以程序的剩余部分与我们是否使用co是完全无关的,虽然是被co封装在里面。

现在应该可以运行使用Generator函数改写的Web爬虫应用程序了。

并行执行

不幸的是,虽然Generator很方便地进行顺序执行,但是不能直接用来并行化执行一组任务,至少不能仅仅使用yieldGenerator。之前,在种情况下我们使用的模式只是简单地依赖于一个基于回调或者Promise的函数,但使用了Generator函数后,一切会显得更简单。

幸运的是,如果不限制并发数的并行执行,co已经可以通过yield一个Promise对象、thunkGenerator函数,甚至包含Generator函数的数组来实现。

考虑到这一点,我们的Web爬虫应用程序第三版可以通过重写spiderLinks()函数来做如下改动:

function* spiderLinks(currentUrl, body, nesting) {
  if (nesting === 0) {
    return nextTick();
  }
  const links = utilities.getPageLinks(currentUrl, body);
  const tasks = links.map(link => spider(link, nesting - 1));
  yield tasks;
}复制代码

但是上述函数所做的只是拿到所有的任务,这些任务本质上都是通过Generator函数来实现异步的,如果在cothunk内对一个包含Generator函数的数组使用yield,这些任务都会并行执行。外层的Generator函数会等到yield子句的所有异步任务并行执行后再继续执行。

接下来我们看怎么用一个基于回调函数的方式来解决相同的并行流。我们用这种方式重写spiderLinks()函数:

function spiderLinks(currentUrl, body, nesting) {
  if (nesting === 0) {
    return nextTick();
  }
  // 返回一个thunk
  return callback => {
    let completed = 0,
      hasErrors = false;
    const links = utilities.getPageLinks(currentUrl, body);
    if (links.length === 0) {
      return process.nextTick(callback);
    }

    function done(err, result) {
      if (err && !hasErrors) {
        hasErrors = true;
        return callback(err);
      }
      if (++completed === links.length && !hasErrors) {
        callback();
      }
    }
    for (let i = 0; i < links.length; i++) {
      co(spider(links[i], nesting - 1)).then(done);
    }
  }
}复制代码

我们使用co并行运行spider()函数,调用Generator函数返回了一个Promise对象。这样,等待Promise完成后调用done()函数。通常,基于Generator控制流的库都有这一功能,因此如果需要,你总是可以将一个Generator转换成一个基于回调或基于Promise的函数。

为了并行开启多个下载任务,我们只要重用在前面定义的基于回调的并行执行的模式。我们应该也注意到我们将spiderLinks()转换成一个thunk(而不再是一个Generator函数)。这使得当全部并行任务完成时,我们有一个回调函数可以调用。

上面讲到的是将一个Generator函数转换为一个thunk的模式,使之能够支持其他的基于回调或基于Promise的控制流算法,并可以通过同步阻塞的代码风格书写异步代码。

限制并行执行

现在我们知道如何处理异步执行流程,应该很容易规划我们的Web爬虫应用程序的第四版的实现,这个版本对并发下载任务的数量施加了限制。我们有几个方案可以用来做到这一点。其中一些方案如下:

  • 使用先前实现的基于回调的TaskQueue类。我们只需要thunkify我们的Generator函数和其提供的回调函数即可。
  • 使用基于PromiseTaskQueue类,并确保每个作为任务的Generator函数都被转换成一个返回Promise对象的函数。
  • 使用asyncthunkify我们打算使用的工具函数,此外还需要把我们用到的Generator函数转化为基于回调的模式,以便于能够被这个库较好地使用。
  • 使用基于co的生态系统中的库,特别是专门为这种场景的库,如co-limiter。
  • 实现基于生产者 - 消费者模型的自定义算法,这与co-limiter的内部实现原理相同。

为了学习,我们选择最后一个方案,甚至帮助我们可以更好地理解一种经常与协程(也和线程和进程)同步相关的模式。

生产者 - 消费者模式

我们的目标是利用队列来提供固定数量的workers,与我们想要设置的并发级别一样多。为了实现这个算法,我们将基于本章前面定义的TaskQueue类改写:

class TaskQueue {
  constructor(concurrency) {
    this.concurrency = concurrency;
    this.running = 0;
    this.taskQueue = [];
    this.consumerQueue = [];
    this.spawnWorkers(concurrency);
  }
  pushTask(task) {
    if (this.consumerQueue.length !== 0) {
      this.consumerQueue.shift()(null, task);
    } else {
      this.taskQueue.push(task);
    }
  }
  spawnWorkers(concurrency) {
    const self = this;
    for (let i = 0; i < concurrency; i++) {
      co(function*() {
        while (true) {
          const task = yield self.nextTask();
          yield task;
        }
      });
    }
  }
  nextTask() {
    return callback => {
      if (this.taskQueue.length !== 0) {
        return callback(null, this.taskQueue.shift());
      }
      this.consumerQueue.push(callback);
    }
  }
}复制代码

让我们分析这个TaskQueue类的新实现。首先是在构造函数中。需要调用一次this.spawnWorkers(),因为这是启动worker的方法。

我们的worker很简单,它们只是用co()包装的立即执行的Generator函数,所以每个Generator函数可以并行执行。在内部,每个worker正在运行在一个死循环(while(true){})中,一直阻塞(yield)到新任务在队列中可用时(yield self.nextTask()),一旦可以执行新任务,yield这个异步任务直到其完成。您可能想知道我们如何能够限制并行执行,并让下一个任务在队列中处于等待状态。答案是在nextTask()方法中。我们来详细地看看在这个方法的原理:

nextTask() {
  return callback => {
    if (this.taskQueue.length !== 0) {
      return callback(null, this.taskQueue.shift());
    }
    this.consumerQueue.push(callback);
  }
}复制代码

我们看这个函数内部发生了什么,这才是这个模式的核心:

  1. 这个方法返回一个对于co而言是一个合法的yieldablethunk
  2. 只要taskQueue类生成的实例中还有下一个任务,thunk的回调函数会被立即调用。回调函数调用时,立马解锁一个worker的阻塞状态,yield这一个任务。
  3. 如果队列中没有任务了,回调函数本身会被放入consumerQueue中。通过这种做法,我们将一个worker置于空闲(idle)的模式。一旦我们有一个新的任务来要处理,在consumerQueue队列中的回调函数会被调用,立马唤醒我们这一worker进行异步处理。

现在,为了理解consumerQueue队列中的空闲worker是如何恢复工作的,我们需要分析pushTask()方法。如果当前有回调函数可用的话,pushTask()方法将调用consumerQueue队列中的第一个回调函数,从而将取消对worker的锁定。如果没有可用的回调函数,这意味着所有的worker都是工作状态,只需要添加一个新的任务到taskQueue任务队列中。

TaskQueue类中,worker充当消费者的角色,而调用pushTask()函数的角色可以被认为是生产者。这个模式向我们展示了一个Generator函数实际上可以跟一个线程或进程类似。实际上,生产者 - 消费者之间问题是研究进程间通信和同步时最常见的问题,但正如我们已经提到的那样,它对于进程和线程来说,也是一个常见的例子。

限制下载任务的并发量

既然我们已经使用Generator函数和生产者 - 消费者模型实现一个限制并行算法,并且已经在Web爬虫应用程序第四版应用它来限制中下载任务的并发数。 首先,我们加载和初始化一个TaskQueue对象:

const TaskQueue = require('./taskQueue');
const downloadQueue = new TaskQueue(2);复制代码

然后,修改spiderLinks()函数。和之前不限制并发的版本类似,所以这里我们只展示修改的部分,主要是通过调用新版本的TaskQueue类生成的实例的pushTask()方法来限制并行执行:

function spiderLinks(currentUrl, body, nesting) {
  //...
  return (callback) => {
    //...
    function done(err, result) {
      //...
    }
    links.forEach(function(link) {
      downloadQueue.pushTask(function*() {
        yield spider(link, nesting - 1);
        done();
      });
    });
  }
}复制代码

在每个任务中,我们在下载完成后立即调用done()函数,因此我们可以计算下载了多少个链接,然后在完成下载时通知thunk的回调函数执行。

配合Babel使用Async await新语法

回调函数、PromiseGenerator函数都是用于处理JavaScriptNode.js异步问题的方式。正如我们所看到的,Generator的真正意义在于它提供了一种方式来暂停一个函数的执行,然后等待前面的任务完成后再继续执行。我们可以使用这样的特性来书写异步代码,并且让开发者用同步阻塞的代码风格来书写异步代码。等到异步操作的结果返回后才恢复当前函数的执行。

Generator函数是更多的是用来处理迭代器,然而迭代器在异步代码的使用显得有点笨重。代码可能难以理解,导致代码易读性和可维护性差。

但在不远的将来会有一种更加简洁的语法。实际上,这个提议即将引入到ESMASCript 2017的规范中,这项规范定义了async函数语法。

async函数规范引入两个关键字(asyncawait)到原生的JavaScript语言中,改进我们书写异步代码的方式。

为了理解这项语法的用法和优势为,我们看一个简单的例子:

const request = require('request');

function getPageHtml(url) {
  return new Promise(function(resolve, reject) {
    request(url, function(error, response, body) {
      resolve(body);
    });
  });
}
async function main() {
  const html = await getPageHtml('http://google.com');
  console.log(html);
}

main();
console.log('Loading...');复制代码

在上述代码中,有两个函数:getPageHtmlmain。第一个函数的作用是提取给定URL的一个远程网页的HTML文档代码。值得注意的是,这个函数返回一个Promise对象。

重点在于main函数,因为在这里使用了asyncawait关键字。首先要注意的是函数要以async关键字为前缀。意思是这个函数执行的是异步代码并且允许它在函数体内使用await关键字。await关键字在getPageHtml调用之前,告诉JavaScript解释器在继续执行下一条指令之前,等待getPageHtml返回的Promise对象的结果。这样,main函数内部哪部分代码是异步的,它会等待异步代码的完成再继续执行后续操作,并且不会阻塞这段程序其余部分的正常执行。实际上,控制台会打印字符串Loading...,随后是Google主页的HTML代码。

是不是这种方法的可读性更好并且更容易理解呢? 不幸地是,这个提议尚未定案,即使通过这个提议,我们需要等下一个版本
ECMAScript规范出来并把它集成到Node.js后,才能使用这个新语法。 所以我们今天做了什么?只是漫无目的地等待?不是,当然不是!我们已经可以在我们的代码中使用async await语法,只要我们使用Babel

安装与运行Babel

Babel是一个JavaScript编译器(或翻译器),能够使用语法转换器将高版本的JavaScript代码转换成其他JavaScript代码。语法转换器允许例如我们书写并使用ES2015ES2016JSX和其它的新语法,来翻译成往后兼容的代码,在JavaScript运行环境如浏览器或Node.js中都可以使用Babel

在项目中使用npm安装Babel,命令如下:

npm install --save-dev babel-cli复制代码

我们还需要安装插件以支持async await语法的解释或翻译:

npm install --save-dev babel-plugin-syntax-async-functions babel-plugin-tranform-async-to-generator复制代码

现在假设我们想运行我们之前的例子(称为index.js)。我们需要通过以下命令启动:

node_modules/.bin/babel-node --plugins "syntax-async-functions,transform-async-to-generator" index.js复制代码

这样,我们使用支持async await的转换器动态地转换源代码。Node.js运行的实际是保存在内存中的往后兼容的代码。

Babel也能被配置为一个代码构建工具,保存翻译或解释后的代码到本地文件系统中,便于我们部署和运行生成的代码。

关于如何安装和配置Babel,可以到官方网站 babeljs.io 查阅相关文档。

几种方式的比较

现在,我们应该对于怎么处理JavaScript的异步问题有了一个更好的认识和总结。在下面的表格中总结几大机制的优势和劣势:

值得一提的是,我们选择在本章中仅介绍处理异步控制流程的最受欢迎的解决方案,或者是广泛使用的解决方案,但是例如Fibers( npmjs.org/package/fib… )和Streamline( npmjs.org/p ackage/streamline )也是值得一看的。

总结

在本章中,我们分析了一些处理异步控制流的方法,分析了PromiseGenerator函数和即将到来的async await语法。

我们学习了如何使用这些方法编写更简洁,更具有可读性的异步代码。我们讨论了这些方法的一些最重要的优点和缺点,并认识到即使它们非常有用,也需要一些时间来掌握。这就是这几种方式也没有完全取代在许多情况下仍然非常有用的回调的原因。作为一名开发人员,应该按照实际情况分析决定使用哪种解决方案。如果您正在构建执行异步操作的公共库,则应该提供易于使用的API,即使对于只想使用回调的开发人员也是如此。

在下一章中,我们将探讨另一个与异步代码执行相关的机制,这也是整个Node.js生态系统中的另一个基本构建块:streams

你可能感兴趣的:(《Node.js设计模式》基于ES2015+的回调控制流)