13.Go 异常

1、宕机

Go语言的类型系统会在编译时捕获很多错误,但有些错误只能在运行时检查,如数组访问越界、空指针引用等,这些运行时错误会引起宕机。

一般而言,当宕机发生时,程序会中断运行,并立即执行在该goroutine(线程)中被延迟的函数(defer机制),随后,程序崩溃并输出日志信息。日志信息包括panic value和函数调用的堆栈跟踪信息,panicvalue通常是某种错误信息。

引发宕机有如下两种情况:

  • 程序主动调用panic()函数。
  • 程序产生运行时错误,由运行时检测并抛出。

发生panic后,程序会从调用panic的函数位置或发生panic的地方立即返回,逐层向上执行函数的defer语句,然后逐层打印函数调用堆栈,直到被recover捕获或运行到最外层函数而退出。

panic的参数是一个空接口类型interface{},所以,任意类型的变量都可以传递给panic。调用panic的方法非常简单,即panic (xxx)。

panic不但可以在函数正常流程中抛出,在defer逻辑中也可以再次调用panic或抛出panic。defer中的panic能够被后续执行的defer捕获。

Go语言可以在程序中手动触发宕机,让程序崩溃,这样开发者可以及时发现错误,同时减少可能的损失。

Go语言程序在宕机时,会将堆栈和goroutine信息输出到控制台,所以,宕机也可以方便地确定发生错误的位置。

func main() {
    panic("crash")
}


当panic()触发的宕机发生时,panic()后面的代码将不会被运行,但是在panic()函数前面已经运行过的defer语句依然会在宕机发生时发生作用:

func main() {
	defer fmt.Println("宕机时要做的事情1...")
	defer fmt.Println("宕机时要做的事情2...")
	panic("crash")
}

2、宕机恢复

无论代码运行错误是由Runtime层抛出的panic崩溃,还是主动触发的panic崩溃,都可以配合defer和recover实现错误的捕捉和恢复,让代码发生崩溃后允许继续运行。

recover()用来捕获panic,阻止panic继续向上传递。recover()函数可以和defer语句一起使用,但recover()函数只有在defer后面的函数体内被直接调用才能捕获panic终止异常,否则会返回nil,异常继续向外传递。

可以有连续多个panic被抛出,连续多个被抛出的场景只能出现在延迟调用中。虽然有多个panic被抛出,但是只有最后一次的panic才能被捕获:

func main() {
	defer func() {
		if err := recover(); err != nil {
			fmt.Println(err)
		}
	}()

	// 只有最后一次的panic调用能够被捕获
	defer func() {
		panic("first defer panic")
	}()

	defer func() {
		panic("second defer panic")
	}()
	panic("main body panic")
}

panic和recover的关系如下:

  • 有panic没recover,程序宕机。
  • 有panic也有recover,程序不会宕机,执行完对应的defer语句后,从宕机点退出当前函数后继续执行。
3、错误与处理

Go语言的错误处理过程如下:

  • 一个可能造成错误的函数,需要返回值中返回一个错误接口,如果调用是成功的,错误接口将返回nil,否则返回错误。
  • 在函数调用后需要检查错误,如果发生错误,则进行必要的错误处理。
a. 错误接口

error是Go语言系统声明的接口类型,语法格式:type error interface {Error() string}

所有符合Error()string格式的方法,都能实现错误接口,Error()方法返回错误的具体描述,使用者可以通过该字符串知道发生了什么错误。

Go语言内置错误接口类型error。任何类型只要实现Error() string方法,都可以传递error接口类型变量。Go语言典型的错误处理方式是将error作为函数最后一个返回值。在调用函数时,通过检测其返回的error值是否为nil来进行错误处理。

b. 自定义错误

返回错误前,需要定义会产生哪些可能的错误,在Go语言中,使用errors包进行错误的定义,格式如下:

var err = errors.New("this is an error")

错误字符串由于相对固定,一般在包作用域声明,应尽量减少在使用时直接使用errors.New返回。

