【源码】koa-compose洋葱模型原理解析---函数多层调用怎么写更优雅?

本文主要是介绍【源码】koa-compose洋葱模型原理解析---函数多层调用怎么写更优雅?,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

资料准备
  • 【若川】koa 洋葱模型实现:https://juejin.cn/post/7005375860509245471
  • 【函数式编程指北】:https://llh911001.gitbooks.io/mostly-adequate-guide-chinese/content/ch5.html
  • https://www.yuque.com/docs/share/0268760e-60bf-4278-871e-c1e83a68be7a
学习目标
  • 全程尝试调试并且记录
  • 知道什么是koa洋葱模型
源码解析
git clone https://github.com/lxchuan12/koa-compose-analysis.git
cd koa-compose/compose
npm i
compose/index.js
'use strict'/*** Expose compositor.* 导出 compose*/module.exports = compose/*** Compose `middleware` returning* a fully valid middleware comprised* of all those which are passed.* @param {Array} middleware* @return {Function}* @api public** 接收一个 是中间件 这个参数是数组, 并且每一项是函数* 返回一个函数 接收`content` 和 `next`俩参数,最后返回一个promise*/function compose (middleware) {// 校验参数如果不是数组,抛出错误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!')}/*** @param {Object} context* @return {Promise}* @api public* 返回一个函数 接收`content` 和 `next`俩参数,最后返回一个promise*/return function (context, next) {// last called middleware #// 默认执行 `dispatch(0)`let index = -1return dispatch(0)function dispatch (i) {// 一个函数不能多次调用// 第一次 i 为 0 index 为 -1 可以继续走下去 此时index 为 0;// 那么在走一遍 i此时还是0 index 也为0 i == index 抛出错误if (i <= index) return Promise.reject(new Error('next() called multiple times'))index = i// 拿出数组中的每一项(获取中间件函数)let fn = middleware[i]// `next`是`undefined` 当相等的时候:`fn` 就是`undefined`// 相等的时候相当于已经把`middleware`这个数组中最后一个已经拿出来了if (i === middleware.length) fn = next// 所以直接返回`promise` 的 `resolve`if (!fn) return Promise.resolve()/*** 阅读到此时不太理解 `fn(context, dispatch.bind(null, i + 1))`* 逐个解读:* + `bind` 函数返回一个新函数* + 参数1代表 `this`,如果函数不需要使用`this`,会写成`null`* + 参数2就是要传的数据* 在此处`i + 1` 对应的代码应该是 `let fn = middleware[i]` 为了获取`middleware`中下一个中间件函数* 那么是否猜测可以理解为下一个 即`next`,`bind` 返回的是一个新函数* 那么此时 是否可以理解为:* 假设:中间件数组为[fn0, fn1, fn2]; (fn0 就是中间件【传入的参数数组】中的第一个函数)* ```* fn0(context, next) {*  return Promise.resolve(fn1(context,next) {*    return Promise.resolve(fn2(content, next) {*        //......一直到 `!fn`*        return Promise.resolve();*        // 此时也不再走 `next`函数*    })*  })* }* ```* 但是一切是靠字面意思猜测,待调试的时候见真知* 此时有没有发现,分析完竟然吧所有的中间件都串起来了,此时可以理解为这就是 洋葱模型*/try {return Promise.resolve(fn(context, dispatch.bind(null, i + 1)))} catch (err) {return Promise.reject(err)}}}
}
调试前去了解一下含义吧

在这里插入图片描述

什么是洋葱🧅模型

假如你手里有一支牙签,横向穿过一个洋葱,是不是会层层穿透?从第一层进去、到第二层、第三次…然后到中间层后,再层层穿透的出,从第三层出、第二层、第一层…
这就是洋葱模型,就如分析的上方代码一样将中间件一个个获取出来。

