Go:主流 web 框架中路由的实现原理

一、什么是路由

路由,就是 url 地址到业务处理代码的映射。当用户输入一个 url 地址时,服务器该知道该用户返回什么内容。比如,当用户点击登录时,服务器应该做登录相关的事情,并给用户返回登录成功或失败的页面。当用户点击退出时,服务器应该做和退出相关的事情(比如清理用户登录的数据),并返回给用户退出之后的页面。

一个 url 到一个具体的处理函数之间的映射叫做一条路由。
在这里插入图片描述
多条路由组成路由表。路由表主要用于路由查找,根据不同的路由表的组织形式,可以有不同的查找方法。最简单的路由表就是使用 map。直接以 key-value 的形式进行匹配即可。
在这里插入图片描述
给定一个 url,找到对应的处理函数的过程叫做路由查找。路由器就是用来管理路由表以及进行路由查找的。
在这里插入图片描述
所以,在 web 系统中一个路由系统由路由、路由表、路由匹配三部分功能组成。

二、基于映射表的路由实现

go 内建标准包 net/http 中路由的实现是基于映射表实现的。也是最简单的路由实现。本节我们就来看来 http 请求的处理流程以及内建包默认的路由实现原理。

2.1 http 的处理流程

首先,我们来看下 http 包是如何处理请求的。通过以下代码我们就能启动一个 http 服务,并处理请求:

import (
  "net/http"
)

func main() {
    // 指定路由
  http.Handle("/", &HomeHandler{})

  // 启动http服务
  http.ListenAndServe(":8000", nil)
}

type HomeHandler struct {}

// 实现ServeHTTP
func (h *HomeHandler) ServeHTTP(response http.ResponseWriter, request *http.Request) {
  response.Write([]byte("Hello World"))
}

当我们输入 http://localhost:8000/的时候,就会走到 HomeHandler 的 ServeHTTP 方法,并返回 Hello World。那这里为什么要给 HomeHandler 定义 ServeHTTP 方法呢?或者说为什么会走到 ServeHTTP 方法中呢?

我们顺着 http.ListenAndServe 方法的定义:

func ListenAndServe(addr string, handler Handler) error

发现第二个参数是个 Handler 类型,而 Handler 是一个定义了 ServeHTTP 方法的接口类型:

type Handler interface {
  ServeHTTP(ResponseWriter, *Request)
}

似乎有了一点点关联,HomeHandler 类型也实现了 ServeHTTP 方法。但我们在 main 函数中调用http.ListenAndServe(“:8000”, nil)的时候第二个参数传递的是 nil,那 HomeHandler 里的 ServeHTTP 方法又是如何被找到的呢?

我们接着再顺着源码一层一层的找下去可以发现,在/src/net/http/server.go 的第 1930 行有这么一段代码:

serverHandler{c.server}.ServeHTTP(w, w.req)

有个 serverHandler 结构体,包装了 c.server。这里的 c 是建立的 http 连接,而 c.server 就是在 http.ListenAndServe(“:8000”, nil)函数中创建的 server 对象:

func ListenAndServe(addr string, handler Handler) error {
  server := &Server{Addr: addr, Handler: handler}
  return server.ListenAndServe()
}

server 中的 Handler 就是 http.ListenAndServe(“:8000”, nil)传递进来的 nil。好,我们进入 serverHandler{c.server}.ServeHTTP(w, w.req)函数中再次查看,就可以发现如下代码:

