高质量编程
简介:
高质量代码:编写的代码能够达到正确可靠、简介清晰的目标
包括:
- 各种边界条件是否考虑完备
- 异常情况处理,稳定性保证
- 易读易维护
编程原则:
1、简单性
- 消除多余的复杂性,以简单清晰的逻辑编写代码
- 不理解的代码无法修复改进
2、可读性
- 代码让人能读懂
- 编写可维护代码的第一步是确保代码可读
3、生产力
- 团队整体工作效率非常重要
编程规范:
-
代码格式
推荐使用 gofmt 自动格式化代码
-
注释
注释应该做的:
-
注释应该解释代码作用
-
注释应该解释代码如何做的及其实现的原因
-
注释应该解释代码什么情况会出错
公共符号始终要注释
包中声明的每个公共的符号:变量、常量、函数以及结构都需要添加注释
-
-
命名规范
变量:
-
简洁胜于冗长
-
缩略词全大写,但当其位于变量开头且不需要导出时,使用全小写
- 例如 使用 ServeHTTP而不是ServeHttp
- 使用 XMLHTTPRequest 或者 xmlHTTPRequest
- 变量距离其被使用的地方越远,则需要携带越多的上下文信息
函数:
- 函数名不携带包名的上下文信息,因为包名和函数名总是成对出现的
- 函数名尽量简短
- 当名为 foo 的包某个函数返回类型 Foo时,可以省略类型信息而不导致歧义
- 当名为 foo 的包某个函数返回类型 T 时,可以在函数名中加入类型信息
包:
- 只由小写字母组成。
- 简短并包含一定的上下文信息。例如 schema、task等
- 不要与标准库同名。
-
-
控制流程
- 避免嵌套,保持正常流程清晰
- 尽量保持正常代码路径为最小缩进
-
错误和异常处理
简单错误
- 简单的错误指的是仅出现一次的错误,且在其他地方不需要捕获该错误
- 优先使用 errors.New 来创建匿名变量来直接表示简单错误
- 如果有格式化的需求,使用 fmt.Errorf
错误的 Wrap 和 Unwrap
- 错误的 Wrap实际上是提供了一个error嵌套另一个error的能力,从而生成一个 error的跟踪链
- 在 fmt.Errorf 中使用:%w 关键字来将一个错误关联至错误链中
错误判定
- 判定一个错误是否为特定错误,使用 errors.Is
- 不同于使用==,使用该方法可以判定错误链上的所有错误是否含有特定的错误
- 在错误链上获取特定种类的错误,使用errors.As
panic
- 不建议在业务代码中使用panic
- 调用函数不包含recover 会造成程序崩溃
- 若问题可以被屏蔽或解决,建议使用error代替panic
- 当程序启动阶段发生不可逆转的错误时,可以在 init 或 main 函数中使用 panic
recover
- recover 只能在被defer的函数中使用
- 嵌套无法生效
- 只在当前 goroutine生效
- defer 的语句是后进先出
- 如果需要更多的上下文信息,可以recover后在 log 中 记录当前的调用栈
性能优化建议
针对 Go语言特性,介绍 Go 相关的性能优化建议。
Benchmark
Go 语言提供了支持基准性能测试的 benchmark工具。
go test -bench=. -benchmem
Slice预分配内存
- 尽可能在使用 make()初始化切片时提供容量信息
- 切片本质是一个数组片段的描述(包括:数组指针、片段的长度、片段的容量)。切片操作并不复制切片指向的元素。创建一个新的切片会复用原来切片的底层数组
Map预分配内存
分析
- 不断向 map 中添加元素的操作会触发 map 的扩容
- 提前分配好空间可以减少内存拷贝和 Rehash的消耗
- 建议根据实际需求提前预估好需要的空间
使用string.Builder
常见的字符串拼接方式
- 使用 + 拼接性能最差,strings.Builder, bytes.Buffer 相近,strings.Buffer 更快。
- 使用 + 每次都会重新分配内存。strings.Builder, bytes.Buffer 底层都是 []byte数组,采用内存扩容策略,不需要每次拼接重新分配内存。
空结构体
使用空结构体节省内存
-
空结构体 strict{} 实例不占据任何的内存空间
-
可作为各种场景下的占位符使用
- 节省资源
- 空结构体本身具备很强的语义,即这里不需要任何值,仅作为占位符
atomic包
使用 atomic包
- 锁的实现是通过操作系统来实现,属于系统调用
- atomic操作是通过硬件实现,效率比锁高
- sync.Mutex 应该用来保护一段逻辑,不仅仅用于保护一个变量
- 对于非数值操作,可以使用 atomic.Value,能承载一个 interface{}
性能调优实战
性能调优原则
- 要依靠数据不是猜测
- 要定位最大瓶颈而不是细枝末节
- 不要过早优化
- 不要过度优化
性能分析工具 pprof
pprof是用于可视化和分析性能分析数据的工具
CPU命令:
1、topN:查看占用资源最多的函数
2、list:根据指定的正则表达式查找代码行
3、web:调用关系可视化
Heap-堆内存
1、Top视图
2、Source试图
goroutine-协程
mutex-锁
block-阻塞
...
性能调优案例
1、业务服务优化流程
-
建立服务性能评估手段
- 服务性能评估方式:单独benchmark 无法满足复杂逻辑分析;不同负载情况下性能表现差异
- 请求流量构造:不同请求参数覆盖逻辑不同;线上真实流量情况
- 压测范围:单机器压测、集群压测
- 性能数据采集:单机性能数据、集群性能数据
-
分析性能数据,定位性能瓶颈
- 使用库不规范
- 高并发场景优化不足
-
重点优化项改造
- 正确性是基础
- 相应数据diff:线上请求数据录制回放、新旧逻辑接口数据diff
-
优化效果验证
- 重复压测验证
- 上线评估优化效果:关注服务监控、逐步放量、收集性能数据
-
进一步优化,服务整体链路分析
- 规范上游服务调用接口,明确场景需求
- 分析链路,通过业务流程优化提升服务性能
2、基础库优化
-
AB 实验 SDK 的优化
- 分析基础库核心逻辑和性能瓶颈
- 内部压测验证
- 推广业务服务落地验证
3、Go语言优化
-
编译器&运行时优化
- 优化内存分配策略
- 优化代码编译流程,生成更高效的程序
- 内部压测验证
- 推广业务服务落地验证