初步了解了含义,那么就调试来感受吧
  1. 找到 koa-compose-analysis/compose/test/test.js
    在这里插入图片描述
    在这里插入图片描述
  • 1.继续(F5): 点击后代码会直接执行到下一个断点所在位置,如果没有下一个断点,则认为本次代码执行完成。
  • 2.单步跳过(F10):点击后会跳到当前代码下一行继续执行,不会进入到函数内部。
  • 3.单步调试(F11):点击后进入到当前函数的内部调试,比如在 compose 这一行中执行单步调试,会进入到 compose 函数内部进行调试。
  • 4.单步跳出(Shift + F11):点击后跳出当前调试的函数,与单步调试对应。
  • 5.重启(Ctrl + Shift + F5):顾名思义。
  • 6.断开链接(Shift + F5):顾名思义。
  1. 45行处调用了compose 在这里插入图片描述
  2. 进入compose这个函数中。可以看到,传入的参数 , 与上方看的源码的意思一样,继续往下看~
  • compose函数的流程如下:
  • 1.验证middleware参数是否是一个数组
  • 2.验证middleware参数里面的每一个元素是否为一个函数
  • 3.返回一个函数,接受两个参数,一个context, 一个next
    在这里插入图片描述
  1. 走到从此判断,返回了一个函数在这里插入图片描述5. 接着点击继续 就跳到了此处,那么重新进入此函数看看接下来是怎么运作的~在这里插入图片描述
  2. 此时进入了dispatchdispatch主要干的事情就是:
  • 1.判断函数不能多次调用,
  • 2.更新 index的值
  • 3.拿出中间件的每一项值,赋值给fn
  • 4.直到判断出fnundeifined ,返回一个resolvepromise
  • 5.否则调用fn, context值为最初的context, nextdispatch.bind(null, i + 1),也就是继续调用dispath方法,参数为i+1
  • 6.这里面注意一下,给bind传第一参数null, 函数内的this会指向默认宿主对象。在这里插入图片描述
  1. 当i=0时,fn指向middleware数组中的第1个元素在这里插入图片描述
    继续往下走,就在截图此处打一个断点
    在这里插入图片描述
    当i=1时,fn指向middleware数组中的第2个元素
    在这里插入图片描述
    当i=2的时候的情况:
    在这里插入图片描述
    当i=3的时候,fn为undefined的情况:
    在这里插入图片描述
    再来看看这块:
    在这里插入图片描述

这块的代码输出是[1,2,3,4,5,6],
为什么呢?
答案就是:加载完所有中间件后,输出[1,2,3],调用next()后执行完当前中间件,然后把执行权交给上一层中间件。借用一张非常经典的图。
在这里插入图片描述

为了方便理解回忆在看一个 koademo

const Koa = require('koa');const app = new Koa();
const PORT = 3000;// #1
app.use(async (ctx, next)=>{console.log(1)await next();console.log(1)
});
// #2
app.use(async (ctx, next) => {console.log(2)await next();console.log(2)
})app.use(async (ctx, next) => {console.log(3)
})app.listen(PORT);
console.log(`http://localhost:${PORT}`);
1
2
3
2
1
测试技巧
  • 在it后面加上一个only来只执行这一个测试

it.only('should work', async () => {})

  • 在it后面加上一个skip来跳过这个测试

it.skip('should work', async () => {})

  • 继续(F5): 点击后代码会直接执行到下一个断点所在位置,如果没有下一个断点,则认为本次代码执行完成。
  • 单步跳过(F10):点击后会跳到当前代码下一行继续执行,不会进入到函数内部。
  • 单步调试(F11):点击后进入到当前函数的内部调试,比如在 compose 这一行中执行单步调试,会进入到 compose 函数内部进行调试。
  • 单步跳出(Shift + F11):点击后跳出当前调试的函数,与单步调试对应。
  • 重启(Ctrl + Shift + F5):顾名思义。
  • 断开链接(Shift + F5):顾名思义。
现实中函数多层调用时的处理方法
  • 知识点:在函数式编程当中有一个很重要的概念就是函数组合, 实际上就是把处理数据的函数像管道一样连接起来, 然后让数据穿过管道得到最终的结果。

多层函数嵌套的运行结果,即把前一个函数的运行结果赋值给后一个函数。但是如果需要嵌套多层函数,那这种类似于f(g(h(x)))的写法可读性太差,我们考虑能不能写成(f, g, h)(x)这种简单直观的形式,于是compose()函数就正好帮助我们实现。compose的缺点:不能直观的看到参数

function getId(id) {// 一些处理// console.log(id, 'id1');return id
}function getData(id) {// 一些处理// console.log(id, 'id2');let data = id * 10;return data
}function formatData(data) {// 一些处理// console.log(data, 'data')let formatdata = data / 2;// console.log(formatdata, 'formatdata')return formatdata
}
const result = formatData(getData(getId(5)))
console.log(result)
//用compose 思想
const arr = [getId, getData, formatData];
const result = compose(arr)(3);
console.log(result, 'result') // 15,result
简易
function compose(funcs) {if (!Array.isArray(funcs)) throw new TypeError('Middleware stack must be an array!')// 遍历这个参数数组for (const fn of funcs) {// 校验数组中的每一项是不是函数if (typeof fn !== 'function') throw new TypeError('Middleware must be composed of functions!')}return function (...args) {//=>args:第一次调用函数传递的参数集合let len = funcs.length;if (len === 0) {//=>一个函数都不需要执行,直接返回参数argsreturn args;}if (len === 1) {//=>只需要执行第一个函数,把函数执行,把其结果返回即可return funcs[0](...args);}return funcs.reduce((x, y) => {// console.log('--x--', x)// console.log('--y--', y)return typeof x === "function" ? y(x(...args)) : y(x)});};
}
总结归纳
  • 本次很完整的进行了调试,以前都是console,现在第一反应就是调试。
  • 通过尝试写例子,对这次的知识点了解更深
  • 写笔记跟看过就是俩回事啊,在我这里,不写真的等于不会
  • 我写例子调试的网站jsRun
  • 坚持就是胜利!

