如何写好 Go 代码

本文涉及的产品
云数据库 RDS MySQL,集群系列 2核4GB
推荐场景:
搭建个人博客
RDS MySQL Serverless 基础系列,0.5-2RCU 50GB
云数据库 RDS MySQL,高可用系列 2核4GB
简介: 我写了多年的 Go 微服务,并在写完两本关于 (API Foundations in Go 和 12 Factor Applications with Docker and Go) 主题的书之后,有了一些关于如何写好 Go 代码的想法但首先,我想给阅读这篇文章的读者解释一点。好代码是主观的。你可能对于好代码这一点,有完全不同的想法,而我们可能只对其中一部分意见一致。另一方面,我们可能都没有错,只是我们从两个角度出发,从而选择了不同的方式解决工程问题,并不意味着意见不一致的不是好代码。包包很重要,你可能会反对 - 但是如果你在用 Go 写微服务,你可以将所有代码放在一个包中。当然,下面

我写了多年的 Go 微服务,并在写完两本关于 (API Foundations in Go 和 12 Factor Applications with Docker and Go) 主题的书之后,有了一些关于如何写好 Go 代码的想法

但首先,我想给阅读这篇文章的读者解释一点。好代码是主观的。你可能对于好代码这一点,有完全不同的想法,而我们可能只对其中一部分意见一致。另一方面,我们可能都没有错,只是我们从两个角度出发,从而选择了不同的方式解决工程问题,并不意味着意见不一致的不是好代码。


包很重要,你可能会反对 - 但是如果你在用 Go 写微服务,你可以将所有代码放在一个包中。当然,下面也有一些反对的观点:

将定义的类型放入单独的包中
维护与传输无关的服务层
在服务层之外,维护一个数据存储(repository)层
我们可以计算一下,一个微服务包的最小数量是 1。如果你有一个大型的微服务,它拥有 websocket 和 http 网关,你最终可能需要 5 个包(类型,数据存储,服务,websocket 和 http 包)。

简单的微服务实际上并不关心从数据存储层(repository),或者从传输层(websocket,http)抽离业务逻辑。你可以写简单的代码,转换数据然后响应,也是可以运行的。但是,添加更多的包可以解决一些问题。例如,如果你熟悉 SOLID 原则,S 代表单一职责。如果我们拆分成包,这些包就可以是单一职责的。

types - 声明一些结构,可能还有一些结构的别名等
repository - 数据存储层,用来处理存储和读取结构
service - 服务层,包装存储层的具体业务逻辑实现
http, websocket, … - 传输层,用来调用服务层
当然,根据你使用的情况,还可以进一步细分,例如,可以使用types/request 和 types/response 来更好的分隔一些结构。这样就可以拥有 request.Message 和response.Message 而不是 MessageRequest和 MessageResponse。如果一开始就像这样拆分开,可能会更有意义。

但是,为了强调最初的观点 - 如果你只用了这些声明包中的一部分,也没什么影响。像 Docker 这样的大型项目在 server 包下只使用了 types 包,这是它真正需要的。它使用的其他包(像 errors 包),可能是第三方包。

同样需要注意的是,在一个包中,共享正在处理的结构和函数会很容易。如果你有相互依赖的结构,将它们拆分为两个或多个不同的包可能会导致钻石依赖问题。解决方案也很显然 - 将代码放到一块儿,或者将所有代码放在一个包中。

到底选哪一个呢?两种方法都行。如果我非要按规则来的话,将其拆分更多的包可能会使添加新代码变得麻烦。因为你可能要修改这些包才能添加单个 API 调用。如果不是很清楚如何布局,那么在包之间跳转可能会带来一些认知上的开销。在很多情况下,如果项目只有一两个包,阅读代码会更容易。

你肯定也不想要太多的小包。

错误
如果是描述性的 Errors 可能是开发人员检查生产问题的唯一工具。这就是为什么我们要优雅地处理错误,要么将它们一直传递到应有程序的某一层,如果错误无法处理,该层就接收错误并记录下来,这一点非常重要。以下是标准库错误类型缺少的一些特性:

错误信息不含堆栈跟踪
不能堆积错误
errors 是预实例化的
但是,通过使用第三方错误包(我最喜欢的是pkg/Errors)可以帮助解决这些问题。也有其他的第三方错误包,但是这个是 Dave Cheney (Go 语言大神)编写的,它在错误处理的方式在一定程度上是一种标准。他的文章 Don’t just check errors, handle them gracefully 是推荐必读的。

