大家好,我是渔夫子。本号新推出「Go工具箱」系列,意在给大家分享应用go语言编写的、实用的、好玩的工具。同时理解其底层的实现原理,以便更深刻地理解Go语言。
大家在应用iris框架搭建web零碎时,肯定会用到中间件。那么你理解中间件的运行机制吗?你晓得为什么在iris和gin框架的申请处理函数中要加c.Next()函数吗?本文就和大家一起探索该问题的答案。
一、中间件的根本应用
在web开发中,中间件起着很重要的作用。比方,身份验证、权限认证、日志记录等。以下就是各框架对中间件的根本应用。
1.1 iris框架中间件的应用
package mainimport ( "github.com/kataras/iris/v12" "github.com/kataras/iris/v12/context" "github.com/kataras/iris/v12/middleware/recover")func main() { app := iris.New() //通过use函数应用中间件recover app.Use(recover.New()) app.Get("/home",func(ctx *context.Context) { ctx.Write([]byte("Hello Wolrd")) }) app.Listen(":8080")}
1.2 gin框架中应用中间件
package mainimport ( "github.com/gin-gonic/gin")func main() { g := gin.New() // 通过Use函数应用中间件 g.Use(gin.Recovery()) g.GET("/", func(ctx *gin.Context){ ctx.Writer.Write([]byte("Hello World")) }) g.Run(":8000")}
1.3 echo框架中应用中间件示例
package mainimport ( v4echo "github.com/labstack/echo/v4" "github.com/labstack/echo/v4/middleware")func main() { e := v4echo.New() // 通过use函数应用中间件Recover e.Use(middleware.Recover()) e.GET("/home", func(c v4echo.Context) error { c.Response().Write([]byte("Hello World")) return nil }) e.Start(":8080")}
首先咱们看下三个框架中应用中间件的共同点:
- 都是应用
Use
函数来应用中间件 - 都内置了
Recover
中间件 - 都是先执行中间件
Recover
的逻辑,而后再输入Hello World
接下来咱们持续剖析中间件的具体实现。
二、中间件的实现
2.1 iris中间件实现
2.1.1 iris框架中间件类型
首先,咱们看下Use函数的签名,如下:
func (api *APIBuilder) Use(handlers ...context.Handler) { api.middleware = append(api.middleware, handlers...)}
在该函数中,handlers是一个不定长参数,阐明是一个数组。参数类型是context.Handler,咱们再来看context.Handler的定义如下:
type Handler func(*Context)
这个类型是不是似曾相识。是的,在注册路由时定义的申请处理器也是该类型。如下:
func (api *APIBuilder) Get(relativePath string, handlers ...context.Handler) *Route { return api.Handle(http.MethodGet, relativePath, handlers...)}
总结:在iris框架上中间件也是一个申请处理器。通过Use函数应用中间件,实际上是将该中间件对立退出到了api.middleware切片中。该切片咱们在前面再深入研究。
2.1.2 iris中自定义中间件
理解了中间件的类型,咱们就能够依据其规定来定义本人的中间件了。如下:
import "github.com/kataras/iris/v12/context"func CustomMiddleware(ctx *context.Context) { fmt.Println("this is the custom middleware") // 具体的解决逻辑 ctx.Next()}
当然,为了代码格调对立,也能够相似Recover中间件那样定义个包,而后定义个New函数,New函数返回的是一个中间件函数,如下:
package CustomMiddleware func New() context.Handler { return func(ctx *context.Context) { fmt.Println("this is the custom middleware") // 具体的解决逻辑 ctx.Next() }}
到此为止,你有没有发现,无论是自定义的中间件,还是iris框架中已存在的中间件,在最初都有一行ctx.Next()代码。那么,该为什么要有这行代码呢? 通过函数名能够看到执行下一个申请处理器。 再联合咱们在应用Use函数应用中间件的时候,是把该中间件处理器退出到了一个切片中。所以,Next和申请处理器切片是有关系的。这个咱们在下文的运行机制局部具体解释。
2.2 gin中间件的实现
2.2.1 gin框架中间件类型
同样先查看gin的Use函数的签名和实现,如下:
func (engine *Engine) Use(middleware ...HandlerFunc) IRoutes { engine.RouterGroup.Use(middleware...) engine.rebuild404Handlers() engine.rebuild405Handlers() return engine}
在gin框架的Use函数中,middleware
也是一个不定长的参数,其参数类型是HandlerFunc
。而HandlerFunc
的定义如下:
type HandlerFunc func(*Context)
同样,在gin框架中注册路由时指定的申请处理器的类型也是HandlerFunc,即func(*Context)。咱们再看Use中的第2行代码engine.RouterGroup.Use(middleware...)的实现:
func (group *RouterGroup) Use(middleware ...HandlerFunc) IRoutes { group.Handlers = append(group.Handlers, middleware...) return group.returnObj()}
同样,也是将中间件退出到了路由的Handlers切片中。
总结:在gin框架中,中间件也是一个申请处理函数。通过Use函数应用中间件,实际上也是将该中间件对立退出到了group.Handlers切片中。
2.2.2 gin中自定义中间件
理解了gin的中间件类型,咱们就能够依据其规定来定义本人的中间件了。如下:
import "github.com/gin-gonic/gin"func CustomMiddleware(ctx *gin.Context) { fmt.Println("this is gin custom middleware") // 解决逻辑 ctx.Next()}
当然,为了代码格调对立,也能够相似Recover中间件那样返回一个,而后定义个New函数,New函数返回的是一个中间件函数,如下:
func CustomMiddleware() gin.HandlerFunc { return func(ctx *gin.Context) { fmt.Println("this is gin custom middleware") // 解决逻辑 ctx.Next() }}
同样,在gin的中间件中,代码的最初一行也是ctx.Next()
函数。如果不要这行代码行不行呢?和iris的情理是一样的,咱们也在下文的运行机制中解说。
2.3 echo框架中间件的实现
2.3.1 echo框架中间件类型
func (e *Echo) Use(middleware ...MiddlewareFunc) { e.middleware = append(e.middleware, middleware...)}
在echo框架中,Use函数中的middleware参数也是一个不定长参数,阐明能够增加多个中间件。其类型是MiddlewareFunc。如下是MiddewareFunc类型的定义:
type MiddlewareFunc func(next HandlerFunc) HandlerFunc
这个中间件的函数类型跟iris和gin的不一样。该函数类型接管一个HandlerFunc,并返回一个HanderFunc。而HanderFunc的定义如下:
HandlerFunc func(c Context) error
HanderFunc类型才是指定路由时的申请处理器类型。咱们再看下echo框架中Use的实现,也是将middleware退出到了一个全局的切片中。
总结:在echo框架中,中间件是一个输出申请处理器,并返回一个新申请处理器的函数类型。这是和iris和gin框架不一样的中央。通过Use函数应用中间件,也是将该中间件对立退出到全局的中间件切片中。
2.3.2 echo中自定义中间件
理解了echo的中间件类型,咱们就能够依据其规定来定义本人的中间件了。如下:
import ( v4echo "github.com/labstack/echo/v4")func CustomMiddleware(next v4echo.HandlerFunc) v4echo.HandlerFunc { return func(c v4echo.Context) error { fmt.Println("this is echo custom middleware") // 中间件解决逻辑 return next(c) }}
这里中间件的实现看起来比较复杂,做下简略的解释。依据下面可知,echo的中间件类型是输出一个申请处理器,而后返回一个新的申请处理器。在该函数中,从第6行到第10行该函数其实是中间件的执行逻辑。第9行的next(c)实际上是要执行下一个申请处理器的逻辑,相似于iris和gin中的ctx.Next()函数。 实质上是用一个新的申请处理器(返回的申请处理器)包装了一下旧的申请处理器(输出的next申请处理器)。
中间件的定义和应用都介绍了。那么,中间件和具体路由中的申请处理器是如何协同工作的呢?上面咱们介绍中间件的运行机制。
三、中间件的运行机制
3.1 iris中间件的运行机制
依据上文介绍,咱们晓得应用iris.Use函数之后,是将中间件退出到了APIBuilder构造体的middleware切片中。那么,该middleware是如何和路由中的申请处理器相结合的呢?咱们还是从注册路由开始看。
app.Get("/home",func(ctx *context.Context) { ctx.Write([]byte("Hello Wolrd")) })
应用Get函数指定一个路由。该函数的第二个参数就是对应的申请处理器,咱们称之为handler。而后,查看Get的源代码,始终到APIBuilder.handle函数,在该函数中有创立的路由的逻辑,如下:
routes := api.createRoutes(errorCode, []string{method}, relativePath, handlers...)
在api.createRoutes函数的入参中,咱们只需关注handlers,该handlers即是在app.Get中传递的handler。持续进入api.createRoutes函数中,该函数是创立路由的逻辑。其实现如下:
func (api *APIBuilder) createRoutes(errorCode int, methods []string, relativePath string, handlers ...context.Handler) []*Route { //...省略代码 var ( // global middleware to error handlers as well. beginHandlers = api.beginGlobalHandlers doneHandlers = api.doneGlobalHandlers ) if errorCode == 0 { beginHandlers = context.JoinHandlers(beginHandlers, api.middleware) doneHandlers = context.JoinHandlers(doneHandlers, api.doneHandlers) } else { beginHandlers = context.JoinHandlers(beginHandlers, api.middlewareErrorCode) } mainHandlers := context.Handlers(handlers) //...省略代码 routeHandlers := context.JoinHandlers(beginHandlers, mainHandlers) // -> done handlers routeHandlers = context.JoinHandlers(routeHandlers, doneHandlers) //...省略代码 routes := make([]*Route, len(methods)) // 构建routes对应的handler for i, m := range methods { // single, empty method for error handlers. route, err := NewRoute(api, errorCode, m, subdomain, path, routeHandlers, *api.macros) // ...省略代码 routes[i] = route } return routes}
这里省略了大部分的代码,只关注和中间件及对应的申请处理器相干的逻辑。从实现上来看,能够得悉:
- 首先看第12行,将全局的beginGlobalHandlers(即beginHandlers)和中间件api.middleware进行合并。这里的api.middleware就是咱们结尾处应用Use函数退出的中间件。
- 再看第18行和22行,18行是将路由的申请处理器转换成了切片 []Handler切片。这里的handlers就是应用Get函数进行注册的路由。22行是将beginHandlers和mainHandlers进行合并,能够简略的认为是将api.middlewares和路由注册时的申请处理器进行了合并。这里须要留神的是,通过合并申请处理器,中间件的处理器排在后面,具体的路由申请处理器排在了前面。
- 再看第24行,将合并后的申请处理器再和全局的doneHandlers进行合并。这里可暂且认为doneHandlers为空。
依据以上逻辑,对于一个具体的路由来说,其对应的申请处理器不仅仅是本人指定的那个,而是造成如下程序的一组申请处理器:
接下来,咱们再看在路由匹配过程中,即匹配到了具体的路由后,这一组申请处理器是如何执行的。
在iris中,路由匹配的过程是在文件的/iris/core/router/handler.go
文件中的routerHandler
构造体的HandleRequest函数
中执行的。如下:
func (h *routerHandler) HandleRequest(ctx *context.Context) { method := ctx.Method() path := ctx.Path() // 省略代码... for i := range h.trees { t := h.trees[i] // 省略代码... // 依据门路匹配具体的路由 n := t.search(path, ctx.Params()) if n != nil { ctx.SetCurrentRoute(n.Route) // 这里是找到了路由,并执行具体的申请逻辑 ctx.Do(n.Handlers) // found return } // not found or method not allowed. break } ctx.StatusCode(http.StatusNotFound)}
在匹配到路由后,会执行该路由对应的申请处理器n.Handlers,这里的Handlers就是下面提到的那组蕴含中间件的申请处理器数组。咱们再来看ctx.Do函数的实现:
func (ctx *Context) Do(handlers Handlers) { if len(handlers) == 0 { return } ctx.handlers = handlers handlers[0](ctx)}
这里看到在第7行中,首先执行第1个申请处理器。到这里是不是有疑难:handlers既然是一个切片,那前面的申请处理器是如何执行的呢?这里就波及到在每个申请处理器中都有一个ctx.Next函数了。咱们再看下ctx.Nex函数的实现:
func (ctx *Context) Next() { // ...省略代码 nextIndex, n := ctx.currentHandlerIndex+1, len(ctx.handlers) if nextIndex < n { ctx.currentHandlerIndex = nextIndex ctx.handlers[nextIndex](ctx) }}
这里咱们看第11行到15行的代码。在ctx
中有一个以后执行到哪个handler的下标currentHandlerIndex
,如果还有未执行完的hander
,则继续执行下一个,即ctx.handlers[nextIndex](ctx)
。这也就是为什么在每个申请处理器中都应该加一行ctx.Next的起因。如果不加改行代码,则就执行不到后续的申请处理器。
残缺的执行流程如下:
3.2 gin中间件运行机制
因为gin和iris都是应用数组来存储中间件,所以中间件运行的机制实质上是和iris一样的。也是在注册路由时,将中间件的申请处理器和路由的申请处理器进行合并后作为该路由的最终的申请处理器组。在匹配到路由后,也是通过先执行申请处理器组的第一个处理器,而后调用ctx.Next()函数进行迭代调用的。
然而,gin的申请处理器比较简单,只有中间件和路由指定的申请处理器组成。咱们还是从路由注册指定申请处理器开始,如下
g.GET("/", func(ctx *gin.Context){ ctx.Writer.Write([]byte("Hello World")) })
进入GET的源代码,直到进入到/gin/routergroup.go文件中的handle源码,如下:
func (group *RouterGroup) handle(httpMethod, relativePath string, handlers HandlersChain) IRoutes { absolutePath := group.calculateAbsolutePath(relativePath) handlers = group.combineHandlers(handlers) group.engine.addRoute(httpMethod, absolutePath, handlers) return group.returnObj()}
在该函数中咱们能够看到第3行处是将group.combineHandlers(handlers),由名字可知是对申请处理器进行组合。咱们进入持续查看:
func (group *RouterGroup) combineHandlers(handlers HandlersChain) HandlersChain { finalSize := len(group.Handlers) + len(handlers) assert1(finalSize < int(abortIndex), "too many handlers") mergedHandlers := make(HandlersChain, finalSize) copy(mergedHandlers, group.Handlers) copy(mergedHandlers[len(group.Handlers):], handlers) return mergedHandlers}
在第5行,是先将group.Handlers即中间件退出到mergedHandlers,而后再第6行再将路由具体的handlers退出到mergedHandlers,最初将组合好的mergedHandlers作为该路由最终的handlers。如下:
接下来,咱们再看在路由匹配过程中,即匹配到了具体的路由后,这一组申请处理器是如何执行的。
在gin中,路由匹配的逻辑是在/gin/gin.go文件的Engine.handleHTTPRequest函数中,如下:
func (engine *Engine) handleHTTPRequest(c *Context) { httpMethod := c.Request.Method rPath := c.Request.URL.Path // ...省略代码 t := engine.trees for i, tl := 0, len(t); i < tl; i++ { // ...省略代码 root := t[i].root // Find route in tree value := root.getValue(rPath, c.params, c.skippedNodes, unescape) //...省略代码 if value.handlers != nil { c.handlers = value.handlers c.fullPath = value.fullPath c.Next() c.writermem.WriteHeaderNow() return } // ...省略代码 break } // ...省略代码}
匹配路由以及执行对应路由解决的逻辑是在第13行到18行。在第14行,首先将匹配到的路由的handlers(即中间件+具体的路由处理器)赋值给上下文c,而后执行c.Next()函数。c.Next()函数如下:
func (c *Context) Next() { c.index++ for c.index < int8(len(c.handlers)) { c.handlers[c.index](c) c.index++ }}
在Next函数
中间接就是应用下标c.index
进行循环handlers
的执行。这里须要留神的是c.index
是从-1开始的。所以先进行c.index++
则初始值就是0。整体执行流程如下:
3.3 echo中间件的运行机制
依据上文介绍,咱们晓得应用echo.Use函数来注册中间件,注册的中间件是放到了Echo构造体的middleware切片中。那么,该middleware是如何和路由中的申请处理器相结合的呢?咱们还是从注册路由开始看。
e.GET("/home", func(c v4echo.Context) error { c.Response().Write([]byte("Hello World")) return nil })
应用Get函数指定一个路由。该函数的第二个参数就是对应的申请处理器,咱们称之为handler。当然,在该函数中还有第三个可选的参数是针对该路由的中间件的,其原理和全局的中间件是一样的。
echo框架的中间件和路由的处理器联合并是在路由注册的时候进行的,而是在匹配到路由后才联合的。其逻辑是在Echo的ServeHTTP函数中,如下:
func (e *Echo) ServeHTTP(w http.ResponseWriter, r *http.Request) { // Acquire context c := e.pool.Get().(*context) c.Reset(r, w) var h HandlerFunc if e.premiddleware == nil { e.findRouter(r.Host).Find(r.Method, GetPath(r), c) h = c.Handler() h = applyMiddleware(h, e.middleware...) } else { h = func(c Context) error { e.findRouter(r.Host).Find(r.Method, GetPath(r), c) h := c.Handler() h = applyMiddleware(h, e.middleware...) return h(c) } h = applyMiddleware(h, e.premiddleware...) } // Execute chain if err := h(c); err != nil { e.HTTPErrorHandler(err, c) } // Release context e.pool.Put(c)}
在该函数的第10行或第18行。咱们接着看第10行中的applyMiddleware(h, e.middleware...)函数的实现:
func applyMiddleware(h HandlerFunc, middleware ...MiddlewareFunc) HandlerFunc { for i := len(middleware) - 1; i >= 0; i-- { h = middleware[i](h) } return h}
这里的h是注册路由时指定的申请处理器。middelware就是应用Use函数注册的所有的中间件。这里实际上循环对h进行层层包装。 索引i从middleware切片的最初一个元素开始执行,这样就实现了先试用Use函数注册的中间件先执行。
这里的实现跟应用数组实现不太一样。咱们以应用Recover中间件为例看下具体的嵌套过程。
package mainimport ( v4echo "github.com/labstack/echo/v4" "github.com/labstack/echo/v4/middleware")func main() { e := v4echo.New() // 通过use函数应用中间件Recover e.Use(middleware.Recover()) e.GET("/home", func(c v4echo.Context) error { c.Response().Write([]byte("Hello World")) return nil }) e.Start(":8080")}
这里的Recover中间件实际上是如下函数:
func(next echo.HandlerFunc) echo.HandlerFunc { return func(c echo.Context) error { if config.Skipper(c) { return next(c) } defer func() { // ...省略具体逻辑代码 }() return next(c) }}
而后路由对应的申请处理器咱们假如是h:
func(c v4echo.Context) error { c.Response().Write([]byte("Hello World")) return nil}
那么,执行applyMiddleware函数,则后果执行了Recover函数,传给Recover函数的next参数的值是h(即路由注册的申请处理器),如下:
那么新的申请处理器就变成了如下:
func(c echo.Context) error { if config.Skipper(c) { return next(c) } defer func() { // ...省略具体逻辑代码 }() return h(c) // 这里的h就是路由注册的申请解决}
你看,最终还是个申请处理器的类型。这就是echo框架中间件的包装原理:返回一个新的申请处理器,该处理器的逻辑是 中间件的逻辑 + 输出的申请解决的逻辑。其实这个也是经典的pipeline模式。如下:
四、总结
本文剖析了gin、iris和echo支流框架的中间件的实现原理。其中gin和iris是通过遍历切片的形式实现的,构造也比较简单。而echo是通过pipeline模式实现的。置信通过本篇文章,你对中间件的运行原理有了更深的了解。
---特地举荐---
特地举荐:一个专一go我的项目实战、我的项目中踩坑教训及避坑指南、各种好玩的go工具的公众号,「Go学堂」,专一实用性,十分值得大家关注。点击下方公众号卡片,间接关注。关注送《100个go常见的谬误》pdf文档。