「Go 工具箱」一文读懂主流 web 框架中路由的实现原理
大家好,我是渔夫子。本号新推出「Go 工具箱」系列,意在给大家分享使用 go 语言编写的、实用的、好玩的工具。同时了解其底层的实现原理,以便更深入地了解 Go 语言。
一、什么是路由
路由,就是 url 地址到业务处理代码的映射。当用户输入一个 url 地址时,服务器该知道该用户返回什么内容。比如,当用户点击登录时,服务器应该做登录相关的事情,并给用户返回登录成功或失败的页面。当用户点击退出时,服务器应该做和退出相关的事情(比如清理用户登录的数据),并返回给用户退出之后的页面。
一个 url 到一个具体的处理函数之间的映射叫做一条路由。
多条路由组成路由表。路由表主要用于路由查找,根据不同的路由表的组织形式,可以有不同的查找方法。最简单的路由表就是使用 map。直接以 key-value 的形式进行匹配即可。
给定一个 url,找到对应的处理函数的过程叫做路由查找。路由器就是用来管理路由表以及进行路由查找的。
所以,在 web 系统中一个路由系统由路由、路由表、路由匹配三部分功能组成。
二、基于映射表的路由实现
go 内建标准包 net/http 中路由的实现是基于映射表实现的。也是最简单的路由实现。本节我们就来看来 http 请求的处理流程以及内建包默认的路由实现原理。
2.1 http 的处理流程
首先,我们来看下 http 包是如何处理请求的。通过以下代码我们就能启动一个 http 服务,并处理请求:
当我们输入 http://localhost:8000/的时候,就会走到 HomeHandler 的 ServeHTTP 方法,并返回 Hello World。
那这里为什么要给 HomeHandler 定义 ServeHTTP 方法呢?或者说为什么会走到 ServeHTTP 方法中呢?
我们顺着 http.ListenAndServe 方法的定义:
发现第二个参数是个 Handler 类型,而 Handler 是一个定义了 ServeHTTP 方法的接口类型:
似乎有了一点点关联,HomeHandler 类型也实现了 ServeHTTP 方法。但我们在 main 函数中调用http.ListenAndServe(":8000", nil)
的时候第二个参数传递的是 nil,那 HomeHandler 里的 ServeHTTP 方法又是如何被找到的呢?
我们接着再顺着源码一层一层的找下去可以发现,在/src/net/http/server.go 的第 1930 行有这么一段代码:
有个 serverHandler 结构体,包装了 c.server。这里的 c 是建立的 http 连接,而 c.server 就是在 http.ListenAndServe(":8000", nil)函数中创建的 server 对象:
server 中的 Handler 就是 http.ListenAndServe(":8000", nil)传递进来的 nil。
好,我们进入 serverHandler{c.server}.ServeHTTP(w, w.req)
函数中再次查看,就可以发现如下代码:
/src/net/http/server.go 的第 2859 行到 2862 行,就是获取到 server 中的 Handler,如果是 nil,则使用默认的 DefaultServeMux,然后调用了 hander.ServeHTTP 方法。
继续再看 DefaultServeMux 中的 ServeHTTP 方法,在/src/net/http/server.go 中的第 2416 行,发现有一行 h,_ := mux.Handler(r)和 h.ServeHTTP 方法。这就是通过请求的路径查找到对应的 handler,然后调用该 handler 的 ServeHTTP 方法。
在一开始的实例中,就是我们的 HomeHandler 的 ServeHTTP 方法。也就是说 ServeHTTP 方法是 net/http 包中规定好了要调用的,所以每一个页面处理函数都必须实现 ServeHTTP 方法。
同时也说明,net/http 包中的路由是在 DefaultServeMux 对象中实现的,该对象是一个 ServeMux 结构体类型,接下来我们看 ServeMux 路由的具体实现。
2.2 net/http 包中路由的实现
在 net/http 包中实现路由的机构提是 ServeMux,其结构定义如下。
结构体字段很简单,我们重点看 m 变量,是一个 map 类型,即 key-value 结构,就是我们所说的路由表。key 就是路由的路径,value 是一个 muxEntry 对象,muxEntry 结构如下:
pattern 是对应的路径,h 就是对应的处理函数。当我们调用http.Handle("/", &HomeHandler{})�
进行路由注册时候,实质上就是将路径和 HomeHandler 对象构建成一个 muxEntry 对象,然后加入到 ServeMux 的 m 中。
接下来我们再看路由的查找,既然路由表是有 map 实现的,那么路由的查找过程自然就是通过路径从 map 中查找对应的 muxEntry,然后获取对应的 handler 即可。该实现就是在/src/net/http/server.go 中的第 2416 行的 mux.Handler(r)进行的。
以上就是 net/http 包中自己路由的实现。非常简单,同时也意味着功能有限。比如不能对路由进行分组、不能限定路由的请求方法(GET、POST 或其他)、不能对路由加中间件等等。 这也就给第三方包提供了再次实现的机会。
三、基于正则表达式的路由实现
3.1 gorilla/mux 包简介
该包是基于正则表达式实现的路由。该路由支持分组、restful 风格路径的定义、绑定路由请求的方法(GET、POST 等)、限定路径使用 http 还是 https 协议等功能。我们看下其基本情况。
3.2 基本使用
由于该包支持的路由规则比较多,所以我们先从最简单的例子开始看一下基本使用,然后再通过分析其实现原理看各种规则是如何支持的。
3.3 实现原理分析
首先我们通过 mux.NewRouter()方法返回了一个 Router 结构体对象。该结构体对象也实现了 ServeHTTP 方法,在该方法中实现了对路由的匹配和转发。所以覆盖作为 http.ListenAndServe 的第二个参数,替代了默认的路由分发对象 DefaultServeMux。以下展示了 Router 的 ServeHTTP 方法对路由的匹配和分发部分的代码,其他代码省略。
本质上是和默认的路由分发器 DefaultServeMux 的实现是一样的。不同的是路由的管理以及匹配上。
接下来我们看下 Router 结构体。如下:
这里我们只列出来核心的字段,省略了一些辅助字段。这里有几个主要的字段:
Router 中的 routes:Route 切片类型,角色是路由表,存储所有的路由。
**Route:**一个具体的路由,handler 字段存储的是具体的处理函数,同时每个路由的路径是在最后的 routeRegexp 结构体中的。
**matchers 字段:**切片类型,存储了该路由下的所有要匹配的规则。matchers 的类型是一个 matcher 接口,定义了 Match 方法。其中 routeRegexp 结构体实现了该方法,所以一个 routeRegexp 实例就是一个 matcher。
**routeRegexp 结构体:**该结构体代表了路由中具体的路径的匹配规则。将路由中的路径转换成对应的正则表达式,存储与 regexp 字段中。
routeRegexp 结构体中的主要字段分别如下:
**template:**保存的是路由的路径模版。比如
r.HandleFunc("/product/{id:[0-9]+}", ProductHandler)
中,则是"/product/{id:[0-9]+}"
**regexpType:**正则类型,目前支持 regexpTypePath、regexpTypeHost、regexpTypePrefix、regexpTypeQuery 四种类型。比如
r.HandleFunc("/product/{id:[0-9]+}", ProductHandler)
就是路径匹配 regexpTypePath。而r.Host("www.example.com")
就是域名匹配 regexpTypeHost。稍后我们会一一介绍。**regexp:**是根据路由中的模版路径构造出来的正则表达式。以
"/product/{id:[0-9]+}"
为例,最终构造的正则表达式是^/product/(?P<v0>[0-9]+)$�
reverse:
**varsN:**是路径模式中花括号{}中的变量个数。以
"/product/{id:[0-9]+}"
为例,varsN 则等于[]{"id"}
。**varsR:**是路径模式中每个花括号{}对应的正则表达式。以"/product/{id:[0-9]+}"为例,varsR 则等于[]{"^[0-9]+$"}。如果路由中是设置 r.HandleFunc("/product/{id}", ProductHandler),varsR 的元素则是
[]{"^[^/]+�"}
的正则表达式。
根据路由表及路由的结构,具体的路由匹配查找基本过程如下:第一步,从 Router.routes 开始依次循环第二步,从每个路由中的 matchers 中循环,看请求的路径是否符合 matchers 中的每一项规则,如果都匹配,则说明找到了该路由,否则继续步骤 1。
接下来,我们看看该路由是如何支持各种功能的。
3.4 路由支持的功能及对应的正则
3.4.1 匹配特定域名或子域名
我们先看 r.Host("www.example.com")的路由。在 routeRegexp 结构体中,regexp 值会是正则表达式"^www\.example\.com$
,regexpType 字段是 regexpTypeHost。同时赋值给 routeRegexpGroup 中的 host 字段。
从路由表 Router.routes 中依次匹配本次请求的时候,发现 route.regexpType 字段是域名的正则,则从请求中获取当前的 host,然后跟 routeRegexp.regexp 正则表达式进行匹配。如果匹配成功则继续匹配后面的路由,否则直接匹配失败。
再来看匹配子域名 r.Host("{subdomain:[a-z]+}.example.com")的情况。在 routeRegexp 结构体中,regexp 值会是正则表达式"^(?P<v0>[a-z]+)\.example\.com$
,regexpType 字段是 regexpTypeHost。同时赋值给 routeRegexpGroup 中的 host 字段。匹配过程和上述过程一样,不再重复介绍。
3.4.2 给路径增加前缀
顾名思义,就是只有路径中是以/products 为前缀的才能匹配到该路由。该路由的设置最终编译成的正则表达式是^/products
。这里注意该表达式中结尾并没有结尾符号 $
。其匹配过程和上述一致。
3.4.3 限制路由的请求方法(GET、POST 等)
对请求方法的限制 是不经过正则,而是将允许的方法(GET、POST)转换成一个 methodMatcher�类型,该类型本质上是一个字符串切片,并且实现了 Match 方法,也就是 matcher 接口。然后将其加入到该路由的 matchers 中,在路由匹配时看当前的请求是否满足该路由的这条规则。其定义如下:
3.4.4 支持路由分组
通过.Subrouter()函数就能实现一个子路由表,在该子路由表下注册的所有路由都会遵循子路由上的公共设置,比如前缀。如上述例子/info 的完整路径就是/user/info 指向 HomeHandler。
我们查看 Subrouter 函数的源码,实际上是新建了一个 Router 结构体,而 Router 结构体实现了 Match 函数,即 matcher,所以也会将该 matcher 加入到 r.PathPrefix 这个路由的 matchers 中。相当于在路由中有建了一个专属的路由表。以下是 Router 的 Match 函数实现,我们看到循环到该 matcher 时,循环子路由表的 routes,再对每个子路由依次进行匹配:
3.4.5 支持中间件
在该示例中,首先定义了一个中间件 loggingMIddleware,然后使用 Use 函数将中间件加入到了 Router 中。
中间件的实现原理实际上是将原本要执行的 handler 包装到中间件的 handler 中。先执行中间件的 handler 逻辑,然后再执行原本的 handler。以上述代码为例,会将 HomeHandler 传递给 loggingMiddleware 的 next 参数。执行的时候从第 4 行开始执行,最后才是第 7 行,即 HomeHandler 的代码逻辑。如下图:
接下来我们看看中间件是如何实现一层层包裹的。
我们先看 r.Use 函数的定义:
发现中间件的类型是 MiddlewareFunc,该类型的定义如下:
中间件本质上是一个函数类型,输入和输出都是一个 http.Handler,同时 MiddlewareFunc 中实现了一个 Middleware�的方法:
我们再看路由匹配时,执行中间件的逻辑:
在第 7 行,执行中间件的 Middleware 函数。以r.HandleFunc("/", HomeHandler)
使用 loggingMiddleware 中间件为例,match.Handler 是 HomeHandler,loggingMiddleware.Middleware 即为 loogingMIddleware(HomeHandler),该函数返回的是一个新的 handler:
那么,在具体执行的时候,就是先执行该 handler 的业务逻辑,即 log.Println(r.RequestURI),然后执行 next.ServerHTTP 逻辑,即 HomeHandler.ServeHTTP 的逻辑。
这就是中间件对 handler 的包装及执行过程。其他更多功能可自行查看 gorilla/mux 包的源码。
4 基于 tries 结构的路由实现
4.1 gin 框架中的路由
大名鼎鼎的 gin 框架采用的就是前缀树结构实现的路由。我们先来看一下 gin 框架中路由是如何定义的。
很简单,首先通过 gin.New()初始化一个 gin 对象 g,然后通过 g.POST 或 g.GET 等方法就可以注册路由。很明显,路由注册过程也限制了请求的方法。 当然,还有一个方法是允许任何请求方法都能访问该路径的,就是 Any:
Any 方法本质上是定义了一组方法名,然后依次调用对应的方法将该路由进行注册,如下:
接下来,我们分析下路由实现以及匹配的过程。
4.2 前缀树路由的实现原理
相比较 map/hash 字典实现的优点:利用字符串公共前缀来减少查询时间,减少无谓的字符串比较
4.2.1 路由中限制请求方法的实现
我们先看 gin 框架中的路由是如何对请求方法做限制的。 在 gin 框架中,路由树的构建是基于方法的。每种方法一棵路由树。如下:
例如,上述示例中的g.POST("/abc/info", InfoHandler)
路由,只会注册到 POST 方法的路由树中。若通过 GET 方法请求该路径,则在搜索的时候,在 GET 方法的路由树中就找不到该路由。这样就起到了通过路由限制请求方法的作用。
而 g.Any 方法注册的路由,相当于在所有的方法路由中都注册了一遍,因此,使用任何方法都能找到对应的路由。
4.2.2 路由树节点的数据结构
前缀树中的路由都是基于这个 node 数据结构来进行构建的。其中包含了一个路由中的基本元素:路径 fullPath、对应的处理函数 handlers。其中 handlers 包含了中间件处理函数,因此这里使用一个 handlersChain 表示。
另外一个关键字段是 children,具有相同路径前缀的子节点通过 children 节点来构成父、子关系。
接下来我们路由树是如何基于 node 节点进行构建的。
4.2.3 路由树的构建
首先,我们看第一个路由的注册。
因为是第一个路由注册,路由树是空的。所以直接构建一个 node 节点,然后将该 node 节点作为 POST 方法路由树的根节点插入即可。如下图:
好,我们接着看接着注册第二个路由:
我们发现,这个路由的特点是和路由"/abc/info"有共同的前缀,所以会将该路由作为第一个路由的子节点放到 children 中。如下图:
这里主要有三个变化:一个是根节点的 priority 由 1 变成了 2;一个是 children 中多了一个子节点路由;最后一个是 indices 字段的值变成了"/",这个是第一个子节点的 path 字段的第一个字符,用于匹配时索引使用。在子节点中,要注意的是 path 的值,因为前缀是"/abc/info"了,所以这里 path 是"/detail"。但 fullPath 依然是注册时完整的路径。
接下来,我们再注册第三个路由:
这个路由的特点是和前两个路由有共同的前缀"/abc/",所以首先会将现在的根节点进行拆分,拆分成"/abc/" 和"info"。而 info 和原来的"/abc/info/detail" 又有共同的前缀 info,所以原来的"/abc/info/detail"就变成了 info 的子节点。而"/abc/list"除去前缀"/abc/"后,剩余"list"子节点,作为"/abc/"的子节点。如下:
那么,按节点组成的路由树就如下所示:
这里,我们首先看根节点的变化:
handlers 变为 nil。因为该节点不是一个具体的路径,只是一个前缀,所以具体的 handler 下移到了子节点 info 节点。
path 变为了前缀"/abc/"。
indices 字段值变为了"il",其中 i 是第一个子节点中 path 字段的第一个字符,l 是第二个子节点中 path 字段的第一个字符。
priority 字段变成 3:代表从自身开始及子节点共有 4 个。
children 字段变成了两个直接子节点。
fullPath 字段变为了"/abc/"。
其次,是从原根节点中拆分出一个 info 节点。最后是 detail 节点成为 info 节点的子节点。
以上就是路由树的构建过程。更细节的构造,有兴趣的同学可以查看源码进一步了解。
5 总结
本文总结了 3 中路由的实现。路由本质上就是将请求的路径和对应的处理函数一一对应。通过路径查找到处理函数的过程。不同框架基于不同的数据结构实现了路由表以及匹配过程。希望本文对大家理解 web 框架的路由有所帮助。
---特别推荐---
特别推荐:一个专注 go 项目实战、项目中踩坑经验及避坑指南、各种好玩的 go 工具的公众号,「Go 学堂」,专注实用性,非常值得大家关注。点击下方公众号卡片,直接关注。关注送《100 个 go 常见的错误》pdf 文档。
版权声明: 本文为 InfoQ 作者【Go学堂】的原创文章。
原文链接:【http://xie.infoq.cn/article/0c2d65a7c72147dc457af5007】。
本文遵守【CC-BY 4.0】协议,转载请保留原文出处及本版权声明。
评论