错误的堆栈跟踪
pkg/errors 包在调用 errors.New 时,会将上下文(堆栈跟踪)添加到新建的错误中。

users_test.go:34: testing error Hello world

    github.com/crusttech/crust/rbac_test.TestUsers
            /go/src/github.com/crusttech/crust/rbac/users_test.go:34
    testing.tRunner
            /usr/local/go/src/testing/testing.go:777
    runtime.goexit
            /usr/local/go/src/runtime/asm_amd64.s:2361

复制代码
考虑到完整的错误信息是 "Hello world",使用 fmt.Printf 带有%+v 的参数或者类似的方式来打印少量的上下文 - 对于查找错误的而言,是一件很棒的事。你可以确切知道是哪里创建了错误(关键字)。当然,当涉及到标准库时,errors 包和本地 error 类型 - 不提供堆栈跟踪。但是,使用 pkg/errors 可以很容易地添加一个。例如:

resp, err := u.Client.Post(fmt.Sprintf(resourcesCreate, resourceID), body)
if err != nil {

    return errors.Wrap(err, "request failed")

}
复制代码
在上面这个例子中,pkg/errors包将上下文添加 err 中,加的错误消息("request failed") 和堆栈跟踪都会抛出来。通过调用 errors.Wrap 来添加堆栈跟踪,所以你可以精准追踪到此行的错误。

堆积错误
你的文件系统,数据库,或者其他可能抛出相对不太好描述的错误。例如,Mysql 可能会抛出这种强制错误:

ERROR 1146 (42S02): Table 'test.no_such_table' doesn't exist
复制代码
这不是很好处理。然而,你可以使用 errors.Wrap(err,"database aseError") 在上面堆积新的错误。这样,就可以更好地处理 "databaseError" 等。pkg/errors 包将在 causer 接口后面保留实际的错误信息。

type causer interface {

   Cause() error

}
复制代码
这样,错误堆积在一起,不会丢失任何上下文。附带说一下,mysql 错误是一个类型错误,其背后包含的不仅仅是错误字符串的信息。这意味着它有可能被处理的更好:

if driverErr, ok := err.(*mysql.MySQLError); ok {

if driverErr.Number == mysqlerr.ER_ACCESS_DENIED_ERROR {
    // Handle the permission-denied error
}

}
复制代码
此例子来自于 this stackoverflow thread。

错误预实例化
究竟什么是错误(error)呢?非常简单,错误需要实现下面的接口:

type error interface {

Error() string

}
复制代码
在 net/http 的例子中,这个包将几种错误类型暴露为变量,如文档所示。在这里添加堆栈跟踪是不可能的(Go不允许对全局 var 声明可执行代码,只能进行类型声明)。其次,如果标准库将堆栈跟踪添加到错误中 - 它不会指向返回错误的位置,而是指向声明变量(全局变量)的位置。

这意味着,你仍然需要在后面的代码中强制调用类似于 return errors.WithStack(ErrNotSupported) 的代码。这也不是很痛苦,但不幸的是,你不能只导入 pkg/errors ,就让所有现有的错误都带有堆栈跟踪。如果你还没有使用 errors.New 来实例化你的错误,那么它需要一些手动调用。

日志
接下来是日志,或者更恰当的说,结构化日志。这里提供了许多软件包,类似于 sirupsen/logrus 或我最喜欢的APEX/LOG。这些包也支持将日志发送到远程的机器或者服务,我们可以用工具来监控这些日志。

当谈到标准日志包时,我不常看到的一个选项是创建一个自定义 logger,并将 log.LShorfile 或 log.LUTC 等标志传递给它,以再次获得一点上下文,这能让你的QQ靓号拍卖工作变轻松 - 尤其在处理不同时区的服务器时。

const (

    Ldate         = 1 << iota     // the date in the local time zone: 2009/01/23
    Ltime                         // the time in the local time zone: 01:23:23
    Lmicroseconds                 // microsecond resolution: 01:23:23.123123.  assumes Ltime.
    Llongfile                     // full file name and line number: /a/b/c/d.go:23
    Lshortfile                    // final file name element and line number: d.go:23. overrides Llongfile
    LUTC                          // if Ldate or Ltime is set, use UTC rather than the local time zone
    LstdFlags     = Ldate | Ltime // initial values for the standard logger

)
复制代码
即使你没有创建自定义 logger,你也可以使用 SetFlags 来修改默认 logger。(playground link):

package main

import (

"log"

)

func main() {

log.SetFlags(log.LstdFlags | log.Lshortfile)
log.Println("Hello, playground")

}
复制代码
结果如下:

