最近经常使用koa进行服务端开发，迷恋上了koa的洋葱模型，觉得这玩意太好用了。而且koa是以精简为主，没有很多集成东西，所有的东西都需按需加载，这个更是太合我胃口了哈哈哈哈。
相对与express的中间件，express的中间件使用的是串联，就像冰糖葫芦一样一个接着一个，而koa使用的V型结构（洋葱模型），这将给我们的中间件提供更加灵活的处理方式。
基于对洋葱模型的热衷，所以对koa的洋葱模型进行一探究竟，不管是koa1还是koa2的中间件都是基于koa-compose进行编写的，这种V型结构的实现就来源于koa-compose。
附上源码先：
function compose (middleware) {
// 参数middleware 是一个中间件数组，存放我们用app.use()一个个串联起来的中间件
// 判断中间件列表是否为数组，如果不为数组，则抛出类型错误
if (!Array.isArray(middleware)) throw new TypeError('Middleware stack must be an array!')
// 判断中间件是否为函数，如果不为函数，则抛出类型错误
for (const fn of middleware) {
if (typeof fn !== 'function') throw new TypeError('Middleware must be composed of functions!')
}
/**
1. @param {Object} context
2. @return {Promise}
3. @api public
*/
return function (context, next) {
// 这里next指的是洋葱模型的中心函数
// context是一个配置对象，保存着一些配置，当然也可以利用context将一些参数往下一个中间传递
// last called middleware #
let index = -1 // index是记录执行的中间件的索引
return dispatch(0) // 执行第一个中间件 然后通过第一个中间件递归调用下一个中间件
function dispatch (i) {
// 这里是保证同个中间件中一个next（）不被调用多次调用
// 当next()函数被调用两次的时候，i会小于index,然后抛出错误
if (i <= index) return Promise.reject(new Error('next() called multiple times'))
index = i
let fn = middleware[i] // 取出要执行的中间件
if (i === middleware.length) fn = next // 如果i 等于 中间件的长度，即到了洋葱模型的中心（最后一个中间件）
if (!fn) return Promise.resolve() // 如果中间件为空，即直接resolve
try {
// 递归执行下一个中间件 （下面会重点分析这个）
return Promise.resolve(fn(context, dispatch.bind(null, i + 1)));
} catch (err) {
return Promise.reject(err)
}
}
}
}
看到这里，如果下面的那些能够理解，那么下面的可以不用看的，还是不能理解的就继续往下看，详细一点的分析。
- 首先，我们用app.use()添加一个中间件，在koa的源码里app.use()这个方法就是将一个中间件push进middleware这个中间件列表里。源码里是这么写的（这个比较简单 不做分析）：
use(fn) {
if (typeof fn !== 'function') throw new TypeError('middleware must be a function!');
if (isGeneratorFunction(fn)) {
deprecate('Support for generators will be removed in v3. ' +
'See the documentation for examples of how to convert old middleware ' +
'https://github.com/koajs/koa/blob/master/docs/migration.md');
fn = convert(fn);
}
debug('use %s', fn._name || fn.name || '-');
this.middleware.push(fn);
return this;
}
compose这个方法传入一个中间件列表middleware，这个列表就是我们使用use()添加进去的方法列表，首先会判断列表是否为数组，中间件是否为方法，如果不是就直接抛出类型错误。
compose返回的是一个函数，这里使用闭包来缓存中间件列表，然后这个函数接收两个参数，第一个参数是context，是一个存放配置信息的对象。第二份参数是一个next方法，也是洋葱模型的中心或者说是V型模型的拐点。
创建一个index变量来保存执行的中间件索引，然后从第一个中间件开始开始递归执行。
let index = -1
return dispatch(0)
- dispatch方法就是执行中间件，先判断索引，如果i小于index那么说明在同一个中间件里执行了两次或两次以上的next函数，如果i>index则说明该中间件还未执行，那么将该中间件的所以记录下来
if (i <= index) return Promise.reject(new Error('next() called multiple times'))
index = i
- 取出该中间件，如果i等于中间件的长图，则说明执行到了洋葱模型的中心，则最后一个中间件，如果中间件为空，那么就直接resovle掉
let fn = middleware[i]
if(i === middleware.length){
fn = next
}
if(!fn){
return Promise.resolve()
}
- 到了最刺激的部分了，也是有点绕的部分了，首先为啥return的是一个Promise的对象（Promise.resolve也是一个promise对象）呢，因为我们await next()的时候,await是等待且执行一个async函数的完成，async会默认返回一个promise对象，所以这里return的是一个promise对象。我们在每个中间里面await mext() next()指的就是下一个中间件，也就是
fn(context, function next () {
return dispatch(i + 1)
})
所以我们上一个中的await 等待的就是dispatch(i+1)的执行完成，dispatch返回的是Promise.resolve(fn(context, function next () { xxxx }))，这样来看虽然一开始只执行了dispatch(0)，但是是由这个函数形成了一条执行链。
以三个中间件执行为例，dispatch（0）执行后就形成：
Promise.resolve( // 第一个中间件
function(context,next){ // 这里的next第二个中间件也就是dispatch(1)
// await next上的代码 （中间件1）
await Promise.resolve( // 第二个中间件
function(context,next){ // 这里的next第二个中间件也就是dispatch(2)
// await next上的代码 （中间件2）
await Promise.resolve( // 第三个中间件
function(context,next){ // 这里的next第二个中间件也就是dispatch(3)
// await next上的代码 （中间件3）
await Promise.resolve()
// await next下的代码 （中间件3）
}
)
// await next下的代码 （中间件2）
}
)
// await next下的代码 （中间件2）
}
)
先执行await上面的代码，然后等待最后一个中间件resolve一个个往上传递，这就形成了一个洋葱模型。
最后附上测试代码：
async function test1(ctx, next) {
console.log('中间件1上');
await next();
console.log('中间件1下');
};
async function test2(ctx, next) {
console.log('中间件2上');
await next();
console.log('中间件2下');
};
async function test3(ctx, next) {
console.log('中间件3上');
await next();
console.log('中间件3下');
};
let middleware = [test1, test2, test3];
let cp = compose(middleware);
cp('ctx', function() {
console.log('中心');
});
OK，到这里koa2的中间件核心（koa-compose）就解析完成了，一开始看的时候，也被绕了好久，多看几遍多分析一步一步捋顺。koa1的中间件等过几天有时间再补上吧，koa1是基于generator，源码比起koa2相对简单。
最近在看koa2源码，等有时间再继续更新koa一些源码的分析。
前端小学生（应届毕业生），如有错误或者其他想法的。欢迎指正交流~