Go语言学习之路第8天(异常处理)

一.异常处理

  所谓的异常:当GO检测到一个错误时,程序就无法继续执行了,反而出现了一些错误的提示,这就是所谓的"异常"。

  所以为了保证程序的健壮性,要对异常的信息进行处理。例如,如下程序,定义一个函数实现整除操作,这个程序对大家来说已经很简单了,实现如下:

func Test(a, b int) int {
	var result int
	result = a / b
	return result
}

  但是,大家仔细考虑一下,该方法是否有问题?

  如果b的值为0,会出现什么情况?

  程序会出现以下的异常信息:

panic: runtime error: integer divide by zero

  并且整个程序停止运行。

  那么出现这种情况,应该怎样进行处理呢?这时就要用到异常处理方法的内容。

1.1 error接口

  Go语言引入了一个关于错误处理的标准模式,即error接口,它是Go语言内建的接口类型,该接口的定义如下:

type error interface {
	Error() string
}

  Go语言的标准库代码包errors为用户提供如下方法:

package errors

// New returns an error that formats as the given text.
func New(text string) error {
	return &errorString{text}
}

// errorString is a trivial implementation of error.
type errorString struct {
	s string
}

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

  通过以上代码,可以发现error接口的使用是非常简单的(error是一个接口,该接口只声明了一个方法Error(),返回值是string类型,用以描述错误)。下面看一下基本使用,

  首先导包:

import "errors"

  然后调用其对应的方法:

func main() {
	err := errors.New("This is a normal err")
	fmt.Println("err:", err.Error())
}

  当然fmt包中也封装了一个专门输出错误信息的方法,如下所示:

err := fmt.Errorf("%s", "This is a normal err")
fmt.Println("err:", err)

  了解完基本的语法以后,接下来使用error接口解决Test( )函数被0整除的问题,如下所示:

func Test(a, b int) (result int, err error) {
	err = nil
	if b == 0 {
		err = errors.New("除数不能为0")
	} else {
		result = a / b
	}
	return result, err
}

func main() {
	res, err := Test(10, 0)
	if err != nil {
		fmt.Println("err:", err)
	} else {
		fmt.Println(res)
	}
}

  在Test( )函数中,判断变量b的取值,如果有误,返回错误信息。并且在main( )中接收返回的错误信息,并打印出来。

  这种用法是非常常见的,例如,后面讲解到文件操作时,涉及到文件的打开,如下:

func Open(name string) (*File, error)

  在打开文件时,如果文件不存在,或者文件在磁盘上存储的路径写错了,都会出现异常,这时可以使用error记录相应的错误信息。

1.2 panic函数

  error返回的是一般性的错误,但是panic函数返回的是让程序崩溃的错误。也就是当遇到不可恢复的错误状态的时候,如数组访问越界、空指针引用等,这些运行时错误会引起painc异常,在一般情况下,我们不应通过调用panic函数来报告普通的错误,而应该只把它作为报告致命错误的一种方式。当某些不应该发生的场景发生时,我们就应该调用panic。

  一般而言,当panic异常发生时,程序会中断运行。随后,程序崩溃并输出日志信息。日志信息包括panic value和函数调用的堆栈跟踪信息。

  当然,如果直接调用内置的panic函数也会引发panic异常;panic函数接受任何值作为参数。

  下面给大家演示一下,直接调用panic函数,是否会导致程序的崩溃。

func TestA() {
	fmt.Println("func TestA()")
}

func TestB() {
	panic("func TestB():  panic")
}

func TestC() {
	fmt.Println("func TestcC()")
}

func main() {
	TestA()
	TestB() //TestB()发生异常,中断程序
	TestC()
}

  错误信息如下:

panic: func TestB():  panic

func TestA()
goroutine 1 [running]:
main.TestB(...)
	/Users/guanyuji/go/src/awesomeProject/Go基础班第8天/01.go:45
main.main()
	/Users/guanyuji/go/src/awesomeProject/Go基础班第8天/01.go:54 +0x98

Process finished with exit code 2

  所以,我们在实际的开发过程中并不会直接调用panic( )函数,但是当我们编程的程序遇到致命错误时,系统会自动调用该函数来终止整个程序的运行,也就是系统内置了panic函数。

  下面给大家演示一个数组下标越界的问题:

func TestA() {
	fmt.Println("func TestA()")
}

func TestB(x int) {
	var a [10]int
	a[x] = 222
}

func TestC() {
	fmt.Println("func TestcC()")
}

func main() {
	TestA()
	TestB(11)
	TestC()
}

  错误信息如下:

func TestA()
panic: runtime error: index out of range

goroutine 1 [running]:
main.TestB(...)
	/Users/guanyuji/go/src/awesomeProject/Go基础班第8天/01.go:46
main.main()
	/Users/guanyuji/go/src/awesomeProject/Go基础班第8天/01.go:55 +0x7d

Process finished with exit code 2

  通过观察错误信息,发现确实是panic异常,导致了整个程序崩溃。