2009/11/10 23:00:00 main.go:9: Hello, playground
复制代码
你不想知道你在哪里打印了日志吗?这会让跟踪代码变得更容易。

接口
如果你正在写接口并命名接口中的参数,请考虑以下的代码片段:

type Mover interface {

Move(context.Context, string, string) error

}
复制代码
你知道这里的参数代表什么吗?只需要在接口中使用命名参数就可以让它很清晰。

type Mover interface {

Move(context.Context, source string, destination string)

}
复制代码
我还经常看到一些使用一个具体类型作为返回值的接口。一种未得到充分利用的做法是,根据一些已知的结构体或接口参数,以某种方式声明接口,然后在接收器中填充结果。这可能是 Go 中最强大的接口之一。

type Filler interface {

Fill(r *http.Request) error

}

func (s YourStruct) Fill(r http.Request) error {

// here you write your code...

}
复制代码
更可能的是,一个或多个结构体可以实现该接口。如下:

type RequestParser interface {

Parse(r *http.Request) (*types.ServiceRequest, error)

}
复制代码
此接口返回具体类型(而不是接口)。通常,这样的代码会使你代码库中的接口变得杂乱无章,因为每个接口只有一个实现,并且在你的应用包结构之外会变得不可用。

小帖士
如果你希望在编译时确保你的结构体符合并完全实现一个接口(或多个接口),你可以这么做:

var _ io.Reader = &YourStruct{}
var _ fmt.Stringer = &YourStruct{}
复制代码
如果你缺少这些接口所需的某些函数,编译器就会报错。字符 _ 表示丢弃变量,所以没有副作用,编译器完全优化了这些代码,会忽视这些被丢弃的行。

空接口
与上面的观点相比,这可能是更有争议的观点 - 但是我觉得使用 interface{} 有时非常有效。在 HTTP API 响应的例子中,最后一步通常是 json 编码,它接收一个接口参数:

func (enc *Encoder) Encode(v interface{}) error
复制代码
因此,完全可以避免将 API 响应设置成具体类型。我并不建议对所有情况都这么处理,但是在某些情况下,可以在 API 中完全忽略响应的具体类型,或者至少说明具体类型声明的意义。脑海中浮现的一个例子是使用匿名结构体。

body := struct {

Username string   `json:"username"`
Roles    []string `json:"roles,omitempty"`

}{username, roles}
复制代码
首先,不使用 interface{} 的话,无法从函数里返回这种结构体。显然,json 编码器可以接受任何类型的内容,因此,按传递空接口(对我来说)是完全有意义的。虽然趋势是声明具体类型,但有时候你可能不需要一层中间层。对于包含某些逻辑并可能返回各种形式的匿名结构体的函数,空接口也很合适。

更正:匿名结构体不是不可能返回,只是做起来很麻烦:playground

感谢 @Ikearens at Discord Gophers #golang channel
第二个用例是数据库驱动的 API 设计,我之前写过一些有关内容,我想指出的是,实现一个完全由数据库驱动的 API 是非常可能的。这也意味着添加和修改字段是仅仅在数据库中完成的,而不会以 ORM 的形式添加额外的间接层。显然,你仍然需要声明类型才能在数据库中插入数据,但是从数据库中读取数据可以省略声明。

// getThread fetches comments by data, order by ID
func (api API) getThread(params CommentListThread) (comments []interface{}, err error) {

// calculate pagination parameters
start := params.PageNumber * params.PageSize
length := params.PageSize
query := fmt.Sprintf("select * from comments where news_id=? and self_id=? and visible=1 and deleted=0 order by id %s limit %d, %d", params.Order, start, length)
err = api.db.Select(&comments, query, params.NewsID, params.SelfID)
return

}
复制代码
同样,你的应用程序可能充当反向代理,或者只使用无模式(schema-less)的数据库存储。在这些情况下,目的只是传递数据。

一个大警告(这是你需要输入结构体的地方)是,修改 Go 中的接口值并不是一件容易的事。你必须将它们强制转换为各种内容,如 map、slice 或结构体,以便可以在访问这些返回的数据。如果你不能保持结构体一成不变,而只是将它从 DB(或其他后端服务)传递到 JSON 编码器(会涉及到断言成具体类型),那么显然这个模式不适合你。这种情况下不应该存在这样的空接口代码。也就是说,当你不想了解任何关于载荷的信息时,空接口就是你需要的。