func (sh serverHandler) ServeHTTP(rw ResponseWriter, req *Request) {
  handler := sh.srv.Handler
  if handler == nil {
    handler = DefaultServeMux
  }
  ...

  handler.ServeHTTP(rw, 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®和 h.ServeHTTP 方法。这就是通过请求的路径查找到对应的 handler,然后调用该 handler 的 ServeHTTP 方法。

func (mux *ServeMux) ServeHTTP(w ResponseWriter, r *Request) {
  if r.RequestURI == "*" {
    if r.ProtoAtLeast(1, 1) {
      w.Header().Set("Connection", "close")
    }
    w.WriteHeader(StatusBadRequest)
    return
  }
  h, _ := mux.Handler(r)
  h.ServeHTTP(w, r)
}

在一开始的实例中,就是我们的 HomeHandler 的 ServeHTTP 方法。也就是说 ServeHTTP 方法是 net/http 包中规定好了要调用的,所以每一个页面处理函数都必须实现 ServeHTTP 方法。
在这里插入图片描述
同时也说明,net/http 包中的路由是在 DefaultServeMux 对象中实现的,该对象是一个 ServeMux 结构体类型,接下来我们看 ServeMux 路由的具体实现。

2.2 net/http 包中路由的实现

在 net/http 包中实现路由的机构提是 ServeMux,其结构定义如下。

type ServeMux struct {
  mu    sync.RWMutex
  m     map[string]muxEntry
  es    []muxEntry // slice of entries sorted from longest to shortest.
  hosts bool       // whether any patterns contain hostnames
}

结构体字段很简单,我们重点看 m 变量,是一个 map 类型,即 key-value 结构,就是我们所说的路由表。key 就是路由的路径,value 是一个 muxEntry 对象,muxEntry 结构如下:

type muxEntry struct {
  h       Handler
  pattern string
}

pattern 是对应的路径,h 就是对应的处理函数。当我们调用http.Handle(“/”, &HomeHandler{})�进行路由注册时候,实质上就是将路径和 HomeHandler 对象构建成一个 muxEntry 对象,然后加入到 ServeMux 的 m 中。
在这里插入图片描述
接下来我们再看路由的查找,既然路由表是有 map 实现的,那么路由的查找过程自然就是通过路径从 map 中查找对应的 muxEntry,然后获取对应的 handler 即可。该实现就是在/src/net/http/server.go 中的第 2416 行的 mux.Handler®进行的。

以上就是 net/http 包中自己路由的实现。非常简单,同时也意味着功能有限。比如不能对路由进行分组、不能限定路由的请求方法(GET、POST 或其他)、不能对路由加中间件等等。 这也就给第三方包提供了再次实现的机会。

三、基于正则表达式的路由实现

3.1 gorilla/mux 包简介

该包是基于正则表达式实现的路由。该路由支持分组、restful 风格路径的定义、绑定路由请求的方法(GET、POST 等)、限定路径使用 http 还是 https 协议等功能。我们看下其基本情况。

3.2 基本使用

由于该包支持的路由规则比较多,所以我们先从最简单的例子开始看一下基本使用,然后再通过分析其实现原理看各种规则是如何支持的。

package main

import (
  "fmt"
  "net/http"

  "github.com/gorilla/mux"
)
func main() {
  r := mux.NewRouter()
  r.HandleFunc("/", HomeHandler)
  r.HandleFunc("/products", ProductsHandler)
  //定义restful风格的路径,例如/product/12345
  r.HandleFunc("/product/{id:[0-9]+}", ProductHandler)

  http.ListenAndServe(":8000", r)
}

func HomeHandler(response http.ResponseWriter, request *http.Request) {
  response.Write([]byte("Hi, this is Home page"))
}

func ProductsHandler(response http.ResponseWriter, request *http.Request) {
  response.Write([]byte("Hi, this is Product page"))
}

func ProductHandler(response http.ResponseWriter, request *http.Request) {
  vars := mux.Vars(request)
    // 获取产品的ID值。
  id := vars["id"]

  response.Write([]byte("Hi, this is product:" + id))
}

3.3 实现原理分析

首先我们通过 mux.NewRouter()方法返回了一个 Router 结构体对象。该结构体对象也实现了 ServeHTTP 方法,在该方法中实现了对路由的匹配和转发。所以覆盖作为 http.ListenAndServe 的第二个参数,替代了默认的路由分发对象 DefaultServeMux。以下展示了 Router 的 ServeHTTP 方法对路由的匹配和分发部分的代码,其他代码省略。

func (r *Router) ServeHTTP(w http.ResponseWriter, req *http.Request) {
    ...
  var match RouteMatch
  var handler http.Handler
    // 路由匹配
  if r.Match(req, &match) {
    handler = match.Handler
    req = requestWithVars(req, match.Vars)
    req = requestWithRoute(req, match.Route)
  }

  ...
    
  // 路由分发
  handler.ServeHTTP(w, req)
}

本质上是和默认的路由分发器 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[0-9]+)$�
  • reverse:
  • **varsN:**是路径模式中花括号{}中的变量个数。以"/product/{id:[0-9]+}"为例,varsN 则等于[]{“id”}。
  • **varsR:**是路径模式中每个花括号{}对应的正则表达式。以"/product/{id:[0-9]+}“为例,varsR 则等于[]{”1+$“}。如果路由中是设置 r.HandleFunc(”/product/{id}“, ProductHandler),varsR 的元素则是[]{”[/]+�"}的正则表达式。

