关于go:Go中的错误和异常处理最佳实践

本文已收录编程学习笔记。涵盖 PHP、JavaScript、Linux、Golang、MySQL、Redis 和开源工具等等相干内容。

谬误

意识谬误

在 Go 中，谬误是一种示意程序谬误状态。蕴含了在程序在运行时、编译时的状态信息。个别咱们在编写 Go 代码中，都会碰到如下的解决形式。

file, err := os.Create("test.txt")

fmt.Println(file)

if err != nil {fmt.Println(err)
  return
}

咱们应用 os 库创立一个名为 test.txt 的文件，该办法返回一个文件指针或 err 的错误信息。

err 示意文件创建失败时的错误信息。当存储谬误时，咱们则对程序做错误处理；不存在谬误时，则失常执行其余的逻辑代码。

自定义谬误

在 Go 中是容许咱们自定义错误信息的。自定义错误信息须要利用自带的 error 报中的 New()函数。如下示例代码：

package main

import (
    "errors"
    "fmt"
)

func printError() (a int, err error) {err = errors.New("打印错误信息")
    a = 1
    return
}

func main() {i, err := printError()
    fmt.Println("i value is", i)
    if err != nil {fmt.Println(err)
        return
    }
}

具体的打印信息：i value is 1 打印错误信息。

实现原理

在应用 errors.New() 函数时，该包中申明了一个构造体 errorString 并且实现了 error 接口体中的办法Error()。

// errors 包
package errors

func New(text string) error {return &errorString{text}
}

type errorString struct {s string}

func (e *errorString) Error() string {return e.s}

// error 接口
type error interface {Error() string
}

异样

意识异样

异样是程序在 编译时 或者 运行时 产生的异样信息。如果不对异样做解决，可能导致程序终止程序或者抛出异样信息，导致程序无奈失常运行。不论是在程序编译或者运行时，都须要对异样进行严格解决。如下代码，程序在编译时就会触发异样，导致无奈进行失常编译：

package main

import "fmt"

func main() {panic("print panic")
    fmt.Println("end")
}

打印后果

╰─ go run demo6.go 
panic: print panic

goroutine 1 [running]:
main.main()
        /usr/local/var/www/go/golang_code/src/syntax/err/demo6.go:20 +0x39
exit status 2

1. Go 运行时会触发运行时 panic，随同着程序的解体抛出一个 runtime.Error 接口类型的值。这个谬误值有个 RuntimeError() 办法用于区别一般谬误。
2. panic 能够间接从代码初始化：当谬误条件（咱们所测试的代码）很严苛且不可复原，程序不能持续运行时，能够应用 panic 函数产生一个停止程序的运行时谬误。
3. panic 接管一个做任意类型的参数，通常是字符串，在程序死亡时被打印进去。Go 运行时负责停止程序并给出调试信息。
4. 在多层嵌套的函数调用中调用 panic，能够马上停止以后函数的执行。

解决异样

当程序在运行过程中产生异样，会终止程序的失常运行。须要严格解决异样信息。Go 中能够应用 recover()将程序从 panic 中获取异样信息，并获取程序的执行权。

1. 正如名字一样，这个（recover）内建函数被用于从 panic 或 谬误场景中复原：让程序能够从 panicking 从新取得控制权，进行终止过程进而恢复正常执行。
2. recover只能 在 defer 润饰的函数中应用：用于获得 panic 调用中传递过去的谬误值，如果是失常执行，调用 recover 会返回 nil，且没有其它成果。
3. panic 会导致栈被开展直到 defer 润饰的 recover()被调用或者程序停止。
4. 所有的 defer 语句都会保障执行并把控制权交还给接管到 panic 的函数调用者。这样向上冒泡直到最顶层，并执行（每层的）defer，在栈顶处程序解体，并在命令行中用传给 panic 的值报告谬误状况：这个终止过程就是 panicking。

异样解决准则

1. 在包外部，应该从 panic 中 recover：不容许显式的超出包范畴的 panic()。在包外部，特地是在非导出函数中有很深层次的嵌套调用时，对主调函数来说用 panic 来示意应该被翻译成谬误的谬误场景是很有用的（并且进步了代码可读性）。
2. 在包内部，向包的调用者返回谬误值（而不是 panic）。
3. Go 库的准则是即便在包的外部应用了 panic，在它的对外接口（API）中也必须用 recover 解决成返回显式的谬误。

异样解决实际

上面的示例代码，在被调用函数 printPanic()中触发一个 panic()，在 main()函数中应用 defer 中接管 panic()信息，并对 panic()做异样解决。

package main

import "fmt"

func printPanic() {panic("panic exception")
}

func main() {defer func() {err := recover()
        if err != nil {fmt.Println("panic is", err)
        }
    }()

    printPanic()

    fmt.Println("end")
}

打印后果

╰─ go run demo5.go
i value is 1
打印错误信息