这篇关于【源码】koa-compose洋葱模型原理解析---函数多层调用怎么写更优雅?的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/351409

相关文章

Java编译生成多个.class文件的原理和作用

《Java编译生成多个.class文件的原理和作用》作为一名经验丰富的开发者,在Java项目中执行编译后,可能会发现一个.java源文件有时会产生多个.class文件,从技术实现层面详细剖析这一现象... 目录一、内部类机制与.class文件生成成员内部类(常规内部类)局部内部类(方法内部类)匿名内部类二、

使用Jackson进行JSON生成与解析的新手指南

《使用Jackson进行JSON生成与解析的新手指南》这篇文章主要为大家详细介绍了如何使用Jackson进行JSON生成与解析处理,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1. 核心依赖2. 基础用法2.1 对象转 jsON(序列化)2.2 JSON 转对象(反序列化)3.

Springboot @Autowired和@Resource的区别解析

《Springboot@Autowired和@Resource的区别解析》@Resource是JDK提供的注解,只是Spring在实现上提供了这个注解的功能支持,本文给大家介绍Springboot@... 目录【一】定义【1】@Autowired【2】@Resource【二】区别【1】包含的属性不同【2】@

Kotlin 作用域函数apply、let、run、with、also使用指南

《Kotlin作用域函数apply、let、run、with、also使用指南》在Kotlin开发中,作用域函数(ScopeFunctions)是一组能让代码更简洁、更函数式的高阶函数,本文将... 目录一、引言:为什么需要作用域函数?二、作用域函China编程数详解1. apply:对象配置的 “流式构建器”最

SpringCloud动态配置注解@RefreshScope与@Component的深度解析

《SpringCloud动态配置注解@RefreshScope与@Component的深度解析》在现代微服务架构中,动态配置管理是一个关键需求,本文将为大家介绍SpringCloud中相关的注解@Re... 目录引言1. @RefreshScope 的作用与原理1.1 什么是 @RefreshScope1.

Java并发编程必备之Synchronized关键字深入解析

《Java并发编程必备之Synchronized关键字深入解析》本文我们深入探索了Java中的Synchronized关键字,包括其互斥性和可重入性的特性,文章详细介绍了Synchronized的三种... 目录一、前言二、Synchronized关键字2.1 Synchronized的特性1. 互斥2.

Python中随机休眠技术原理与应用详解

《Python中随机休眠技术原理与应用详解》在编程中,让程序暂停执行特定时间是常见需求,当需要引入不确定性时,随机休眠就成为关键技巧,下面我们就来看看Python中随机休眠技术的具体实现与应用吧... 目录引言一、实现原理与基础方法1.1 核心函数解析1.2 基础实现模板1.3 整数版实现二、典型应用场景2

Python实现无痛修改第三方库源码的方法详解

《Python实现无痛修改第三方库源码的方法详解》很多时候,我们下载的第三方库是不会有需求不满足的情况,但也有极少的情况,第三方库没有兼顾到需求,本文将介绍几个修改源码的操作,大家可以根据需求进行选择... 目录需求不符合模拟示例 1. 修改源文件2. 继承修改3. 猴子补丁4. 追踪局部变量需求不符合很

Java的IO模型、Netty原理解析

《Java的IO模型、Netty原理解析》Java的I/O是以流的方式进行数据输入输出的,Java的类库涉及很多领域的IO内容:标准的输入输出,文件的操作、网络上的数据传输流、字符串流、对象流等,这篇... 目录1.什么是IO2.同步与异步、阻塞与非阻塞3.三种IO模型BIO(blocking I/O)NI

Python 中的异步与同步深度解析(实践记录)

《Python中的异步与同步深度解析(实践记录)》在Python编程世界里,异步和同步的概念是理解程序执行流程和性能优化的关键,这篇文章将带你深入了解它们的差异,以及阻塞和非阻塞的特性,同时通过实际... 目录python中的异步与同步:深度解析与实践异步与同步的定义异步同步阻塞与非阻塞的概念阻塞非阻塞同步