Koa源码分析(二) -- co的实现

Abstract

本系列是关于Koa框架的文章,目前关注版本是Koa v1。主要分为以下几个方面:

  1. Koa源码分析(一) -- generator

  2. Koa源码分析(二) -- co的实现

  3. Koa源码分析(三) -- middleware机制的实现

co

大名鼎鼎的co是什么?它是TJ大神基于ES6的一些新特性开发的异步流程控制库,基于它所开发的koa被视为未来主流的web框架。

koa基于co实现,而co又是使用了ES6的generator和promise特性。如果还不理解,可以查看阮一峰老师的《ECMAScript 6 入门 --- Generator》《ECMAScript 6 入门 --- Promise》。目前co升级为4.X版本事,代码进行了一次颇有规模的重构,我们主要关注co(4.X)的实现思路和源码分析。

使用示例

co(function* (){
    var a = yield Promise.resolve('one');
    console.log(a);
    var b = yield Promise.reslove('two');
    console.log(b);
    return 'three';
}).then((value) => console.log(value));
// one
// two
// three
co(function* (){
    var res = yield [Promise.resolve(1), Promise.resolve(2), Promise.resolve(3)];
    return res;
}).then((value) => console.log(res));
// [1, 2, 3]

根据co的功能,它作为异步流程控制的作用,自动调用generator对象的next()方法,实现generator函数的运行,并返回最终运行的结果。

如果要涉及到co的实现细节,我们就会存在以下几个疑问:

  1. 如何依次调用next()方法

  2. 如何将yield后边运算异步结果返回给对应的变量

  3. co自身如何返回generator函数最后的return值

接下来我们正对以上问题,分析TJ大神的源码

源码解析

co源码的流程控制

function co(gen) {
    // 保持当前函数的上下文
    var ctx = this;
    // 截取co输入的参数,剔除arguments中的第一个参数,即gen对象,剩余参数作为gen的入参
    var args = slice.call(arguments, 1);
    
    // 返回一个Promise对象,即最外围Promise对象
    return new Promise(function(resolve, reject) {
        // 判断传入的gen是否为函数,若是则执行,将结果赋值给gen对象
        // 若不是,则不执行
        if (typeof gen === 'function') gen = gen.apply(ctx, args);
        // 根据generator函数执行结果是否存在next字段,判断gen是否为generator迭代器对象
        // 若不是,则调用resolve返回最外围Promise对象的状态
        if (!gen || typeof gen.next !== 'function') return resolve(gen);
        
        // 若是generator迭代器对象,开始控制gen.next()方法的调用
        onFulfilled();

        // 两个用途
        // 一、generator函数的执行入口
        // 二、当做所有内部Promise对象的resolve方法,处理异步结果,并继续调用下一个Promise
        function onFulfilled(res) {
            var ret;
            try {
                // gen运行至yield处被挂起,开始处理异步操作,并将异步操作的结果返回给ret.value
                ret = gen.next(res);
            } catch (e) {
                // 若报错,直接调用reject返回外围Promise对象的状态,并传出错误对象
                return reject(e);
            }
            // 将gen.next的执行结果传入next函数,实现依次串行调用gen.next方法
            next(ret);
            return null;
        }

        // 当做所有内部Promise对象的reject方法,处理异步结果,并继续调用下一个Promise
        function onRejected(err) {
            var ret;
            try {
                ret = gen.throw(err);
            } catch (e) {
                // 若报错,直接调用reject返回外围Promise对象的状态,并传出错误对象
                return reject(e);
            }
            // 将gen.throw的执行结果传入next函数,实现依次串行调用gen.next方法
            next(ret);
        }
        
        // 实现串行调用gen.next的核心
        function next(ret) {
            // 判断内部Promise是否全部执行完毕
            // 若执行完毕,直接调用resolve改变外围Promise的状态,并返回最终的return值[问题3]
            if (ret.done) return resolve(ret.value);
            // 若未执行完毕,调用toPromise方法将上一个Promise返回的值转化为Promise对象
            // 具体参见toPromise方法
            var value = toPromise.call(ctx, ret.value);
            // 根据value转化后的Promise对象的两个状态,执行下一个next方法
            if (value && isPromise(value)) return value.then(onFulfilled, onRejected);
            // 抛出不符合转化规则的类型的值
            return onRejected(new TypeError('You may only yield a function, promise, generator, array, or object, '
                + 'but the following object was passed: "' + String(ret.value) + '"'));
            }
        });
    }

