golang中的异常处理

1. defer是go提供的一种资源处理的方式。defer的用法遵循3个原则在defer表达式被运算的同时，defer函数的参数也会被运算。如下defer的表达式println运算的同时，其入参i也会被运算，结果为初始化值0，故defer调用中会打印“0”

package main

import "fmt"

func main() {
	f()
}

func f() {
	i := 0
	defer fmt.Println("defer one i", i)  // defer three i 0
	i++
	defer fmt.Println("defer two i", i)  // defer three i 1
	i++
	fmt.Println("i", i)  // i 2
	defer fmt.Println("defer three i", i)  // defer three i 2
}
// 输出结果:
/*
i 2
defer three i 2
defer two i 1
defer one i 0
*/

　　

2. defer函数在一个函数return之后遵循后进先出的调用原则，如下打印结果为43210

func b() {
   for i := 0; i < 5; i++ {
      defer fmt.Print(i)  // 打印 43210
   }
}

3. defer函数可能会读取并赋值给所在函数的返回值，如下返回值为2

func c() (i int) {
　　defer func() { i++ }()
　　return 1
}

针对上述的第三点有如下三种情况：分别返回 1  5  1  5

// defer案例1
func f1() (result int) {
   defer func() {
      result++
   }()
   fmt.Println()
   return 0
}
/*
等价于
func f1() (result int) {
   result = 0  // return语句不是一条原子调用，return xxx其实是赋值＋return指令
   defer func() {
      result++
   }()
   return  // 空的return指令
}
*/

// defer案例2
func f2() (r int) {
   t := 5
   defer func() {
      t = t + 5
   }()
   return t
}
/*
等价于
func f2() (r int) {
   t := 5
   r = t  // 赋值指令
   defer func() {  // defer被插入到赋值与返回之间执行，这个例子中返回值r没被修改过
      t = t + 5
   }()
   return  // 空的return指令
}

*/

// defer案例3
func f3() (r int) {
   defer func(r int) {
      r = r + 5
   }(r)
   return 1
}
/*
等价于
func f3() (r int) {
   r = 1  // 给返回值赋值
   defer func(r int) {  // 这里改的r是传值传进去的r，不会改变要返回的那个r值
      r = r + 5
   }(r)
   return  // 空的return指令
}
*/

// defer案例4 
func f4() (r int) {
   t := 5
   defer func() {
      t += 5
   }()
   r += 3
   return t  // 返回5
}
/*
func f4() (r int) {
   t := 5
   defer func() {
      t = t + 5
   }()
   r += 3
   r = t
   return  // 空的return指令 返回5
}
*/

　　

　　

4. panic和recover的使用需要遵循以下原则：

defer 需要放在 panic 之前定义，另外recover只有在 defer 调用的函数中才有效。
recover处理异常后，逻辑并不会恢复到 panic 那个点去，函数跑到 defer 之后的那个点.
多个 defer 会形成 defer 栈，后定义的 defer 语句会被最先调用

package main

import (
	"fmt"
)

func main() {
	f()
	fmt.Println("end")
}

func f() {
	defer func() {
		// 必须要先声明defer，否则不能捕获到panic异常
		fmt.Println("defer start")
		if err := recover(); err != nil {
			fmt.Println(err) // 这里的err其实就是panic传入的内容，"runtime error: index out of range [3] with length 2"
		}
		fmt.Println("defer end")

	}()
	for {
		fmt.Println("func begin")
		a := []string{"a", "b"}
		fmt.Println(a[3])       // 越界访问，肯定出现异常
		//panic("bug")            // 上面已经出现异常了,所以肯定走不到这里了。
		fmt.Println("func end") // 不会运行的.
	}
}

输出结果：

1 func begin

2 defer start
3 runtime error: index out of range
4 defer end
5 end

 

参考网址： https://studygolang.com/articles/13630

 

5. 多个 defer 会形成 defer 栈，后定义的 defer 语句会被最先调用

package main

import (
	"fmt"
)

/*
defer 需要放在 panic 之前定义，另外recover只有在 defer 调用的函数中才有效。
recover处理异常后，逻辑并不会恢复到 panic 那个点去，函数跑到 defer 之后的那个点.
多个 defer 会形成 defer 栈，后定义的 defer 语句会被最先调用
*/

func main() {
	f2()
	fmt.Println("end")
}

func f2() {
	// 必须要先声明defer，否则不能捕获到panic异常
	defer func() {
		fmt.Println("defer 开始了")
		if err := recover(); err != nil {
			// 这里的err其实就是panic传入的内容，"runtime error: index out of range [3] with length 2"
			fmt.Println(err)
		}
		fmt.Println("defer 结束了")
	}()
	defer func() {
		fmt.Println("defer2 开始了")
		if err := recover(); err != nil {
			fmt.Println(err)
		}
		fmt.Println("defer2 结束了")
	}()
	fmt.Println("func 开始了")
	s1 := []string{"18", "我"}
	fmt.Println(s1[2])  // 越界访问，肯定出现异常
	panic("BUG")  // 上面已经出现异常了,所以肯定走不到这里了。
	fmt.Println("func 结束了")  // 不会运行的.
}

// 输出结果
/*
func 开始了
defer2 开始了
runtime error: index out of range [2] with length 2
defer2 结束了
defer 开始了
defer 结束了
en
*