根据路由表及路由的结构,具体的路由匹配查找基本过程如下:第一步,从 Router.routes 开始依次循环第二步,从每个路由中的 matchers 中循环,看请求的路径是否符合 matchers 中的每一项规则,如果都匹配,则说明找到了该路由,否则继续步骤 1。
在这里插入图片描述

3.4 路由支持的功能及对应的正则

3.4.1 匹配特定域名或子域名
r := mux.NewRouter()
// Only matches if domain is "www.example.com".
r.Host("www.example.com")
// Matches a dynamic subdomain.
r.Host("{subdomain:[a-z]+}.example.com")

我们先看 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[a-z]+).example.com$,regexpType 字段是 regexpTypeHost。同时赋值给 routeRegexpGroup 中的 host 字段。匹配过程和上述过程一样,不再重复介绍。

3.4.2 给路径增加前缀
r.PathPrefix("/products/")

顾名思义,就是只有路径中是以/products 为前缀的才能匹配到该路由。该路由的设置最终编译成的正则表达式是^/products。这里注意该表达式中结尾并没有结尾符号 $。其匹配过程和上述一致。

3.4.3 限制路由的请求方法(GET、POST 等)
r.Methods("GET", "POST")

对请求方法的限制 是不经过正则,而是将允许的方法(GET、POST)转换成一个 methodMatcher�类型,该类型本质上是一个字符串切片,并且实现了 Match 方法,也就是 matcher 接口。然后将其加入到该路由的 matchers 中,在路由匹配时看当前的请求是否满足该路由的这条规则。其定义如下:

type methodMatcher []string

func (m methodMatcher) Match(r *http.Request, match *RouteMatch) bool {
  return matchInArray(m, r.Method)
}

3.4.4 支持路由分组
userRouter := r.PathPrefix("/user").Subrouter()
userRouter.HandleFunc("/info", HomeHandler)

通过.Subrouter()函数就能实现一个子路由表,在该子路由表下注册的所有路由都会遵循子路由上的公共设置,比如前缀。如上述例子/info 的完整路径就是/user/info 指向 HomeHandler。

我们查看 Subrouter 函数的源码,实际上是新建了一个 Router 结构体,而 Router 结构体实现了 Match 函数,即 matcher,所以也会将该 matcher 加入到 r.PathPrefix 这个路由的 matchers 中。相当于在路由中有建了一个专属的路由表。以下是 Router 的 Match 函数实现,我们看到循环到该 matcher 时,循环子路由表的 routes,再对每个子路由依次进行匹配:

func (r *Router) Match(req *http.Request, match *RouteMatch) bool {
  for _, route := range r.routes {
    if route.Match(req, match) {
      // Build middleware chain if no error was found
      if match.MatchErr == nil {
        for i := len(r.middlewares) - 1; i >= 0; i-- {
          match.Handler = r.middlewares[i].Middleware(match.Handler)
        }
      }
      return true
    }
  }
    ...//省略代码
}

在这里插入图片描述

3.4.5 支持中间件
//  定义中间件
func loggingMiddleware(next http.Handler) http.Handler {
    return http.HandlerFunc(func(w http.ResponseWriter, r *http.Request) {
        // Do stuff here
        log.Println(r.RequestURI)
        // Call the next handler, which can be another middleware in the chain, or the final handler.
        next.ServeHTTP(w, r)
    })
}

r := mux.NewRouter()
r.HandleFunc("/", HomeHandler)
// 使用中间件
r.Use(loggingMiddleware)

func HomeHandler(response http.ResponseWriter, request *http.Request) {
  response.Write([]byte("Hi, this is Home page"))
}

在该示例中,首先定义了一个中间件 loggingMIddleware,然后使用 Use 函数将中间件加入到了 Router 中。

中间件的实现原理实际上是将原本要执行的 handler 包装到中间件的 handler 中。先执行中间件的 handler 逻辑,然后再执行原本的 handler。以上述代码为例,会将 HomeHandler 传递给 loggingMiddleware 的 next 参数。执行的时候从第 4 行开始执行,最后才是第 7 行,即 HomeHandler 的代码逻辑。如下图:
在这里插入图片描述

四、基于 tries 结构的路由实现

4.1 gin 框架中的路由

大名鼎鼎的 gin 框架采用的就是前缀树结构实现的路由。我们先来看一下 gin 框架中路由是如何定义的。

package main

import (
  "github.com/gin-gonic/gin"
)
func main() {
  g := gin.New()
  
  g.POST("/abc/info", InfoHandler)
  g.POST("/abc/info/detail", InfoHandler)
  g.POST("/abc/list", HomeHandler)
  g.Run(":8000")
}