1.3 延迟调用defer

  (1)defer的基本使用

  函数定义完成后,只有调用函数才能够执行,并且一经调用立即执行。例如:

fmt.Println("hello")
fmt.Println("world")

  先输出"hello",再输出"world"。

  但是关键字defer ⽤于延迟一个函数(或者当前所创建的匿名函数)的执行(注意,defer语句只能出现在函数的内部)。将一个方法延迟到包裹该方法的方法返回时执行,在实际应用中,defer语句可以充当其他语言中try…catch…的角色,也可以用来处理关闭文件句柄等收尾操作。

  基本用法如下:

defer fmt.Println("hello")
fmt.Println("world")

  以上两行代码,输出的结果为,先输出"world",再输出"hello"。

 

  (2)defer触发时机

A "defer" statement invokes a function whose execution is deferred to the moment the surrounding function returns, either because the surrounding function executed a return statement, reached the end of its function body, or because the corresponding goroutine is panicking.

  Go官方文档中对defer的执行时机做了阐述,分别是。

  • 包裹defer的函数返回时
  • 包裹defer的函数执行到末尾时
  • 所在的goroutine发生panic时

 

  (3)defer的执行顺序

  一个方法中有多个defer时, defer会将要延迟执行的方法“压栈”,当defer被触发时,将所有“压栈”的方法“出栈”并执行。所以defer的执行顺序是LIFO(先进后出)的。

  所以下面这段代码的输出不是1 2 3,而是3 2 1。

func main() {
	defer func() {
		fmt.Println(1)
	}()

	defer func() {
		fmt.Println(2)
	}()

	defer func() {
		fmt.Println(3)
	}()
}

  (4)defer与return,函数返回值之间的顺序

  先说结论:return最先执行->return负责将结果写入返回值中->接着defer开始执行一些收尾工作->最后函数携带当前返回值退出

  返回值的表达方式,我们知道根据是否提前声明有两种方式:一种是func test() int 另一种是 func test() (i int),所以两种情况都来说说:

 

  先看一下:func test() int

func Test() int {
	i := 0
	defer func() {
		i++
		fmt.Println("defer2的值:", i)
	}()

	defer func() {
		i++
		fmt.Println("defer1的值:", i)
	}()

	return i
}

func main() {
	fmt.Println("main:", Test())
}

  结果如下:

defer1的值: 1
defer2的值: 2
main: 0

  上面函数Test的返回值属于匿名返回值,返回值在return的时候才确定下来是i的值,具体过程如下:

  • 将i赋值给返回值(可以理解成Go自动创建了一个返回值retValue,相当于执行retValue = i)
  • 然后检查是否有defer,如果有则执行
  • 返回刚才创建的返回值(retValue)

  在这种情况下,defer中的修改是对i执行的,而不是retValue,所以defer返回的依然是retValue。

  再看一下:func test() (i int)

func Test() (i int) {
	defer func() {
		i++
		fmt.Println("defer2的值:", i)
	}()

	defer func() {
		i++
		fmt.Println("defer1的值:", i)
	}()

	return i
}

func main() {
	fmt.Println("main:", Test())
}

  结果如下:

defer1的值: 1
defer2的值: 2
main: 2

  这里的函数Test的返回值属于命名返回值,在命名返回值方法中,由于返回值在方法定义时已经被定义,所以没有创建retValue的过程,i就是retValue,defer对于i的修改也会被直接返回。

 

  (5)defer的定义和执行是两个步骤

  先说结论:会先将defer后函数的参数部分的值(或者地址)给先记下来【你可以理解为()里头参数的值的会先确定】,后面函数执行完,才会执行defer后函数的{}中的逻辑。

func test(i int) int  {
	return i
}