代码生成
尽可能使用代码生成。如果你想生成用于测试的 mock,如果你想生成 proc/GRPC 代码,或者你可能拥有的任何类型的代码生成,可以直接生成代码并提交。在发生冲突的情况下,可以随时将其丢弃,然后重新生成。

唯一可能的例外是提交类似于 public_html 文件夹的内容,其中包含你将使用 rakyll/statik 打包的内容。如果有人想告诉我,由 gomock 生成的代码在每次提交时都会以兆字节的数据污染 GIT 历史记录?不会的。

结束语
关于 Go 的最佳实践和最差实践的另一本值得注意的好书应该是Idiomatic Go。 如果你不熟悉的话,可以阅读一下 - 它是与本文很好的搭配。

我想在这里引用Jeff Atwood post - The Best Code is No Code At All文章的一句话,这是一句令人难忘的结束语:

如果你真的喜欢写代码,你会非常喜欢尽可能少地写代码。

但是,一定要编写那些单元测试。完结。

相关实践学习
如何在云端创建MySQL数据库
开始实验后,系统会自动创建一台自建MySQL的 源数据库 ECS 实例和一台 目标数据库 RDS。
全面了解阿里云能为你做什么
阿里云在全球各地部署高效节能的绿色数据中心,利用清洁计算为万物互联的新世界提供源源不断的能源动力,目前开服的区域包括中国(华北、华东、华南、香港)、新加坡、美国(美东、美西)、欧洲、中东、澳大利亚、日本。目前阿里云的产品涵盖弹性计算、数据库、存储与CDN、分析与搜索、云通信、网络、管理与监控、应用服务、互联网中间件、移动服务、视频服务等。通过本课程,来了解阿里云能够为你的业务带来哪些帮助 &nbsp; &nbsp; 相关的阿里云产品:云服务器ECS 云服务器 ECS(Elastic Compute Service)是一种弹性可伸缩的计算服务,助您降低 IT 成本,提升运维效率,使您更专注于核心业务创新。产品详情: https://www.aliyun.com/product/ecs
目录
相关文章
|
6月前
|
Go 索引
掌握Go语言:Go语言范围,优雅遍历数据结构,简化代码操作实战解析(24)
掌握Go语言:Go语言范围,优雅遍历数据结构,简化代码操作实战解析(24)
|
3月前
|
Cloud Native Go 开发工具
不改一行代码轻松玩转 Go 应用微服务治理
为了更好的进行 Go 应用微服务治理,提高研发效率和系统稳定性,本文将介绍 MSE 微服务治理方案,无需修改业务代码,实现治理能力。
19834 8
|
7天前
|
安全 Go 开发者
代码之美:Go语言并发编程的优雅实现与案例分析
【10月更文挑战第28天】Go语言自2009年发布以来,凭借简洁的语法、高效的性能和原生的并发支持,赢得了众多开发者的青睐。本文通过两个案例,分别展示了如何使用goroutine和channel实现并发下载网页和构建并发Web服务器,深入探讨了Go语言并发编程的优雅实现。
20 2
|
5月前
|
算法 程序员 编译器
美丽的代码:规范go应用代码注释
【6月更文挑战第30天】本文介绍注释应与代码同步,避免误导,且关键点解释。使用LLVM构建编译器示例展示Go语言规范。注释虽有局限,但在解释复杂逻辑、业务规则时仍有其价值。程序员需平衡注释与代码的关系,创造更优的代码。
1065 0
美丽的代码:规范go应用代码注释
|
28天前
|
JSON 搜索推荐 Go
ZincSearch搜索引擎中文文档及在Go语言中代码实现
ZincSearch官网及开发文档均为英文,对非英语用户不够友好。GoFly全栈开发社区将官方文档翻译成中文,并增加实战经验和代码,便于新手使用。本文档涵盖ZincSearch在Go语言中的实现,包括封装工具库、操作接口、统一组件调用及业务代码示例。官方文档https://zincsearch-docs.zinc.dev;中文文档https://doc.goflys.cn/docview?id=41。
|
3月前
|
缓存 NoSQL 数据库
go-zero微服务实战系列(五、缓存代码怎么写)
go-zero微服务实战系列(五、缓存代码怎么写)
|
3月前
|
程序员 测试技术 Go
用 Go 编写简洁代码的最佳实践
用 Go 编写简洁代码的最佳实践
|
3月前
|
缓存 测试技术 Go
使用Singleflight优化Go代码
使用Singleflight优化Go代码
|
3月前
|
JSON 数据库连接 Go
10个令人惊叹的Go语言技巧,让你的代码更加优雅
10个令人惊叹的Go语言技巧,让你的代码更加优雅