func HomeHandler(ctx *gin.Context) {
  ctx.Writer.Write([]byte("Hi, this is Home page"))
}

func InfoHandler(ctx *gin.Context) {
  ctx.Writer.Write([]byte("Hi, this is info"))
}

很简单,首先通过 gin.New()初始化一个 gin 对象 g,然后通过 g.POST 或 g.GET 等方法就可以注册路由。很明显,路由注册过程也限制了请求的方法。 当然,还有一个方法是允许任何请求方法都能访问该路径的,就是 Any:

g.Any("/", HomeHandler)

Any 方法本质上是定义了一组方法名,然后依次调用对应的方法将该路由进行注册,如下:

var  anyMethods = []string{
    http.MethodGet, http.MethodPost, http.MethodPut, http.MethodPatch,
    http.MethodHead, http.MethodOptions, http.MethodDelete, http.MethodConnect,
    http.MethodTrace,
  }

// Any registers a route that matches all the HTTP methods.
// GET, POST, PUT, PATCH, HEAD, OPTIONS, DELETE, CONNECT, TRACE.
func (group *RouterGroup) Any(relativePath string, handlers ...HandlerFunc) IRoutes {
  for _, method := range anyMethods {
    group.handle(method, relativePath, handlers)
  }

  return group.returnObj()
}

4.2 前缀树路由的实现原理

相比较 map/hash 字典实现的优点:利用字符串公共前缀来减少查询时间,减少无谓的字符串比较

4.2.1 路由中限制请求方法的实现

我们先看 gin 框架中的路由是如何对请求方法做限制的。 在 gin 框架中,路由树的构建是基于方法的。每种方法一棵路由树。如下:

type methodTree struct {
  method string
  root   *node
}

type methodTrees []methodTree

在这里插入图片描述
例如,上述示例中的g.POST(“/abc/info”, InfoHandler)路由,只会注册到 POST 方法的路由树中。若通过 GET 方法请求该路径,则在搜索的时候,在 GET 方法的路由树中就找不到该路由。这样就起到了通过路由限制请求方法的作用。

而 g.Any 方法注册的路由,相当于在所有的方法路由中都注册了一遍,因此,使用任何方法都能找到对应的路由。

4.2.2 路由树节点的数据结构

前缀树中的路由都是基于这个 node 数据结构来进行构建的。其中包含了一个路由中的基本元素:路径 fullPath、对应的处理函数 handlers。其中 handlers 包含了中间件处理函数,因此这里使用一个 handlersChain 表示。另外一个关键字段是 children,具有相同路径前缀的子节点通过 children 节点来构成父、子关系。接下来我们路由树是如何基于 node 节点进行构建的。

4.2.3 路由树的构建

首先,我们看第一个路由的注册。

 g.POST("/abc/info", InfoHandler)

因为是第一个路由注册,路由树是空的。所以直接构建一个 node 节点,然后将该 node 节点作为 POST 方法路由树的根节点插入即可。如下图:
在这里插入图片描述
好,我们接着看接着注册第二个路由:

g.POST("/abc/info/detail", DetailHandler)

我们发现,这个路由的特点是和路由"/abc/info"有共同的前缀,所以会将该路由作为第一个路由的子节点放到 children 中。如下图:
在这里插入图片描述
这里主要有三个变化:一个是根节点的 priority 由 1 变成了 2;一个是 children 中多了一个子节点路由;最后一个是 indices 字段的值变成了"/“,这个是第一个子节点的 path 字段的第一个字符,用于匹配时索引使用。在子节点中,要注意的是 path 的值,因为前缀是”/abc/info"了,所以这里 path 是"/detail"。但 fullPath 依然是注册时完整的路径。

接下来,我们再注册第三个路由:

  g.POST("/abc/list", ListHandler)

这个路由的特点是和前两个路由有共同的前缀"/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 节点的子节点。

以上就是路由树的构建过程。更细节的构造,有兴趣的同学可以查看源码进一步了解。

总结

本文总结了 3 中路由的实现。路由本质上就是将请求的路径和对应的处理函数一一对应。通过路径查找到处理函数的过程。不同框架基于不同的数据结构实现了路由表以及匹配过程。希望本文对大家理解 web 框架的路由有所帮助。
参考:https://xie.infoq.cn/article/0c2d65a7c72147dc457af5007


  1. 0-9 ↩︎

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Freedom3568

技术域不存在英雄主义,不进则退

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值