go defer、panic、recover使用

2018-08-02 | 阅读：次

defer

defer和go一样都是Go语言提供的关键字。defer用于资源的释放，会在函数返回之前进行调用。

多个defer调用顺序

如果有多个defer表达式，调用顺序类似于栈，越后面的defer表达式越先被调用。

func f() {
	defer fmt.Println("defer 1")
	defer fmt.Println("defer 2")
	defer fmt.Println("defer 3")
}
执行结果为：
defer 3
defer 2
defer 1

defer函数形参的值

如果defer函数需要外界传参，形参的值，在defer函数定义时形参就已经被赋值。

func f() {
	i := 1
	defer func(i int) {
		fmt.Println("defer ", i)

	}(i) //i = 1
	i++
	defer func(i int) {
		fmt.Println("defer ", i)
	}(i) //i = 2
	i++
	defer func(i int) {
		fmt.Println("defer ", i)
	}(i)//i = 3
	i++
	defer func(i int) {
		fmt.Println("defer ", i)
	}(i) //i = 4
}

执行结果:
defer  4
defer  3
defer  2
defer  1

defer,return的执行顺序

先看两段代码代码1：

func main() {
	fmt.Println("b return:", b()) // 打印结果为 b return: 2
}

func b() (i int) {
	defer func() {
		i++
		fmt.Println("b defer2:", i) // 打印结果为 b defer2: 2
	}()
	defer func() {
		i++
		fmt.Println("b defer1:", i) // 打印结果为 b defer1: 1
	}()
	return i // 或者直接 return 效果相同
}

代码2：

func main() {
	fmt.Println("a return:", a()) // 打印结果为 a return: 0
}

func a() int {
	var i int
	defer func() {
		i++
		fmt.Println("a defer2:", i) // 打印结果为 a defer2: 2
	}()
	defer func() {
		i++
		fmt.Println("a defer1:", i) // 打印结果为 a defer1: 1
	}()
	return i
}

两段代码区别在于，a()声明了返回值,b()返回值是匿名的代码执行结果；

a()返回值为 0
b()返回值为 2

依据结果，先来假设出结论（这是正确结论），帮助大家理解原因：

多个defer的执行顺序为“后进先出”；
所有函数在执行RET返回指令之前，都会先检查是否存在defer语句，若存在则先逆序调用defer语句进行收尾工作再退出返回；
匿名返回值是在return执行时被声明，有名返回值则是在函数声明的同时被声明，因此在defer语句中只能访问有名返回值，而不能直接访问匿名返回值；
return其实应该包含前后两个步骤：第一步是给返回值赋值（若为有名返回值则直接赋值，若为匿名返回值则先声明再赋值）；第二步是调用RET返回指令并传入返回值，而RET则会检查defer是否存在，若存在就先逆序插播defer语句，最后RET携带返回值退出函数；

‍‍因此，defer、return、返回值三者的执行顺序应该是：return最先给返回值赋值；接着defer开始执行一些收尾工作；最后RET指令携带返回值退出函数。

验证结论

func main() {
	c:=c()
	fmt.Println("c return:", *c, c) // 打印结果为 c return: 2 0xc082008340
}

func c() *int {
	var i int
	defer func() {
		i++
		fmt.Println("c defer2:", i, &i) // 打印结果为 c defer2: 2 0xc082008340
	}()
	defer func() {
		i++
		fmt.Println("c defer1:", i, &i) // 打印结果为 c defer1: 1 0xc082008340
	}()
	return &i
}

虽然 c() *int 的返回值没有被提前声明，但是由于 c() *int 的返回值是指针变量，那么在return将变量 i 的地址赋给返回值后，defer再次修改了 i 在内存中的实际值，因此return调用RET退出函数时返回值虽然依旧是原来的指针地址，但是其指向的内存实际值已经被成功修改了。

即，我们假设的结论是正确的！

defer的作用域

defer只对当前协程有效（main可以看作是主协程）；
当panic发生时依然会执行当前（主）协程中已声明的defer，但如果所有defer都未调用recover()进行异常恢复，则会在执行完所有defer后引发整个进程崩溃；
主动调用os.Exit(int)退出进程时，已声明的defer将不再被执行。

panic、recover

Go语言不支持传统的 try…catch…finally 这种异常，在go中通过defer, panic, recover来处理异常。

panic

当panic发生时依然会执行当前（主）协程中已声明的defer，但如果所有defer都未调用recover()进行异常恢复，则会在执行完所有defer后引发整个进程崩溃；

代码1：

func main() {
	ch := make(chan int)
	go func() {
	defer func() {
		ch <- 1
	}()
	panic("ss")
	}()
	<-ch
	fmt.Println("main 执行结束")
}

当程序执行到panic("ss")进程崩溃， fmt.Println("main 执行结束")可能会执行，也可能不会被执行。因为defer执行完之后，主线程继续执行，可能这时进程并未崩溃。

代码2：

	ch := make(chan int)
	go func() {
	defer func() {

		if err := recover(); err != nil {
			fmt.Println("recover")
			ch<-1

		}
	}()
	panic("ss")
	}()
	<-ch
	fmt.Println("main 执行结束")

通过recover捕获异常，并对异常进行处理，程序正常运行

网络应答异常处理

type result struct {
	code int
	msg  string
}
func main() {
	
	defer func() {
		if res := recover(); res != nil {
			r, ok := res.(*result)
			if ok {
				fmt.Println(r.msg)
				fmt.Println(r.code)
			}
		}
	}()

	panic(&result{1, "除数不能为0"})

}