【华为云专家原创】没有 try-catch,该如何处理 Go 错误异常?

举报
aoho 发表于 2020/12/16 18:59:41 2020/12/16
【摘要】 错误处理是软件开发中不可回避的问题,「Go 中主要通过 error 和 panic 分别表示错误和异常」,并提供了较为简洁的错误异常处理机制。本文我们就来介绍 Go 中的一些错误处理机制,再聊聊 Go 语言中错误处理的槽点和期望。Errorsare values错误处理是每个开发人员都需要面对的问题,在我过去接触的编程语言中,大多是通过「try-catch 的方式」对可能出现错误的代码块进行...

错误处理是软件开发中不可回避的问题,Go 中主要通过 error 和 panic 分别表示错误和异常,并提供了较为简洁的错误异常处理机制。本文我们就来介绍 Go 中的一些错误处理机制,再聊聊 Go 语言中错误处理的槽点和期望。

Errorsare values

错误处理是每个开发人员都需要面对的问题,在我过去接触的编程语言中,大多是通过try-catch 的方式对可能出现错误的代码块进行包装:程序运行 try 中代码,如果 try 中的代码运行出错,程序将会立即跳转到 catch 中执行异常处理逻辑

与其他的编程语言不同,Go中倡导“Errorsare values!”的处理思想,它将 error 作为一个返回值,来迫使调用者对 error 进行处理或者忽略。于是,在代码中我们将会编写大量的 if 判断语句对 error 进行判断,如下所示:

result, err := dothing("work")
if err != nil {
log.Fatal(err)
}
// do other thing

当项目的代码快速增长起来时,我们会发现代码中到处都是类似 err != nil 的判断片段。虽然这会使代码变得很烦琐,但是这种设计和约定也会鼓励开发人员明确检查和确定错误发生的位置。

在 Go 中,error 接口定义如下:

type error interface {
Error() string
}

最常用的 error 实现是 Go 标准库 errors 包中内置的 errorString,它是一个仅包含错误信息的error 实现,可以通过 errors.New 和 fmt.Errorf 函数创建。内置的 error 接口使得开发人员可以为错误添加任何所需的信息,error 可以是实现 Error() 方法的任何类型,比如我们可以为错误添加错误码和调用栈信息,如下所示:

type Error struct {
Msg string
Code int32
St []uintptr // 调用栈
}
// 获取调用栈信息
func callers() []uintptr {
var pcs [32]uintptr
n := runtime.Callers(3, pcs[:])
st := pcs[0:n]
return st
}
func New(code int32, msg string) error {
return &Error{
Code: int32(code),
Msg:  msg,
St: callers(),
}
}
func (e *Error) Error() string {
if e == nil {
return "OK"
}
return fmt.Sprintf("code:%d, msg:%s", e.Code, e.Msg)
}

通过断言的方式可以将 error 转化为特定的类型从而进行特异化处理,如下所示:

if e, ok := err.(*Error); ok {
// 取出堆栈信息进行处理
st := e.st
// ....
}else {
// 其他错误处理
}

在 Go 1.13版本之后,errors 包中添加了errors.Is 和 errors.As 函数:errors.Is 方法用来比较两个 error 是否相等,而 errors.As 函数用来判断 error 是否为特定类型。

由于 error 是一个值,因此我们可以对其进行编程,简化 Go 错误处理的重复代码。在一些管道和循环的代码中,只要其中一次处理出现错误,就应该退出本次管道或者循环。寻常的做法是在每次迭代都检查错误,但为了让管道和循环的操作显得更加自然,我们可以将 error 封装到独立的方法或者变量中返回,以避免错误处理掩盖控制流程,如 gorm 中的 DB 设计所示:

err := DB.Where(queryString, queryValue...).
Table("table_name").
Updates(map[string]interface{}{...}).Error
if err != nil{
// 错误处理逻辑
}

这里error 是从 gorm.DB 的 Error 成员变量中获取的。在数据库请求执行结束之后,程序才从 DB 中获取执行错误,这样的写法使得错误处理不会中断执行流程。但需要注意的是,无论如何简化 error 的设计,程序都要检查和处理错误,错误是无法避免的。

defer、panic 和 recover

