GO代码风格指南 Uber Go (转载)
- 原文地址:https://github.com/uber-go/guide/blob/master/style.md
- 译文出处:https://github.com/uber-go/guide
- 本文永久链接:https://github.com/gocn/translator/blob/master/2019/w38_uber_go_style_guide.md
- 译者:咔叽咔叽
- 校对者:fivezh,cvley
目录
- 介绍
- 指南
- 接口的指针
- 接收者和接口
- 零值 Mutexes 是有效的
- 复制 Slice 和 Map
- Defer 的使用
- channel 的大小是 1 或者 None
- 枚举值从 1 开始
- Error 类型
- Error 包装
- 处理类型断言失败
- 避免 Panic
- 使用 go.uber.org/atomic
- 性能
- strconv 优于 fmt
- 避免 string 到 byte 的转换
- 代码样式
- 聚合相似的声明
- 包的分组导入的顺序
- 包命名
- 函数命名
- 别名导入
- 函数分组和顺序
- 减少嵌套
- 不必要的 else
- 顶层变量的声明
- 在不可导出的全局变量前面加上 _
- 结构体的嵌入
- 使用字段名去初始化结构体
- 局部变量声明
- nil 是一个有效的 slice
- 减少变量的作用域
- 避免裸参数
- 使用原生字符串格式来避免转义
- 初始化结构体
- 在 Printf 之外格式化字符串
- Printf-style 函数的命名
- 设计模式
- 表格驱动测试
- 函数参数可选化
介绍
代码风格是代码的一种约定。用风格这个词可能有点不恰当,因为这些约定涉及到的远比源码文件格式工具 gofmt 所能处理的更多。
本指南的目标是通过详细描述 Uber 在编写 Go 代码时的取舍来管理代码的这种复杂性。这些规则的存在是为了保持代码库的可管理性,同时也允许工程师更高效地使用 go 语言特性。
本指南最初由 Prashant Varanasi 和 Simon Newton 为了让同事们更便捷地使用 go 语言而编写。多年来根据其他人的反馈进行了一些修改。
本文记录了 uber 在使用 go 代码中的一些习惯用法。许多都是 go 语言常见的指南,而其他的则延伸到了一些外部资料:
所用的代码在运行 golint 和 go vet 之后不会有报错。建议将编辑器设置为:
- 保存时运行 goimports
- 运行
golint和go vet来检查错误
你可以在下面的链接找到 Go tools 对一些编辑器的支持:https://github.com/golang/go/wiki/IDEsAndTextEditorPlugins
指南
接口的指针
你几乎不需要指向接口的指针,应该把接口当作值传递,它的底层数据仍然可以当成一个指针。
一个接口是两个字段:
- 指向特定类型信息的指针。你可以认为这是 "type."。
- 如果存储的数据是指针,则直接存储。如果数据存储的是值,则存储指向此值的指针。
如果你希望接口方法修改底层数据,则必须使用指针。
接收者和接口
具有值接收者的方法可以被指针和值调用。
例如,
type S struct {
data string
}
func (s S) Read() string {
return s.data
}
func (s *S) Write(str string) {
s.data = str
}
sVals := map[int]S{: {"A"}}
// 使用值只能调用 Read 方法
sVals[].Read()
// 会编译失败
// sVals[0].Write("test")
sPtrs := map[int]*S{: {"A"}}
// 使用指针可以调用 Read 和 Write 方法
sPtrs[].Read()
sPtrs[].Write("test")
类似的,即使方法是一个值接收者,但接口仍可以被指针类型所满足。
type F interface {
f()
}
type S1 struct{}
func (s S1) f() {}
type S2 struct{}
func (s *S2) f() {}
s1Val := S1{}
s1Ptr := &S1{}
s2Val := S2{}
s2Ptr := &S2{}
var i F
i = s1Val
i = s1Ptr
i = s2Ptr
// 以下不能被编译,因为 s2Val 是一个值,并且 f 没有值接收者
// i = s2Val
Effective Go 对 Pointers vs. Values 分析的不错.
零值 Mutexes 是有效的
零值的 sync.Mutex 和 sync.RWMutex 是有效的,所以你几乎不需要指向 mutex 的指针。
| Bad | Good |
|---|---|
mu := new(sync.Mutex) |
mu.Lock() |
var mu sync.Mutex mu.Lock()
defer mu.Unlock()
如果你使用一个指针指向的结构体,mutex 可以作为一个非指针字段,或者,最好是直接嵌入这个结构体。
type smap struct {
|
type SMap struct {
|
| 为私有类型或需要实现 Mutex 接口的类型嵌入 | 对于导出的类型,使用私有锁。 |
复制 Slice 和 Map
slice 和 map 包含指向底层数据的指针,因此复制的时候需要当心。
接收 Slice 和 Map 作为入参
需要留意的是,如果你保存了作为参数接收的 map 或 slice 的引用,可以通过引用修改它。
| Bad | Good |
|---|---|
func (d *Driver) SetTrips(trips []Trip) {
|
func (d *Driver) SetTrips(trips []Trip) {
|
返回 Slice 和 Map
类似的,当心 map 或者 slice 暴露的内部状态是可以被修改的。
| Bad | Good |
|---|---|
type Stats struct {
|
type Stats struct {
|
Defer 的使用
使用 defer 去关闭文件句柄和释放锁等类似的这些资源。
| Bad | Good |
|---|---|
p.Lock() |
p.Lock() |
defer 的开销非常小,只有在你觉得你的函数执行需要在纳秒级别的情况下才需要考虑避免使用。使用 defer 换取的可读性是值得的。这尤其适用于具有比简单内存访问更复杂的大型方法,这时其他的计算比 defer 更重要。
channel 的大小是 1 或者 None
channel 的大小通常应该是 1 或者是无缓冲的。默认情况下,channel 是无缓冲的且大小为 0。任何其他的大小都必须经过仔细检查。应该考虑如何确定缓冲的大小,哪些因素可以防止 channel 在负载时填满和阻塞写入,以及当这种情况发生时会造成什么样的影响。
| Bad | Good |
|---|---|
// Ought to be enough for anybody! |
// size 为 1 |
枚举值从 1 开始
在 Go 中引入枚举的标准方法是声明一个自定义类型和一个带 iota 的 const 组。由于变量的默认值为 0,因此通常应该以非零值开始枚举。
| Bad | Good |
|---|---|
type Operation int const ( |
type Operation int const ( |
在某些情况下,使用零值是有意义的,例如零值是想要的默认值。
type LogOutput int const (
LogToStdout LogOutput = iota
LogToFile
LogToRemote
) // LogToStdout=0, LogToFile=1, LogToRemote=2
Error 类型
声明 error 有多种选项:
errors.New声明简单静态的字符串fmt.Errorf声明格式化的字符串- 实现了
Error()方法的自定义类型 - 使用
"pkg/errors".Wrap包装 error
返回 error 时,可以考虑以下因素以确定最佳选择:
- 不需要额外信息的一个简单的 error? 那么
errors.New就够了 - 客户端需要检查并处理这个 error?那么应该使用实现了
Error()方法的自定义类型 - 是否需要传递下游函数返回的 error?那么请看 section on error wrapping
- 否则, 可以使用
fmt.Errorf
如果客户端需要检查这个 error,你需要使用 errors.New 和 var 来创建一个简单的 error。
| Bad | Good |
|---|---|
// package foo
func Open() error {
|
// package foo
var ErrCouldNotOpen = errors.New("could not open")
func Open() error {
|
如果你有一个 error 可能需要客户端去检查,并且你想增加更多的信息(例如,它不是一个简单的静态字符串),这时候你需要使用自定义类型。
| Bad | Good |
|---|---|
func open(file string) error {
|
type errNotFound struct {
|
在直接导出自定义 error 类型的时候需要小心,因为它已经是包的公共 API。最好暴露一个 matcher 函数(译者注:以下示例的 IsNotFoundError 函数)去检查 error。
// package foo
type errNotFound struct {
file string
}
func (e errNotFound) Error() string {
return fmt.Sprintf("file %q not found", e.file)
}
func IsNotFoundError(err error) bool {
_, ok := err.(errNotFound)
return ok
}
func Open(file string) error {
return errNotFound{file: file}
}
// package bar
if err := foo.Open("foo"); err != nil {
if foo.IsNotFoundError(err) {
// handle
} else {
panic("unknown error")
}
}
Error 包装
如果调用失败,有三个主要选项用于 error 传递:
- 如果没有额外增加的上下文并且你想维持原始 error 类型,那么返回原始 error
- 使用
"pkg/errors".Wrap增加上下文,以至于 error 信息提供更多的上下文,并且"pkg/errors".Cause可以用来提取原始 error - 如果调用者不需要检查或者处理具体的 error 例子,那么使用
fmt.Errorf
推荐去增加上下文信息取代描述模糊的 error,例如 "connection refused",应该返回例如 "failed to call service foo: connection refused" 这样更有用的 error。
请参考 Don't just check errors, handle them gracefully.
处理类型断言失败
简单的返回值形式的类型断言在断言不正确的类型时将会 panic。因此,需要使用 ", ok" 的常用方式。
| Bad | Good |
|---|---|
t := i.(string) |
t, ok := i.(string) |
避免 Panic
生产环境跑的代码必须避免 panic。它是导致 级联故障 的主要原因。如果一个 error 产生了,函数必须返回 error 并且允许调用者决定是否处理它。
| Bad | Good |
|---|---|
func foo(bar string) {
|
func foo(bar string) error {
|
panic/recover 不是 error 处理策略。程序在发生不可恢复的时候会产生 panic,例如对 nil 进行解引用。一个例外是在程序初始化的时候:在程序启动时那些可能终止程序的问题会造成 panic。
var _statusTemplate = template.Must(template.New("name").Parse("_statusHTML"))
甚至在测试用例中,更偏向于使用t.Fatal或者t.FailNow解决 panic 确保这个测试被标记为失败。
| Bad | Good |
|---|---|
// func TestFoo(t *testing.T)
f, err := ioutil.TempFile("", "test")
|
// func TestFoo(t *testing.T)
f, err := ioutil.TempFile("", "test")
|
使用 go.uber.org/atomic
使用 sync/atomic 对原生类型(例如,int32,int64)进行原子操作的时候,很容易在读取或者修改变量的时候忘记使用原子操作。
go.uber.org/atomic 通过隐藏底层类型使得这些操作是类型安全的。此外,它还包含一个比较方便的 atomic.Bool 类型。
| Bad | Good |
|---|---|
type foo struct {
|
type foo struct {
|
性能
指定的性能指南仅适用于 hot path(译者注:hot path 指频繁执行的代码路径)
strconv 优于 fmt
对基本数据类型的字符串表示的转换,strconv 比 fmt 速度快。
| Bad | Good |
|---|---|
var i int = ... |
var i int = ... |
避免 string 到 byte 的转换
不要重复用固定 string 创建 byte slice。相反,执行一次转换后保存结果,避免重复转换。
| Bad | Good |
|---|---|
for i := ; i < b.N; i++ {
|
data := []byte("Hello world")
|
|
|
代码风格
聚合相似的声明
Go 支持分组声明。
| Bad | Good |
|---|---|
import "a" |
import ( |
也能应用于常量,变量和类型的声明。
| Bad | Good |
|---|---|
const a = |
const ( |
只需要对相关类型进行分组声明。不相关的不需要进行分组声明。
| Bad | Good |
|---|---|
type Operation int const ( |
type Operation int const ( |
分组不受限制。例如,我们可以在函数内部使用它们。
| Bad | Good |
|---|---|
func f() string {
|
func f() string {
|
包的分组导入的顺序
有两个导入分组:
- 标准库
- 其他库
这是默认情况下 goimports 应用的分组。
| Bad | Good |
|---|---|
import ( |
import ( |
包命名
当给包命名的时候,可以参考以下方法,
- 都是小写字母。没有大写字母或者下划线
- 在大多数场景下没必要重命名包
- 简明扼要。记住,每次调用时都会通过名称来识别。
- 不要复数。例如,要使用
net/url, 不要使用net/urls - 不要使用 "common", "util", "shared", "lib" 诸如此类的命名。这种方式不太好,无法从名字中获取有效信息。
也可以参考 Package Names 和 Style guideline for Go packages.
函数命名
我们遵循 Go 社区的习惯方法,使用驼峰法命名函数。测试函数是个例外,包含下划线是为了分组相关的测试用例。例如,TestMyFunction_WhatIsBeingTested。
别名导入
如果包名和导入路径的最后一个元素不匹配,则要使用别名导入。
import (
"net/http" client "example.com/client-go"
trace "example.com/trace/v2"
)
在大部分场景下,除非导入的包有直接的冲突,应该避免使用别名导入。
| Bad | Good |
|---|---|
import ( |
import ( |
函数分组和顺序
- 函数应该按大致的调用顺序排序
- 同一个文件的函数应该按接收者分组
因此,导出的函数应该在 struct,const,var 定义之后。
newXYZ()/NewXYZ() 应该在类型定义之后,并且在接收者的其余的方法之前出现。
因为函数是按接收者分组的,所以普通的函数应该快到文件末尾了。
| Bad | Good |
|---|---|
func (s *something) Cost() {
|
type something struct{ ... }
func newSomething() *something {
|
减少嵌套
在可能的情况下,代码应该通过先处理 错误情况/特殊条件 并提前返回或继续循环来减少嵌套。
| Bad | Good |
|---|---|
for _, v := range data {
|
for _, v := range data {
|
不必要的 else
如果在 if 的两个分支中都设置同样的变量,则可以用单个 if 替换它。
| Bad | Good |
|---|---|
var a int |
a := |
顶层变量的声明
在顶层,使用标准的 var 关键字。不要指定类型,除非它与表达式的类型不同。
| Bad | Good |
|---|---|
var _s string = F()
func F() string { return "A" }
|
var _s = F() |
如果表达式的类型与请求的类型不完全匹配,请指定类型。
type myError struct{}
func (myError) Error() string { return "error" }
func F() myError { return myError{} }
var _e error = F()
// F 返回了一个 myError 类型的对象,但是我们想要 error
在不可导出的全局变量前面加上 _
在不可导出的顶层 var 和 const 的前面加上 _,以便明确它们是全局符号。
特例:不可导出的 error 值前面应该加上 err 前缀。
理论依据:顶层变量和常量有一个包作用域。使用通用的名称很容易在不同的文件中意外地使用错误的值
| Bad | Good |
|---|---|
// foo.go const ( |
// foo.go const ( |
结构体的嵌入
嵌入的类型(例如 mutex)应该在结构体字段的头部,并且在嵌入字段和常规字段间保留一个空行来隔离。
| Bad | Good |
|---|---|
type Client struct {
|
type Client struct {
|
使用字段名去初始化结构体
当初始化结构体的时候应该指定字段名称,现在在使用 go vet 的情况下是强制性的。
| Bad | Good |
|---|---|
k := User{"John", "Doe", true}
|
k := User{
|
特例:当有 3 个或更少的字段时,可以在测试表中省略字段名。
tests := []struct{
}{
op Operation
want string
}{
{Add, "add"},
{Subtract, "subtract"},
}
局部变量声明
短变量声明(:=)应该被使用在有明确值的情况下。
| Bad | Good |
|---|---|
var s = "foo" |
s := "foo" |
然而,使用 var 关键字在某些情况下会让默认值更清晰,声明空 Slice,例如
| Bad | Good |
|---|---|
func f(list []int) {
|
func f(list []int) {
|
nil 是一个有效的 slice
nil 是一个长度为 0 的 slice。意思是,
使用
nil来替代长度为 0 的 slice 返回Bad Good if x == "" {
return []int{}
}if x == "" {
return nil
}检查一个空 slice,应该使用
len(s) == 0,而不是nil。Bad Good func isEmpty(s []string) bool {
return s == nil
}func isEmpty(s []string) bool {
return len(s) ==
}The zero value (a slice declared with
var) is usable immediately withoutmake().零值(通过
var声明的 slice)是立马可用的,并不需要make()。Bad Good nums := []int{}
// or, nums := make([]int) if add1 {
nums = append(nums, )
} if add2 {
nums = append(nums, )
}var nums []int if add1 {
nums = append(nums, )
} if add2 {
nums = append(nums, )
}
减少变量的作用域
在没有 减少嵌套 相冲突的情况下,尽量减少变量的作用域。
| Bad | Good |
|---|---|
err := f.Close() |
if err := f.Close(); err != nil {
|
如果在 if 之外需要函数调用的结果,则不要缩小作用域。
| Bad | Good |
|---|---|
if f, err := os.Open("f"); err == nil {
|
f, err := os.Open("f")
|
避免裸参数
函数调用中的裸参数不利于可读性。当参数名的含义不明显时,添加 C 语言风格的注释(/*…*/)。
| Bad | Good |
|---|---|
// func printInfo(name string, isLocal, done bool)
printInfo("foo", true, true)
|
// func printInfo(name string, isLocal, done bool)
printInfo("foo", true /* isLocal */, true /* done */)
|
更好的方法是,用自定义类型替换裸 bool 类型,以获得更可读的和类型安全的代码。这使得该参数未来的状态是可以增加的,不仅仅是两种(true/false)。
type Region int const (
UnknownRegion Region = iota
Local
) type Status int const (
StatusReady = iota +
StatusDone
// 可能未来我们将有一个 StatusInProgress 的状态
) func printInfo(name string, region Region, status Status)
使用原生字符串格式来避免转义
Go 支持 原生字符串格式 ,它可以跨越多行并包含引号。使用这些来避免手动转义的字符串,因为手动转义的可读性很差。
| Bad | Good |
|---|---|
wantError := "unknown name:\"test\"" |
wantError := `unknown error:"test"` |
初始化结构体
在初始化结构体的时候使用 &T{} 替代 new(T),以至于结构体初始化是一致的。
| Bad | Good |
|---|---|
sval := T{Name: "foo"}
// 不一致
|
sval := T{Name: "foo"}
sptr := &T{Name: "bar"}
|
在 Printf 之外格式化字符串
如果你在 Printf 风格函数的外面声明一个格式化字符串,请使用 const 值。
这有助于 go vet 对格式化字符串执行静态分析。
| Bad | Good |
|---|---|
msg := "unexpected values %v, %v\n" |
const msg = "unexpected values %v, %v\n" |
Printf-style 函数的命名
当你声明一个 Printf 风格的函数,请确认 go vet 能够发现并检查这个格式化字符串。
这意味着你应该尽可能为 Printf 风格的函数名进行预定义 。go vet 默认会检查它们。查看 Printf family 获取更多信息。
如果预定义函数名不可取,请用 f 作为名字的后缀即 wrapf,而不是 wrap。go vet 可以检查特定的 printf 风格的名称,但它们必须以 f 结尾。
$ go vet -printfuncs=wrapf,statusf
请参考 go vet: Printf family check。
设计模式
表格驱动测试
当核心测试逻辑重复的时候,用 subtests 做表格驱动测试(译者注:table-driven tests 即 TDT 表格驱动方法)可以避免重复的代码。
| Bad | Good |
|---|---|
// func TestSplitHostPort(t *testing.T)
host, port, err := net.SplitHostPort("192.0.2.0:8000")
|
// func TestSplitHostPort(t *testing.T)
tests := []struct{
|
表格驱动测试使向错误消息添加上下文、减少重复逻辑和添加新测试用例变得更容易。
我们遵循这样一种约定,即结构体 slice 被称为 tests,每个测试用例被称为 tt。此外,我们鼓励使用 give 和 want前缀解释每个测试用例的输入和输出值。
tests := []struct{
give string
wantHost string
wantPort string
}{
// ...
}
for _, tt := range tests {
// ...
}
函数参数可选化
函数参数可选化(functional options)是一种模式,在这种模式中,你可以声明一个不确定的 Option 类型,该类型在内部结构体中记录信息。函数接收可选化的参数,并根据在结构体上记录的参数信息进行操作
将此模式用于构造函数和其他需要扩展的公共 API 中的可选参数,特别是在这些函数上已经有三个或更多参数的情况下。
| Bad | Good |
|---|---|
// package db func Connect( |
type options struct {
|
请参考,
GO代码风格指南 Uber Go (转载)的更多相关文章
- 《Google 代码风格指南》
<Google 代码风格指南> https://github.com/google/styleguide
- python的PEP8 代码风格指南
PEP8 代码风格指南 这篇文章原文实际上来自于这里:https://www.python.org/dev/peps/pep-0008/ 知识点 代码排版 字符串引号 表达式和语句中的空格 注释 版本 ...
- C++代码风格指南总结
C++代码风格指南 代码风格的重要性 今天我收到thougthwork笔试没过的消息, 心里确实很难受, 然后师兄说我代码写得很糟糕 细想一下, 我写代码确实是随心所欲, 并没有遵循什么规范; 所以现 ...
- Google JavaScript代码风格指南
Google JavaScript代码风格指南 修正版本 2.28 Aaron Whyte Bob Jervis Dan Pupius Eric Arvidsson Fritz Schneider R ...
- 大神的JS代码风格指南
js代码风格指南:1.缩进使用空格,不要用制表符2.必须用分号3.暂时不用ES6(modules)例如export和import命令4.不鼓励(不禁止)水平对齐5.少用var 都应该使用const或者 ...
- 读 Angular 代码风格指南
读 Angular 代码风格指南 本文写于 2021 年 1 月 17 日 原文地址:Angular 文档 该文章拥有完整的代码风格指南--大到如何编排文件夹,小到如何进行变量命名都涉及.但是与 ng ...
- python代码风格指南:pep8 中文翻译
摘要 本文给出主Python版本标准库的编码约定.CPython的C代码风格参见PEP7.本文和PEP 257 文档字符串标准改编自Guido最初的<Python Style Guide&g ...
- python代码风格指南:pep8 中文版
本文档所提供的编码规范,适用于主要的Python发行版中组成标准库的Python代码.请参阅PEP关于Python的C实现的C编码风格指南的描述. 本文档和PEP257(文档字符串规范)改编自Guid ...
- Google代码风格指南
官网:https://github.com/google/styleguide 中文版:https://github.com/zh-google-styleguide/zh-google-styleg ...
随机推荐
- 采用最简单的方式在ASP.NET Core应用中实现认证、登录和注销
在安全领域,认证和授权是两个重要的主题.认证是安全体系的第一道屏障,是守护整个应用或者服务的第一道大门.当访问者请求进入的时候,认证体系通过验证对方的提供凭证确定其真实身份.认证体系只有在证实了访问者 ...
- JDK_API关于时间的表达
判断日期是否是闰年 给定格式格式化 第二种表示时间的 Date java.util 类 Date 表示特定的瞬间,精确到毫秒. 构造方法 Date( ...
- SpringMvc @Validated注解执行原理
@Validated和@Valid对比 Spring Validation验证框架对参数的验证机制提供了@Validated(Spring's JSR-303规范,是标准JSR-303的一个变种),j ...
- jmeter3.3 接口压测入门和软件下载
Jmeter3.3软件下载地址 https://download.csdn.net/download/qq_36625806/11076556 简单的使用教程 1.启动Jmeter 双击jemeter ...
- 如何从零基础开始学习LoadRunner12(一)
如何从零基础开始学习LoadRunner12(一) 上一篇文章讲到了如何安装LR12的教程,这一篇文章来讲一下怎么利用LoadRunner自带的Sample来学习LoadRunner的基本使用. 首先 ...
- C++中decltype(*)作为模板实参时的隐藏问题
在函数模板中使用智能指针时,可能会希望根据指针的类型推导出指针引用的对象类型作为模板参数,于是写出以下代码: shared_ptr<decltype(*objPtr)>(objPtr); ...
- 【翻译】如何使用 OpenVINO 来优化 OpenCV
本文翻译自 Vishwesh Shrimali 的 "Using OpenVINO with OpenCV" 原文链接: https://www.learnopencv.com/ ...
- Building Applications with Force.com and VisualForce (DEV401) (二二):Visualforce Componets (Tags) Library Part II
Dev401-023:Visualforce Pages: Visualforce Componets (Tags) Library Part II Apex:pageBlockTable1.A ...
- OpenCV-Python 轮廓:更多属性 | 二十四
目标 在本章中,我们将学习 凸性缺陷以及如何找到它们 查找点到多边形的最短距离 匹配不同的形状 理论和代码 1. 凸性缺陷 我们看到了关于轮廓的第二章的凸包.从这个凸包上的任何偏差都可以被认为是凸性缺 ...
- 终极指南:构建用于检测汽车损坏的Mask R-CNN模型(附Python演练)
介绍 计算机视觉领域的应用继续令人惊叹着.从检测视频中的目标到计算人群中的人数,计算机视觉似乎没有无法克服的挑战. 这篇文章的目的是建立一个自定义Mask R-CNN模型,可以检测汽车上的损坏区域(参 ...