Go 语言是一门简单、易学的编程语言,对于有编程背景的工程师来说,学习 Go 语言并写出能够运行的代码并不是一件困难的事情,对于之前有过其他语言经验的开发者来说,写什么语言都像自己学过的语言其实是有问题的,想要真正融入生态写出优雅的代码就一定要花一些时间和精力了解语言背后的设计哲学和最佳实践。
如果你之前没有 Go 语言的开发经历,正在学习和使用 Go 语言,相信这篇文章能够帮助你更快地写出优雅的 Go 语言代码;在这篇文章中,我们并不会给一个长长地列表介绍变量、方法和结构体应该怎么命名,这些 Go 语言的代码规范可以在 Go Code Review Comments 中找到,它们非常重要但并不是这篇文章想要介绍的重点,我们将从代码结构、最佳实践以及单元测试几个不同的方面介绍如何写出优雅的 Go 语言代码。
写在前面
想要写出好的代码并不是一件容易的事情,它需要我们不断地对现有的代码进行反思 — 如何改写这段代码才能让它变得更加优雅。优雅听起来是一个非常感性、难以量化的结果,然而这却是好的代码能够带来的最直观感受,它可能隐式地包含了以下特性:
容易阅读和理解;
容易测试、维护和扩展;
命名清晰、无歧义、注释完善清楚;
…
相信读完了这篇文章,我们也不能立刻写出优雅的 Go 语言代码,但是如果我们遵循这里介绍几个的容易操作并且切实可行的方法,就帮助我们走出第一步,作者写这篇文章有以下的几个目的:
帮助 Go 语言的开发者了解生态中的规范与工具,写出更优雅的代码;
为代码和项目的管理提供被社区广泛认同的规则、共识以及最佳实践;
代码规范
代码规范其实是一个老生常态的问题,我们也不能免俗还是要简单介绍一下相关的内容,Go 语言比较常见并且使用广泛的代码规范就是官方提供的 Go Code Review Comments,无论你是短期还是长期使用 Go 语言编程,都应该至少完整地阅读一遍这个官方的代码规范指南,它既是我们在写代码时应该遵守的规则,也是在代码审查时需要注意的规范。
学习 Go 语言相关的代码规范是一件非常重要的事情,也是让我们的项目遵循统一规范的第一步,虽然阅读代码规范相关的文档非常重要,但是在实际操作时我们并不能靠工程师自觉地遵守以及经常被当做形式的代码审查,而是需要借助工具来辅助执行。
辅助工具
使用自动化的工具保证项目遵守一些最基本的代码规范是非常容易操作和有效的事情,相比之下人肉审查代码的方式更加容易出错,也会出现一些违反规则和约定的特例,维护代码规范的最好方式就是『尽量自动化一切能够自动化的步骤,让工程师审查真正重要的逻辑和设计』。
我们在这一节中就会介绍两种非常切实有效的办法帮助我们在项目中自动化地进行一些代码规范检查和静态检查保证项目的质量。
goimports
goimports 是 Go 语言官方提供的工具,它能够为我们自动格式化 Go 语言代码并对所有引入的包进行管理,包括自动增删依赖的包引用、将依赖包按字母序排序并分类。相信很多人使用的 IDE 都会将另一个官方提供的工具 gofmt 对代码进行格式化,而 goimports
就是等于 gofmt
加上依赖包管理。
建议所有 Go 语言的开发者都在开发时使用 goimports
,虽然 goimports
有时会引入错误的包,但是与带来的好处相比,这些偶尔出现的错误在作者看来也是可以接受的;当然,不想使用 goimports
的开发者也一定要在 IDE 或者编辑器中开启自动地 gofmt
(保存时自动格式化)。
在 IDE 和 CI 检查中开启自动地
gofmt
或者goimports
检查是没有、也不应该有讨论的必要的,这就是一件使用和开发 Go 语言必须要做的事情。
golint
另一个比较常用的静态检查工具就是 golint
了,作为官方提供的工具,它在可定制化上有着非常差的支持,我们只能通过如下所示的方式运行 golint
对我们的项目进行检查:
社区上有关于 golint
定制化的 讨论,golint
的开发者给出了以下的几个观点解释为什么 golint
不支持定制化的功能:
lint
的目的就是在 Go 语言社区中鼓励统一、一致的编程风格,某些开发者也许不会同意其中的某些规范,但是使用统一的风格对于 Go 语言社区有比较强的好处,而能够开关指定规则的功能会导致golint
不能够有效地完成这个工作;有一些静态检查的规则会导致一些错误的警告,这些情况确实非常让人头疼,但是我会选择支持在 golint 中直接保留或者删除这些规则,而不是提供随意增删规则的能力;
能够通过
min_confidence
过滤一些静态检查规则,但是需要我们选择合适的值;
golint
作者的观点在 issue 中得到了非常多的 👎,但是这件事情很难说对错;在社区中保证一致的编程规范是一件非常有益的事情,不过对于很多公司内部的服务或者项目,可能在业务服务上就会发生一些比较棘手的情况,使用这种过强的约束没有太多明显地收益。
更推荐的方法是在基础库或者框架中使用 golint
进行静态检查(或者同时使用 golint
和 golangci-lint),在其他的项目中使用可定制化的 golangci-lint
来进行静态检查,因为在基础库和框架中施加强限制对于整体的代码质量有着更大的收益。
作者会在自己的 Go 项目中使用
golint
+golangci-lint
并开启全部的检查尽量尽早发现代码中包含文档在内的全部缺陷。
自动化
无论是用于检查代码规范和依赖包的 goimports
还是静态检查工具 glint
或者 golangci-lint
,只要我们在项目中引入这些工具就一定要在代码的 CI 流程中加入对应的自动化检查:
在自建的或者其他的代码托管平台上也应该想尽办法寻找合适的工具,现代的代码托管工具应该都会对 CI/CD 有着非常不错的支持;我们需要通过这些 CI 工具将代码的自动化检查变成 PR 合并和发版的一个前置条件,减少工程师 Review 代码时可能发生的疏漏。
最佳实践
我们在上一节中介绍了一些能通过自动化工具发现的问题,这一节提到的最佳实践可能就没有办法通过自动化工具进行保证,这些最佳实践更像是 Go 语言社区内部发展过程中积累的一些工程经验和共识,遵循这些最佳实践能够帮助我们写出符合 Go 语言『味道』的代码,我们将在这一小节覆盖以下的几部分内容:
目录结构;
模块拆分;
显式调用;
面向接口;
这四部分内容是在社区中相对来说比较常见的约定,如果我们学习并遵循了这些约定,同时在 Go 语言的项目中实践这几部分内容,相信一定会对我们设计 Go 语言项目有所帮助。
目录结构
目录结构基本上就是一个项目的门面,很多时候我们从目录结构中就能够看出开发者对这门语言是否有足够的经验,所以在这里首先要介绍的最佳实践就是如何在 Go 语言的项目或者服务中组织代码。
官方并没有给出一个推荐的目录划分方式,很多项目对于目录结构的划分也非常随意,这其实也是没有什么问题的,但是社区中还是有一些比较常见的约定,例如:golang-standards/project-layout 项目中就定义了一个比较标准的目录结构。
我们在这里就先简单介绍其中几个比较常见并且重要的目录和文件,帮助我们快速理解如何使用如上所示的目录结构,如果各位读者想要了解使用其他目录的原因,可以从 golang-standards/project-layout 项目中的 README 了解更详细的内容。
/pkg
/pkg
目录是 Go 语言项目中非常常见的目录,我们几乎能够在所有知名的开源项目(非框架)中找到它的身影,例如:
prometheus 上报和存储指标的时序数据库
istio 服务网格 2.0
kubernetes 容器调度管理系统
grafana 展示监控和指标的仪表盘
这个目录中存放的就是项目中可以被外部应用使用的代码库,其他的项目可以直接通过 import
引入这里的代码,所以当我们将代码放入 pkg
时一定要慎重,不过如果我们开发的是 HTTP 或者 RPC 的接口服务或者公司的内部服务,将私有和公有的代码都放到 /pkg
中也没有太多的不妥,因为作为最顶层的项目来说很少会被其他应用直接依赖,当然严格遵循公有和私有代码划分是非常好的做法,作者也建议各位开发者对项目中公有和私有的代码进行妥善的划分。
私有代码
私有代码推荐放到 /internal
目录中,真正的项目代码应该写在 /internal/app
里,同时这些内部应用依赖的代码库应该在 /internal/pkg
子目录和 /pkg
中,下图展示了一个使用 /internal
目录的项目结构:
当我们在其他项目引入包含 internal
的依赖时,Go 语言会在编译时报错:
这种错误只有在被引入的 internal
包不存在于当前项目树中才会发生,如果在同一个项目中引入该项目的 internal
包并不会出现这种错误。
/src
在 Go 语言的项目最不应该有的目录结构其实就是 /src
了,社区中的一些项目确实有 /src
文件夹,但是这些项目的开发者之前大多数都有 Java 的编程经验,这在 Java 和其他语言中其实是一个比较常见的代码组织方式,但是作为一个 Go 语言的开发者,我们不应该允许项目中存在 /src
目录。
最重要的原因其实是 Go 语言的项目在默认情况下都会被放置到 $GOPATH/src
目录下,这个目录中存储着我们开发和依赖的全部项目代码,如果我们在自己的项目中使用 /src
目录,该项目的 PATH
中就会出现两个 src
:
上面的目录结构看起来非常奇怪,这也是我们在 Go 语言中不建议使用 /src
目录的最重要原因。
当然哪怕我们在 Go 语言的项目中使用 /src
目录也不会导致编译不通过或者其他问题,如果坚持这种做法对于项目的可用性也没有任何的影响,但是如果想让我们『看起来』更专业,还是遵循社区中既定的约定减少其他 Go 语言开发者的理解成本,这对于社区来说是一件好事。
平铺
另一种在 Go 语言中组织代码的方式就是项目的根目录下放项目的代码,这种方式在很多框架或者库中非常常见,如果想要引入一个使用 pkg
目录结构的框架时,我们往往需要使用 github.com/draveness/project/pkg/somepkg
,当代码都平铺在项目的根目录时只需要使用 github.com/draveness/project
,很明显地减少了引用依赖包语句的长度。
所以对于一个 Go 语言的框架或者库,将代码平铺在根目录下也很正常,但是在一个 Go 语言的服务中使用这种代码组织方法可能就没有那么合适了。
/cmd
/cmd
目录中存储的都是当前项目中的可执行文件,该目录下的每一个子目录都应该包含我们希望有的可执行文件,如果我们的项目是一个 grpc
服务的话,可能在 /cmd/server/main.go
中就包含了启动服务进程的代码,编译后生成的可执行文件就是 server
。
我们不应该在 /cmd
目录中放置太多的代码,我们应该将公有代码放置到 /pkg
中并将私有代码放置到 /internal
中并在 /cmd
中引入这些包,保证 main
函数中的代码尽可能简单和少。
/api
/api
目录中存放的就是当前项目对外提供的各种不同类型的 API 接口定义文件了,其中可能包含类似 /api/protobuf-spec
、/api/thrift-spec
或者 /api/http-spec
的目录,这些目录中包含了当前项目对外提供的和依赖的所有 API 文件:
二级目录的主要作用就是在一个项目同时提供了多种不同的访问方式时,用这种办法避免可能存在的潜在冲突问题,也可以让项目结构的组织更加清晰。
Makefile
最后要介绍的 Makefile
文件也非常值得被关注,在任何一个项目中都会存在一些需要运行的脚本,这些脚本文件应该被放到 /scripts
目录中并由 Makefile
触发,将这些经常需要运行的命令固化成脚本减少『祖传命令』的出现。
小结
总的来说,每一个项目都应该按照固定的组织方式进行实现,这种约定虽然并不是强制的,但是无论是组内、公司内还是整个 Go 语言社区中,只要达成了一致,对于其他工程师快速梳理和理解项目都是很有帮助的。
这一节介绍的 Go 语言项目的组织方式也并不是强制要求的,这只是 Go 语言社区中经常出现的项目组织方式,一个大型项目在使用这种目录结构时也会对其进行微调,不过这种组织方式确实更为常见并且合理。
模块拆分
我们既然已经介绍过了如何从顶层对项目的结构进行组织,接下来就会深入到项目的内部介绍 Go 语言对模块的一些拆分方法。
Go 语言的一些顶层设计最终导致了它在划分模块上与其他的编程语言有着非常明显的不同,很多其他语言的 Web 框架都采用 MVC 的架构模式,例如 Rails 和 Spring MVC,Go 语言对模块划分的方法就与 Ruby 和 Java 完全不同。
按层拆分
无论是 Java 还是 Ruby,它们最著名的框架都深受 MVC 架构模式 的影响,我们从 Spring MVC 的名字中就能体会到 MVC 对它的影响,而 Ruby 社区的 Rails 框架也与 MVC 的关系非常紧密,这是一种 Web 框架的最常见架构方式,将服务中的不同组件分成了 Model、View 和 Controller 三层。
这种模块拆分的方式其实就是按照层级进行拆分,Rails 脚手架默认生成的代码其实就是将这三层不同的源文件放在对应的目录下:models
、views
和 controllers
,我们通过 rails new example
生成一个新的 Rails 项目后可以看到其中的目录结构:
而很多 Spring MVC 的项目中也会出现类似 model
、dao
、view
的目录,这种按层拆分模块的设计其实有以下的几方面原因:
MVC 架构模式 — MVC 本身就强调了按层划分职责的设计,所以遵循该模式设计的框架自然有着一脉相承的思路;
扁平的命名空间 — 无论是 Spring MVC 还是 Rails,同一个项目中命名空间非常扁平,跨文件夹使用其他文件夹中定义的类或者方法不需要引入新的包,使用其他文件定义的类时也不需要增加额外的前缀,多个文件定义的类被『合并』到了同一个命名空间中;
单体服务的场景 — Spring MVC 和 Rails 刚出现时,SOA 和微服务架构还不像今天这么普遍,绝大多数的场景也不需要通过拆分服务;
上面的几个原因共同决定了 Spring MVC 和 Rails 会出现 models
、views
和 controllers
的目录并按照层级的方式对模块进行拆分。
按职责拆分
Go 语言在拆分模块时就使用了完全不同的思路,虽然 MVC 架构模式是在我们写 Web 服务时无法避开的,但是相比于横向地切分不同的层级,Go 语言的项目往往都按照职责对模块进行拆分:
对于一个比较常见的博客系统,使用 Go 语言的项目会按照不同的职责将其纵向拆分成 post
、user
、comment
三个模块,每一个模块都对外提供相应的功能,post
模块中就包含相关的模型和视图定义以及用于处理 API 请求的控制器(或者服务):
Go 语言项目中的每一个文件目录都代表着一个独立的命名空间,也就是一个单独的包,当我们想要引用其他文件夹的目录时,首先需要使用 import
关键字引入相应的文件目录,再通过 pkg.xxx
的形式引用其他目录定义的结构体、函数或者常量,如果我们在 Go 语言中使用 model
、view
和 controller
来划分层级,你会在其他的模块中看到非常多的 model.Post
、model.Comment
和 view.PostView
。
这种划分层级的方法在 Go 语言中会显得非常冗余,并且如果对项目依赖包的管理不够谨慎时,很容易发生引用循环,出现这些问题的最根本原因其实也非常简单:
Go 语言对同一个项目中不同目录的命名空间做了隔离,整个项目中定义的类和方法并不是在同一个命名空间下的,这也就需要工程师自己维护不同包之间的依赖关系;
按照职责垂直拆分的方式在单体服务遇到瓶颈时非常容易对微服务进行拆分,我们可以直接将一个负责独立功能的
package
拆出去,对这部分性能热点单独进行扩容;
小结
项目是按照层级还是按照职责对模块进行拆分其实并没有绝对的好与不好,语言和框架层面的设计最终决定了我们应该采用哪种方式对项目和代码进行组织。
Java 和 Ruby 这些语言在框架中往往采用水平拆分的方式划分不同层级的职责,而 Go 语言项目的最佳实践就是按照职责对模块进行垂直拆分,将代码按照功能的方式分到多个 package
中,这并不是说 Go 语言中不存在模块的水平拆分,只是因为 package
作为一个 Go 语言访问控制的最小粒度,所以我们应该遵循顶层的设计使用这种方式构建高内聚的模块。
显式与隐式
从开始学习、使用 Go 语言到参与社区上一些开源的 Golang 项目,作者发现 Go 语言社区对于显式的初始化、方法调用和错误处理非常推崇,类似 Spring Boot 和 Rails 的框架其实都广泛地采纳了『约定优于配置』的中心思想,简化了开发者和工程师的工作量。
然而 Go 语言社区虽然达成了很多的共识与约定,但是从语言的设计以及工具上的使用我们就能发现显式地调用方法和错误处理是被鼓励的。
init
我们在这里先以一个非常常见的函数 init
为例,介绍 Go 语言社区对显式调用的推崇;相信很多人都在一些 package
中阅读过这样的代码:
这种代码虽然能够通过编译并且正常工作,然而这里的 init
函数其实隐式地初始化了 grpc 的连接资源,如果另一个 package
依赖了当前的包,那么引入这个依赖的工程师可能会在遇到错误时非常困惑,因为在 init
函数中做这种资源的初始化是非常耗时并且容易出现问题的。
一种更加合理的做法其实是这样的,首先我们定义一个新的 Client
结构体以及一个用于初始化结构的 NewClient
函数,这个函数接收了一个 grpc 连接作为入参返回一个用于获取 Post
资源的客户端,GetPost
成为了这个结构体的方法,每当我们调用 client.GetPost
时都会用到结构体中保存的 grpc 连接:
初始化 grpc 连接的代码应该放到 main
函数或者 main
函数调用的其他函数中执行,如果我们在 main
函数中显式的初始化这种依赖,对于其他的工程师来说就非常易于理解,我们从 main
函数开始就能梳理出程序启动的整个过程。
各个模块之间会构成一种树形的结构和依赖关系,上层的模块会持有下层模块中的接口或者结构体,不会存在孤立的、不被引用的对象。
上图中出现的两个
Database
其实是在main
函数中初始化的数据库连接,在项目运行期间,它们可能表示同一个内存中的数据库连接
当我们使用 golangci-lint 并开启 gochecknoinits
和 gochecknoglobals
静态检查时,它其实严格地限制我们对 init
函数和全局变量的使用。
当然这并不是说我们一定不能使用 init
函数,作为 Go 语言赋予开发者的能力,因为它能在包被引入时隐式地执行了一些代码,所以我们更应该慎重地使用它们。
一些框架会在 init
中判断是否满足使用的前置条件,但是对于很多的 Web 或者 API 服务来说,大量使用 init
往往意味着代码质量的下降以及不合理的设计。
上述代码其实是 Effective Go 在介绍 init
方法使用是展示的实例代码,这是一个比较合理地 init
函数使用示例,我们不应该在 init
中做过重的初始化逻辑,而是做一些简单、轻量的前置条件判断。
error
另一个要介绍的就是 Go 语言的错误处理机制了,虽然 Golang 的错误处理被开发者诟病已久,但是工程师每天都在写 if err != nil { return nil, err }
的错误处理逻辑其实就是在显式地对错误处理,关注所有可能会发生错误的方法调用并在无法处理时抛给上层模块。
上述代码只是简单展示 Go 语言常见的错误处理逻辑,我们不应该在这种方法中初始化数据库的连接。
虽然 Golang 中也有类似 Java 或者 Ruby try/catch
关键字,但是很少有人会在代码中使用 panic
和 recover
来实现错误和异常的处理,与 init
函数一样,Go 语言对于 panic
和 recover
的使用也非常谨慎。
当我们在 Go 语言中处理错误相关的逻辑时,最重要的其实就是以下几点:
使用
error
实现错误处理 — 尽管这看起来非常啰嗦;将错误抛给上层处理 — 对于一个方法是否需要返回
error
也需要我们仔细地思考,向上抛出错误时可以通过errors.Wrap
携带一些额外的信息方便上层进行判断;处理所有可能返回的错误 — 所有可能返回错误的地方最终一定会返回错误,考虑全面才能帮助我们构建更加健壮的项目;
小结
作者在使用 Go 语言的这段时间,能够深刻地体会到它对于显式方法调用与错误处理的鼓励,这不仅能够帮助项目的其他开发者快速地理解上下文,也能够帮助我们构建更加健壮、容错性与可维护性更好的工程。
面向接口
面向接口编程是一个老生常谈的话题,接口 的作用其实就是为不同层级的模块提供了一个定义好的中间层,上游不再需要依赖下游的具体实现,充分地对上下游进行了解耦。
这种编程方式不仅是在 Go 语言中是被推荐的,在几乎所有的编程语言中,我们都会推荐这种编程的方式,它为我们的程序提供了非常强的灵活性,想要构建一个稳定、健壮的 Go 语言项目,不使用接口是完全无法做到的。
如果一个略有规模的项目中没有出现任何 type ... interface
的定义,那么作者可以推测出这在很大的概率上是一个工程质量堪忧并且没有多少单元测试覆盖的项目,我们确实需要认真考虑一下如何使用接口对项目进行重构。
单元测试是一个项目保证工程质量最有效并且投资回报率最高的方法之一,作为静态语言的 Golang,想要写出覆盖率足够(最少覆盖核心逻辑)的单元测试本身就比较困难,因为我们不能像动态语言一样随意修改函数和方法的行为,而接口就成了我们的救命稻草,写出抽象良好的接口并通过接口隔离依赖能够帮助我们有效地提升项目的质量和可测试性,我们会在下一节中详细介绍如何写单元测试。
上述代码其实就不是一个设计良好的代码,它不仅在 init
函数中隐式地初始化了 grpc 连接这种全局变量,而且没有将 ListPosts
通过接口的方式暴露出去,这会让依赖 ListPosts
的上层模块难以测试。
我们可以使用下面的代码改写原有的逻辑,使得同样地逻辑变得更容易测试和维护:
通过接口
Service
暴露对外的ListPosts
方法;使用
NewService
函数初始化Service
接口的实现并通过私有的结构体service
持有 grpc 连接;ListPosts
不再依赖全局变量,而是依赖接口体service
持有的连接;
当我们使用这种方式重构代码之后,就可以在 main
函数中显式的初始化 grpc 连接、创建 Service
接口的实现并调用 ListPosts
方法:
这种使用接口组织代码的方式在 Go 语言中非常常见,我们应该在代码中尽可能地使用这种思想和模式对外提供功能:
使用大写的
Service
对外暴露方法;使用小写的
service
实现接口中定义的方法;通过
NewService
函数初始化Service
接口;
当我们使用上述方法组织代码之后,其实就对不同模块的依赖进行了解耦,也正遵循了软件设计中经常被提到的一句话 — 『依赖接口,不要依赖实现』,也就是面向接口编程。
小结
在这一小节中总共介绍了 Go 语言中三个经常会打交道的『元素』— init
函数、error
和接口,我们在这里主要是想通过三个不同的例子为大家传达的一个主要思想就是尽量使用显式的(explicit)的方式编写 Go 语言代码。
单元测试
一个代码质量和工程质量有保证的项目一定有比较合理的单元测试覆盖率,没有单元测试的项目一定是不合格的或者不重要的,单元测试应该是所有项目都必须有的代码,每一个单元测试都表示一个可能发生的情况,单元测试就是业务逻辑。
作为软件工程师,重构现有的项目对于我们来说应该是一件比较正常的事情,如果项目中没有单元测试,我们很难在不改变已有业务逻辑的情况对项目进行重构,一些业务的边界情况很可能会在重构的过程中丢失,当时参与相应 case
开发的工程师可能已经不在团队中,而项目相关的文档可能也消失在了归档的 wiki
中(更多的项目可能完全没有文档),我们能够在重构中相信的东西其实只有当前的代码逻辑(很可能是错误的)以及单元测试(很可能是没有的)。
简单总结一下,单元测试的缺失不仅会意味着较低的工程质量,而且意味着重构的难以进行,一个有单元测试的项目尚且不能够保证重构前后的逻辑完全相同,一个没有单元测试的项目很可能本身的项目质量就堪忧,更不用说如何在不丢失业务逻辑的情况下进行重构了。
可测试
写代码并不是一件多困难的事情,不过想要在项目中写出可以测试的代码并不容易,而优雅的代码一定是可以测试的,我们在这一节中需要讨论的就是什么样的代码是可以测试的。
如果想要想清楚什么样的才是可测试的,我们首先要知道测试是什么?作者对于测试的理解就是控制变量,在我们隔离了待测试方法中一些依赖之后,当函数的入参确定时,就应该得到期望的返回值。
如何控制待测试方法中依赖的模块是写单元测试时至关重要的,控制依赖也就是对目标函数的依赖进行 Mock
消灭不确定性,为了减少每一个单元测试的复杂度,我们需要:
尽可能减少目标方法的依赖,让目标方法只依赖必要的模块;
依赖的模块也应该非常容易地进行
Mock
;
单元测试的执行不应该依赖于任何的外部模块,无论是调用外部的 HTTP 请求还是数据库中的数据,我们都应该想尽办法模拟可能出现的情况,因为单元测试不是集成测试的,它的运行不应该依赖除项目代码外的其他任何系统。
接口
在 Go 语言中如果我们完全不使用接口,是写不出易于测试的代码的,作为静态语言的 Golang,只有我们使用接口才能脱离依赖具体实现的窘境,接口的使用能够为我们带来更清晰的抽象,帮助我们思考如何对代码进行设计,也能让我们更方便地对依赖进行 Mock
。
我们再来回顾一下上一节对接口进行介绍时展示的常见模式:
上述代码在 Go 语言中是非常常见的,如果你不知道应不应该使用接口对外提供服务,这时就应该无脑地使用上述模式对外暴露方法了,这种模式可以在绝大多数的场景下工作,至少作者到目前还没有见到过不适用的。
函数简单
另一个建议就是保证每一个函数尽可能简单,这里的简单不止是指功能上的简单、单一,还意味着函数容易理解并且命名能够自解释。
一些语言的 lint
工具其实会对函数的理解复杂度(PerceivedComplexity)进行检查,也就是检查函数中出现的 if/else
、switch/case
分支以及方法的调用的数量,一旦超过约定的阈值就会报错,Ruby 社区中的 Rubocop 和上面提到的 golangci-lint 都有这个功能。
Ruby 社区中的 Rubocop 对于函数的长度和理解复杂度都有着非常严格的限制,在默认情况下函数的行数不能超过 10
行,理解复杂度也不能超过 7
,除此之外,Rubocop 其实还有其他的复杂度限制,例如循环复杂度(CyclomaticComplexity),这些复杂度的限制都是为了保证函数的简单和容易理解。
组织方式
如何对测试进行组织也是一个值得讨论的话题,Golang 中的单元测试文件和代码都是与源代码放在同一个目录下按照 package
进行组织的,server.go
文件对应的测试代码应该放在同一目录下的 server_test.go
文件中。
如果文件不是以 _test.go
结尾,当我们运行 go test ./pkg
时就不会找到该文件中的测试用例,其中的代码也就不会被执行,这也是 Go 语言对于测试组织方法的一个约定。
Test
单元测试的最常见以及默认组织方式就是写在以 _test.go
结尾的文件中,所有的测试方法也都是以 Test
开头并且只接受一个 testing.T
类型的参数:
如果我们要给函数名为 Add
的方法写单元测试,那么对应的测试方法一般会被写成 TestAdd
,为了同时测试多个分支的内容,我们可以通过以下的方式组织 Add
函数相关的测试:
除了这种将一个函数相关的测试分散到多个 Test
方法之外,我们可以使用 for
循环来减少重复的测试代码,这在逻辑比较复杂的测试中会非常好用,能够减少大量的重复代码,不过也需要我们小心地进行设计:
这种方式其实也能生成树形的测试结果,将 Add
相关的测试分成一组方便我们进行观察和理解,不过这种测试组织方法需要我们保证测试代码的通用性,当函数依赖的上下文较多时往往需要我们写很多的 if/else
条件判断语句影响我们对测试的快速理解。
作者通常会在测试代码比较简单时使用第一种组织方式,而在依赖较多、函数功能较为复杂时使用第二种方式,不过这也不是定论,我们需要根据实际情况决定如何对测试进行设计。
Suite
第二种比较常见的方式是按照簇进行组织,其实就是对 Go 语言默认的测试方式进行简单的封装,我们可以使用 stretchr/testify 中的 suite
包对测试进行组织:
我们可以使用 suite
包,以结构体的方式对测试簇进行组织,suite
提供的 SetupTest
/SetupSuite
和 TearDownTest
/TearDownSuite
是执行测试前后以及执行测试簇前后的钩子方法,我们能在其中完成一些共享资源的初始化,减少测试中的初始化代码。
BDD
最后一种组织代码的方式就是使用 BDD 的风格对单元测试进行组织,ginkgo 就是 Golang 社区最常见的 BDD 框架了,这里提到的行为驱动开发(BDD)和测试驱动开发(TDD)都是一种保证工程质量的方法论。想要在项目中实践这种思想还是需要一些思维上的转变和适应,也就是先通过写单元测试或者行为测试约定方法的 Spec,再实现方法让我们的测试通过,这是一种比较科学的方法,它能为我们带来比较强的信心。
我们虽然不一定要使用 BDD/TDD 的思想对项目进行开发,但是却可以使用 BDD 的风格方式组织非常易读的测试代码:
BDD 框架中一般都包含 Describe
、Context
以及 It
等代码块,其中 Describe
的作用是描述代码的独立行为、Context
是在一个独立行为中的多个不同上下文,最后的 It
用于描述期望的行为,这些代码块最终都构成了类似『描述……,当……时,它应该……』的句式帮助我们快速地理解测试代码。
Mock 方法
项目中的单元测试应该是稳定的并且不依赖任何的外部项目,它只是对项目中函数和方法的测试,所以我们需要在单元测试中对所有的第三方的不稳定依赖进行 Mock,也就是模拟这些第三方服务的接口;除此之外,为了简化一次单元测试的上下文,在同一个项目中我们也会对其他模块进行 Mock,模拟这些依赖模块的返回值。
单元测试的核心就是隔离依赖并验证输入和输出的正确性,Go 语言作为一个静态语言提供了比较少的运行时特性,这也让我们在 Go 语言中 Mock 依赖变得非常困难。
Mock 的主要作用就是保证待测试方法依赖的上下文固定,在这时无论我们对当前方法运行多少次单元测试,如果业务逻辑不改变,它都应该返回完全相同的结果,在具体介绍 Mock 的不同方法之前,我们首先要清楚一些常见的依赖,一个函数或者方法的常见依赖可以有以下几种:
接口
数据库
HTTP 请求
Redis、缓存以及其他依赖
这些不同的场景基本涵盖了写单元测试时会遇到的情况,我们会在接下来的内容中分别介绍如何处理以上几种不同的依赖。
接口
首先要介绍的其实就是 Go 语言中最常见也是最通用的 Mock 方法,也就是能够对接口进行 Mock 的 golang/mock 框架,它能够根据接口生成 Mock 实现,假设我们有以下代码:
我们的博客可能使用 jekyll
或者 wordpress
作为引擎,但是它们都会提供 ListsPosts
方法用于返回全部的文章列表,在这时我们就需要定义一个 Post
接口,接口要求遵循 Blog
的结构体必须实现 ListPosts
方法。
当我们定义好了 Blog
接口之后,上层 Service
就不再需要依赖某个具体的博客引擎实现了,只需要依赖 Blog
接口就可以完成对文章的批量获取功能:
如果我们想要对 Service
进行测试,我们就可以使用 gomock 提供的 mockgen
工具命令生成 MockBlog
结构体,使用如下所示的命令:
这段 mockgen
生成的代码非常长的,所以我们只展示了其中的一部分,它的功能就是帮助我们验证任意接口的输入参数并且模拟接口的返回值;而在生成 Mock 实现的过程中,作者总结了一些可以分享的经验:
在
test/mocks
目录中放置所有的 Mock 实现,子目录与接口所在文件的二级目录相同,在这里源文件的位置在pkg/blog/blog.go
,它的二级目录就是blog/
,所以对应的 Mock 实现会被生成到test/mocks/blog/
目录中;指定
package
为mxxx
,默认的mock_xxx
看起来非常冗余,上述blog
包对应的 Mock 包也就是mblog
;mockgen
命令放置到Makefile
中的mock
下统一管理,减少祖传命令的出现;
当我们生成了上述的 Mock 实现代码之后,就可以使用如下的方式为 Service
写单元测试了,这段代码通过 NewMockBlog
生成一个 Blog
接口的 Mock 实现,然后通过 EXPECT
方法控制该实现会在调用 ListPosts
时返回空的 Post
数组:
由于当前 Service
只依赖于 Blog
的实现,所以在这时我们就能够断言当前方法一定会返回 []Post{}
,这时我们的方法的返回值就只与传入的参数有关(虽然 ListPosts
方法没有入参),我们能够减少一次关注的上下文并保证测试的稳定和可信。
这是 Go 语言中最标准的单元测试写法,所有依赖的 package
无论是项目内外都应该使用这种方式处理(在有接口的情况下),如果没有接口 Go 语言的单元测试就会非常难写,这也是为什么从项目中是否有接口就能判断工程质量的原因了。
SQL
另一个项目中比较常见的依赖其实就是数据库,在遇到数据库的依赖时,我们一般都会使用 sqlmock 来模拟数据库的连接,当我们使用 sqlmock 时会写出如下所示的单元测试:
最常用的几个方法就是 ExpectQuery
和 ExpectExec
,前者主要用于模拟 SQL 的查询语句,后者用于模拟 SQL 的增删,从上面的实例中我们可以看到这个这两种方法的使用方式,建议各位先阅读相关的 文档 再尝试使用。
HTTP
HTTP 请求也是我们在项目中经常会遇到的依赖,httpmock 就是一个用于 Mock 所有 HTTP 依赖的包,它使用模式匹配的方式匹配 HTTP 请求的 URL,在匹配到特定的请求时就会返回预先设置好的响应。
如果遇到 HTTP 请求的依赖时,就可以使用上述 httpmock 包模拟依赖的 HTTP 请求。
猴子补丁
最后要介绍的猴子补丁其实就是一个大杀器了,bouk/monkey 能够通过替换函数指针的方式修改任意函数的实现,所以如果上述的几种方法都不能满足我们的需求,我们就只能够通过猴子补丁这种比较 hack 的方法 Mock 依赖了:
然而这种方法的使用其实有一些限制,由于它是在运行时替换了函数的指针,所以如果遇到一些简单的函数,例如 rand.Int63n
和 time.Now
,编译器可能会直接将这种函数内联到调用实际发生的代码处并不会调用原有的方法,所以使用这种方式往往需要我们在测试时额外指定 -gcflags=-l
禁止编译器的内联优化。
bouk/monkey 的 README 对于它的使用给出了一些注意事项,除了内联编译之外,我们需要注意的是不要在单元测试之外的地方使用猴子补丁,我们应该只在必要的时候使用这种方法,例如依赖的第三方库没有提供 interface
或者修改 time.Now
以及 rand.Int63n
等内置函数的返回值用于测试时。
从理论上来说,通过猴子补丁这种方式我们能够在运行时 Mock Go 语言中的一切函数,这也为我们提供了单元测试 Mock 依赖的最终解决方案。
断言
在最后,我们简单介绍一下辅助单元测试的 assert 包,它提供了非常多的断言方法帮助我们快速对期望的返回值进行测试,减少我们的工作量:
在这里我们也是简单展示一下 assert
的示例,更详细的内容可以阅读它的相关文档,在这里也就不多做展示了。
小结
如果之前完全没有写过单元测试或者没有写过 Go 语言的单元测试,相信这篇文章已经给了足够多的上下文帮助我们开始做这件事情,我们要知道的是单元测试其实并不会阻碍我们的开发进度,它能够为我们的上线提供信心,也是质量保证上投资回报率最高的方法。
学习写好单元测试一定会有一些学习曲线和不适应,甚至会在短期内影响我们的开发效率,但是熟悉了这一套流程和接口之后,单元测试对我们的帮助会非常大,每一个单元测试都表示一个业务逻辑,每次提交时执行单元测试就能够帮助我们确定新的代码大概率上不会影响已有的业务逻辑,能够明显地降低重构的风险以及线上事故的数量
总结
在这篇文章中我们从三个方面分别介绍了如何写优雅的 Go 语言代码,作者尽可能地给出了最容易操作和最有效的方法:
代码规范:使用辅助工具帮助我们在每次提交 PR 时自动化地对代码进行检查,减少工程师人工审查的工作量;
最佳实践
目录结构:遵循 Go 语言社区中被广泛达成共识的 目录结构,减少项目的沟通成本;
模块拆分:按照职责对不同的模块进行拆分,Go 语言的项目中也不应该出现
model
、controller
这种违反语言顶层设计思路的包名;显示与隐式:尽可能地消灭项目中的
init
函数,保证显式地进行方法的调用以及错误的处理;面向接口:面向接口是 Go 语言鼓励的开发方式,也能够为我们写单元测试提供方便,我们应该遵循固定的模式对外提供功能;
使用大写的
Service
对外暴露方法;使用小写的
service
实现接口中定义的方法;通过
func NewService(...) (Service, error)
函数初始化Service
接口;单元测试:保证项目工程质量的最有效办法;
可测试:意味着面向接口编程以及减少单个函数中包含的逻辑,使用『小方法』;
组织方式:使用 Go 语言默认的 Test 框架、开源的
suite
或者 BDD 的风格对单元测试进行合理组织;Mock 方法:四种不同的单元测试 Mock 方法;
gomock:最标准的也是最被鼓励的方式;
sqlmock:处理依赖的数据库;
httpmock:处理依赖的 HTTP 请求;
monkey:万能的方法,但是只在万不得已时使用,类似的代码写起来非常冗长而且不直观;
断言:使用社区的 testify 快速验证方法的返回值;
想要写出优雅的代码本身就不是一件容易的事情,它需要我们不断地对自己的知识体系进行更新和优化,推倒之前的经验并对项目持续进行完善和重构,而只有真正经过思考和设计的代码才能够经过时间的检验(代码是需要不断重构的),随意堆砌代码的行为是不能鼓励也不应该发生的,每一行代码都应该按照最高的标准去设计和开发,这是我们保证工程质量的唯一方法。
作者也一直在努力学习如何写出更加优雅的代码,写出好的代码真的不是一件容易的事情,作者也希望能通过这篇文章帮助使用 Go 语言的工程师写出更有 Golang 风格的项目。
原文链接:
https://draveness.me/golang-101
评论