错误一般是一些开发人员“意料之内”的错误,比如获取数据库连接失败等,这些都是在 Go 中通过 error 表达并可控。但当程序出现异常,如数组访问越界这类“意料之外”的错误时,它能够导致程序运行崩溃,此时就需要开发人员捕获异常并恢复程序的正常运行流程。

接下来我们就介绍defer、panic 和 recover 如何组合恢复运行时执行异常的 Go 程序。

defer 是 Go 中提供的一种延迟执行机制,每次执行 defer,都会将对应的函数压入栈中。在函数返回或者 panic 异常结束时,Go 会依次从栈中取出延迟函数执行。

在编程的时候,经常需要打开一些资源,比如数据库连接、文件等,在资源使用完成之后需要释放,不然有可能会造成资源泄漏。这个时候,我们可以通过 defer 语句在函数执行完之后,自动释放资源,避免在每个函数返回之前手动释放资源,减少冗余代码。

defer 有三个比较重要的特点。一个是****按照调用 defer 的逆序执行,即后调用的在函数退出时先执行,后进先出。如下例子所示:

func main()  {
 defer fmt.Println("I register at first, but execute at last")
 defer fmt.Println("I register at middle, execute at middle")
 defer fmt.Println("I register at last, execute at first")
 fmt.Println("test begin")
}

预期的结果为:

test begin
I register at last, execute at first
I register at middle, execute at middle
I register at first, but execute at last

第二个特点是 defer 被定义时,参数变量会被立即解析,传递参数的值拷贝。在函数内使用的变量其实是对外部变量的一个拷贝,在函数体内,对变量更改也不会影响外部变量,如下所示:

func main()  {
 i := 10
 defer fmt.Printf("defer i is %d\n", i)
 i = 20
 fmt.Printf("current i is %d\n", i)
}

预期结果为:

current i is 20
defer i is 10

然而当 defer 以闭包的方式引用外部变量时,则会在延迟函数真正执行的时候,根据整个上下文确定当前的值,如下示例代码:

func main()  {
for i := 0; i < 5; i++ {
defer func() {
fmt.Println(i)
}()
}
}

预期的输出结果为:

5
5
5
5
5

上述例子为了演示简单,在 for 循环中使用了defer,但**在日常开发中,我建议你还是不要在循环中使用 defer。因为相较于直接调用,defer 的执行存在着额外的开销,例如defer 会对其后需要的参数进行内存拷贝,还会对 defer 结构进行压栈出栈操作。因此,在循环中使用 defer 可能会带来较大的性能开销。

defer的第三个特点是可以读取并修改函数的命名返回值,如下面的例子所示:

func main()  {
 fmt.Println(test())
}
func test() (i int) {
 defer func() { i++ }()
 return 1
}

预期的返回结果为:

2

这是因为对于命名返回值,defer 和 return 的执行顺序如下:

  • 将 1 赋给 i;
  • 执行 i++;
  • 返回 i 作为函数返回值。

defer 的内部实现为一个延迟调用链表,如下图所示:

图片图片

defer延迟调用链表示意图

其中,g 代表 goroutine 的数据结构。每个 goroutine 中都有一个 _defer 链表,当代码中遇到 defer 关键字时,Go 都会将 defer 相关的函数和参数封装到 _defer 结构体中,然后将其注册到当前 goroutine 的 _defer 链表的表头。在当前函数执行完毕之后,Go 会从goroutine的 _defer 链表头部取出来注册的 defer 执行并返回。

_defer 结构体中存储 defer 执行相关的信息,定义如下所示:

type _defer struct {
siz       int32 // 参数与结果内存大小
started   bool
heap      bool // 是否在堆上分配
openDefer bool //是否经过开放编码优化
sp        uintptr // 栈指针
pc        uintptr // 调用方的程序计数器
fn        *funcval // defer 传入的函数
_panic    *_panic
link      *_defer // 下一个 _defer
}

panic 是一个内置函数,用于抛出程序执行的异常。它会终止其后将要执行的代码,并依次逆序执行 panic 所在函数可能存在的 defer 函数列表;然后返回该函数的调用方,如果函数的调用方中也有 defer 函数列表,也将被逆序执行,执行结束后再返回到上一层调用方,直到返回当前 goroutine 中的所有函数为止,最后报告异常,程序崩溃退出。异常可以直接通过 panic 函数调用抛出,也可能是因为运行时错误而引发,比如访问了空指针等。