源码分析完了,我们可以把co串行调用generator函数中yield的过程总结如下:

  1. 进入外围Promise

  2. 通过入口onFilfilled()方法,将generator函数运行至第一个yield处,执行该yield后边的异步操作,并将结果传入next方法

  3. 如果next中传入结果的done为true,则返回外围Promise的resolve

  4. 如果next中传入结果的done为true,则返回value(即yield后边的对象)是否可以转化为内部Promise对象。如无法转化,则抛出错误,返回外围Promise的reject

  5. 若能转化为Promise对象,将所有内部Promise并行执行,通过then(onFilfilled, onRejected)开始执行

  6. 在onFilfilled()或者onRejected()内部调用再次调用next()方法,实现串行执行yield,并肩yield后边的对象传递给next(),依次重复。

  7. 所有yield执行返回,将最后的return值返回给外围Promise的resovle方法,结束co对generator函数的调用

yield后面对象转化为Promise

能够在co中实现generator函数的逐步调用next()方法,转化为内部Promise将至关重要,而源码是如何转化的呢?哪些对象又是能够转化的呢?接下来,我们看下源码。

function toPromise(obj) {
    // 确保obj有意义
    if (!obj) return obj;
    // 若是Promise对象,则直接返回
    if (isPromise(obj)) return obj;
    // 若是generator函数或者generator对象,则传入一个新的co,并返回新co的外围Promise
    // 作为当前co的内部Promise,这样实现多层级调用
    if (isGeneratorFunction(obj) || isGenerator(obj)) return co.call(this, obj);
    // 若是函数,则返回thunk规范的函数
    if ('function' == typeof obj) return thunkToPromise.call(this, obj);
    // 若是数组,把数组中每个元素转化为内部Promise,返回Promise.all并行运算
    if (Array.isArray(obj)) return arrayToPromise.call(this, obj);
    // 若是对象,遍历对象中的每个key对应的value,转化成Promise.all并行运算
    if (isObject(obj)) return objectToPromise.call(this, obj);
    return obj;
}

function thunkToPromise(fn) {
  var ctx = this;
  return new Promise(function (resolve, reject) {
    fn.call(ctx, function (err, res) {
      if (err) return reject(err);
      if (arguments.length > 2) res = slice.call(arguments, 1);
      resolve(res);
    });
  });
}

function arrayToPromise(obj) {
    // Array.map并行计算返回每一个元素的Promise
    return Promise.all(obj.map(toPromise, this));
}

function objectToPromise(obj){
  var results = new obj.constructor();
  var keys = Object.keys(obj);
  var promises = [];
  for (var i = 0; i < keys.length; i++) {
    var key = keys[i];
    var promise = toPromise.call(this, obj[key]);
    if (promise && isPromise(promise)) defer(promise, key);
    else results[key] = obj[key];
  }
  // Promise链式调用,后续的then能偶获取此处的results
  return Promise.all(promises).then(function () {
    return results;
  });

  function defer(promise, key) {
    // key对应的元素成功转化为Promise对象后,构造这些Promise的resovle方法
    // 以便在results中获取每个Promise对象成功执行后结果
    results[key] = undefined;
    promises.push(promise.then(function (res) {
      results[key] = res;
    }));
  }
}

结合上述分析,我们可以得到,yield后面只能是函数、Promise对象、Generator函数、Generator迭代器对象、数组(元素仅限之前的4类)和Object(对应value仅限定之前的4类)

相关推荐