func main()  {
	var i int = 1

	//defer定义时候test(i)的值就已经确定了,是1,之后就不会变了
	defer fmt.Println("i1 = ",test(i))
	i++

	//defer定义时候test(i)的值就已经确定了,是2,之后就不会变了
	defer fmt.Println("i2 = ",test(i))

	//defer在定义的时候,i就已经确定了是一个指针类型,地址上的值变了,这里跟着变,是2
	defer func(i *int) {
		fmt.Println("i3 = ",*i)
	}(&i)

	//defer在定义的时候,i就已经确定了,是2,之后就不会变了
	defer func(i int) {
		fmt.Println("i4 = ",i)
	}(i)

	defer func() {
		// 地址,所以后续跟着变
		var c = &i
		fmt.Println("i5 ="  , *c)
	}()

	// 执行了 i=11 后才调用,此时i值已是11
	defer func() {
		fmt.Println("i6 ="  , i)
	}()

	i = 11

  结果如下:

i6 = 11
i5 = 11
i4 =  2
i3 =  11
i2 =  2
i1 =  1

  (6)尽量避免在for循环中使用defer

  看下面的代码:

func DeferTest()  {
	for i := 0;i < 100;i++{
		f,_ := os.Open("/etc/hosts")
		defer f.Close()
	}
}

func main()  {
	DeferTest()
}

  这是一个循环可打开文件的函数(文件操作之后讲到),defer在紧邻创建资源的语句后声明,看上去逻辑没有什么问题。但是和直接调用相比,defer的执行存在着额外的开销,例如defer会对其后需要的参数进行内存拷贝,还需要对defer结构进行压栈出栈操作。所以在循环中定义defer可能导致大量的资源开销,在本例中,可以将f.Close()语句前的defer去掉,来减少大量defer导致的额外资源消耗。

 

  (7)判断执行没有err之后,再defer释放资源

  一些获取资源的操作可能会返回err参数,我们可以选择忽略返回的err参数,但是如果要使用defer进行延迟释放的的话,需要在使用defer之前先判断是否存在err,如果资源没有获取成功,即没有必要也不应该再对资源执行释放操作。如果不判断获取资源是否成功就执行释放操作的话,还有可能导致释放方法执行错误。

正确写法如下。

func main()  {
	fr,err := os.Open("/etc/hosts")
	if err != nil{
		fmt.Println("os.Open err",err)
		return
	}
	defer fr.Close()
}

  (8)调用os.Exit时defer不会被执行

  os.Exit()的作用是种植当前整个程序,当发生panic时,所在goroutine的所有defer会被执行,但是当调用os.Exit()方法退出程序时,defer并不会被执行。
unc DeferTest()  {
	defer func() {
		fmt.Println("defer")
	}()

	os.Exit(0)
}

func main()  {
	DeferTest()
}

  上面的defer并不会输出。

1.4 recover

  运行时panic异常一旦被引发就会导致程序崩溃。这当然不是我们愿意看到的,但谁也不能保证程序不会发生任何运行时错误。

  Go语言为我们提供了专用于"拦截"运行时panic的内建函数——recover。它可以让当前的程序从运行时panic的状态中恢复并重新获得流程控制权。

  语法如下:

func recover() interface{}

  注意:recover只有在defer调用的函数中才有效

  示例如下:

func TestA()  {
	fmt.Println("TestA")
}

func TestB(i int)  {
	//设置recover
	defer func() {
		recover() //防止程序崩溃
	}() //()一定要加上,调用此匿名函数
	var a [10]int
	a[i] = 222  //当i=11时,会造成数组下标越界,引起panic
}

func TestC()  {
	fmt.Println("TestC")
}

func main()  {
	TestA()
	TestB(11)
	TestC()
}

  结果如下:

TestA
TestC

  通过以上程序,我们发现虽然TestB( )函数会导致整个应用程序崩溃,但是由于在该函数中调用了recover( )函数,所以整个函数并没有崩溃。虽然程序没有崩溃,但是我们也没有看到任何的提示信息,那么怎样才能够看到相应的提示信息呢?

  可以直接打印recover( )函数的返回结果,如下所示:

func TestA()  {
	fmt.Println("TestA")
}

func TestB(i int)  {
	//设置recover
	defer func() {
		fmt.Println(recover()) //防止程序崩溃
	}() //()一定要加上,调用此匿名函数
	var a [10]int
	a[i] = 222  //当i=11时,会造成数组下标越界,引起panic
}

func TestC()  {
	fmt.Println("TestC")
}

func main()  {
	TestA()
	TestB(11)
	TestC()
}

  结果如下:

TestA
runtime error: index out of range
TestC

  从输出结果发现,确实打印出了相应的错误信息。

  但是,如果程序没有出错,也就是数组下标没有越界,会出现什么情况呢?

func TestA()  {
	fmt.Println("TestA")
}

func TestB(i int)  {
	//设置recover
	defer func() {
		fmt.Println(recover()) //防止程序崩溃
	}() //()一定要加上,调用此匿名函数
	var a [10]int
	a[i] = 222  //当i=11时,会造成数组下标越界,引起panic
}

func TestC()  {
	fmt.Println("TestC")
}

func main()  {
	TestA()
	TestB(1) //没有越界
	TestC()
}

  结果如下:

TestA
<nil>
TestC

  这时输出的是空,但是我们希望程序没有错误的时候,不输出任何内容。

  所以,程序修改如下:

func TestA()  {
	fmt.Println("TestA")
}

func TestB(i int)  {
	//设置recover
	defer func() {
		//判断是否出现错误
		if err := recover();err != nil{
			fmt.Println(err) //防止程序崩溃
		}
	}() //()一定要加上,调用此匿名函数
	var a [10]int
	a[i] = 222  //当i=11时,会造成数组下标越界,引起panic
}

func TestC()  {
	fmt.Println("TestC")
}

func main()  {
	TestA()
	TestB(11) //没有越界
	TestC()
}

  通过以上代码,发现其实就是加了一层判断。

  最后还要注意:recover一定要放在可能会发生异常的代码段前面。

猜你喜欢

转载自www.cnblogs.com/dacaigouzi1993/p/11129983.html