recover 内置函数可用于捕获 panic,重新恢复程序正常执行流程,但是 recover 函数只有在 defer 内部使用才有效。如下面例子所示:

func main() {
err := panicAndReturnErr()
if err != nil{
fmt.Printf("err is %+v\n", err)
}
fmt.Println("returned normally from panicAndReturnErr")
}
func panicAndReturnErr() (err error){
defer func() {
        // 从 panic 中恢复
if e := recover(); e != nil {
            // 打印栈信息
buf := make([]byte1024)
buf = buf[:runtime.Stack(buf, false)]
err = fmt.Errorf("[PANIC]%v\n%s\n", e, buf)
}
}()
fmt.Println("panic begin")
panic("panic this game")
fmt.Println("panic over")
return nil
}

预期的执行结果为:

panic begin
err is [PANIC]panic this game
goroutine 1 [running]:
main.panicAndReturnErr.func1(0xc000062f08)
/Users/apple/Desktop/micro-go-course/section37/defer_example.go:21 +0xa1
panic(0x10ad6400x10eb360)
/usr/local/go/src/runtime/panic.go:969 +0x166
main.panicAndReturnErr(0x00x0)
/Users/apple/Desktop/micro-go-course/section37/defer_example.go:26 +0xc2
main.main()
/Users/apple/Desktop/micro-go-course/section37/defer_example.go:10 +0x26
returned normally from panicAndReturnErr

从这个执行结果可以看出,panicAndReturnErr 函数在 panic 之后将会执行 defer 定义的延迟函数,恢复程序的正常执行逻辑。在上述例子中,我们在 defer 函数中使用 recover 函数帮助程序从 panic 中恢复过来,并获取异常堆栈信息组成 error 返回调用方。panicAndReturnErr 从 panic 中恢复后将直接返回,不会执行函数中 panic 后的其他代码。

在日常开发中,对于可能出现执行异常的函数,如数组越界、操作空指针等,在函数中定义一个使用 recover 函数的 defer 延迟函数,有利提高程序执行的健壮性,避免程序运行时异常崩溃。

Go 错误处理的一些吐槽

Go 语言的错误处理在社区一直有争议,Go 错误处理方式也一直是很多人诟病的地方,有些人吐槽说一半的代码都是 if err != nil { / 打印 && 错误处理 / },严重影响正常的处理逻辑。

Go 使用的是对显式错误结果的显式错误检查,而其他异常处理型语言(诸如C++,C#,Java等)使用的是对隐式结果进行隐式检查。 对于异常处理型语言的处理方式,因我们全然看不到隐式检查,所以难以验证程序是否正确恢复到检查失败时的状态。当我们区分错误和异常,根据规则设计函数,就会大大提高可读性和可维护性。

我们往往期望的是在代码中减少大量错误检查代码,使错误检查更轻量,使错误处理更便捷。所以期待在后面的 Go 版本能够减少重复地异常处理,使得错误检查及错误处理保持显式的方式,并兼容现有代码。

小结

本文我们主要介绍了Go 中常见的错误处理机制 Go 倡导将错误作为返回值返回给调用方,由调用方决定如何处理或者忽略错误。通过 defer 和 recover 内置函数,我们可以轻易地将运行时异常的 Go 程序恢复到正常执行流程。从程序开发的角度来说,建立'速错'理念,程序终止了,你就会第一时间知道错误。因此,我们在早期开发阶段,最简单的同时也可能是最好的方法是调用panic函数来中断程序的执行以强制发生错误,使得该错误不会被忽略,因而能够尽快修复,保证应用程序的稳定性。

推荐阅读

Serverless 架构就不要服务器了?

微服务架构中使用 ELK 进行日志采集以及统一处理

如何使用 Prometheus 和 Grafana 监控预警服务集群?

订阅最新文章,欢迎关注我的公众号:aoho求索

【版权声明】本文为华为云社区用户原创内容,转载时必须标注文章的来源(华为云社区)、文章链接、文章作者等基本信息, 否则作者和本社区有权追究责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

0/1000
抱歉,系统识别当前为高风险访问,暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称,即可参与社区互动!

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

举报
请填写举报理由
0/200