errors 包:Go语言的errors中对New的定义非常简单

// 创建错误对象
func New(text string) error {
	return &errorString{text}
}

// 错误字符串
type errorString struct {
	s string
}

// 返回发生何种错误
func (e *errorString) Error() string {
	return e.s
}
  • 第2行:将errorString结构体实例化,并赋值错误描述的成员。
  • 第7行:声明errorString结构体,拥有一个成员,描述错误内容。
  • 第12行:实现error接口的Error()方法,该方法返回成员中的错误描述。

在代码中使用错误定义——例如:定义一个除法函数,当除数为0时,返回一个预定义的除数为0的错误。

// 定义除数为0的错误
var errDivisionByZero = errors.New("division by zero")

func div(dividend, divisor int) (int, error) {
	// 判断除数为0的情况并返回
	if divisor == 0 {
		return 0, errDivisionByZero
	}
	// 正常计算,返回空错误
	return dividend / divisor, nil
}

func main() {
	fmt.Println(div(1, 0))
}

c. 错误和异常

错误是指发生非期望的已知行为,这里的已知是指错误的类型是预料并定义好的。

异常是指发生非期待的未知行为。这里的未知是指错误的类型不在预先定义的范围内。异常又被称为未捕获的错误(untrapped error)。程序在执行时发生未预先定义的错误,程序编译器和运行时都没有及时将其捕获处理,而是由操作系统进行异常处理。

在Go语言中对于错误提供了两种处理机制:

  • 通过函数返回错误类型的值来处理错误。
  • 通过panic打印程序调用栈,终止程序执行来处理错误。

对错误的处理也有两种方法:

  • 一种是通过返回一个错误类型值来处理错误,
  • 另一种是直接调用panic抛出错误,退出程序。

Go是静态强类型语言,程序的大部分错误是可以在编译器检测到的,但是有些错误行为需要在运行期才能检测出来。此种错误行为将导致程序异常退出。其表现出的行为就和直接调用panic一样:打印出函数调用栈信息,并且终止程序执行。

在实际的编程中,error和panic的使用应该遵循以下原则:

(1)程序发生的错误导致程序不能容错继续执行,此时程序应该主动调用panic或由运行时抛出panic。

(2)程序虽然发生错误,但是程序能够容错继续执行,此时应该使用错误返回值的方式处理错误,或者在可能发生运行时错误的非关键分支上使用recover捕获panic。

相关推荐

  1. Go异常处理

    2024-01-04 13:22:03       26 阅读
  2. go实现异常捕捉

    2024-01-04 13:22:03       12 阅读
  3. Go 处理错误&异常

    2024-01-04 13:22:03       7 阅读
  4. Go语言异常处理方式

    2024-01-04 13:22:03       13 阅读
  5. 15异常处理

    2024-01-04 13:22:03       32 阅读

最近更新

  1. TCP协议是安全的吗?

    2024-01-04 13:22:03       19 阅读
  2. 阿里云服务器执行yum,一直下载docker-ce-stable失败

    2024-01-04 13:22:03       19 阅读
  3. 【Python教程】压缩PDF文件大小

    2024-01-04 13:22:03       19 阅读
  4. 通过文章id递归查询所有评论(xml)

    2024-01-04 13:22:03       20 阅读

热门阅读

  1. LVM 实战指南

    2024-01-04 13:22:03       43 阅读
  2. Go语言开发IDE全面分析

    2024-01-04 13:22:03       40 阅读
  3. 网络安全之基础术语

    2024-01-04 13:22:03       41 阅读
  4. python中装饰器的简单使用

    2024-01-04 13:22:03       37 阅读
  5. 面向期末的并行与分布式程序设计总结

    2024-01-04 13:22:03       43 阅读
  6. 力扣225. 用队列实现栈

    2024-01-04 13:22:03       36 阅读
  7. cesium监听23D切换

    2024-01-04 13:22:03       36 阅读