【Golang】defer的这些坑,你遇到过吗?

📚 全文字数 : 3k

⏳ 阅读时长 : 5min

📢 关键词 : defer、panic、注意事项

前言

之前的文章中分享了关于defer的一些用法和实现原理,但是在实际使用过程中,总会踩不少坑(在上一篇最后的总结中也有一些关于特性的总结),这篇文章中将结合代码的方式展现,希望能帮到你少走弯路。

1:延迟函数传递的参数是值

go 复制代码
func deferTest() {
  var a = 1
  defer fmt.Println(a)
  
  a = 2
  return
}
//输出结果: 1

结论:延迟函数 fmt.Println(a) 的参数在 defer 语句出现的时候就已经确定下来了,所以不管后面如何修改 a 变量,都不会影响延迟函数

2:延迟函数传递的参数是地址

go 复制代码
func deferTest() {
	var arr = [3]int{1, 2, 3}
	defer printTest(&arr)

	arr[0] = 4
	return
}

func printTest(array *[3]int) {
	for i := range array {
		fmt.Println(array[i])
	}
}

// 输出结果: 4 2 3

结论:延迟函数 printTest() 的参数在 defer 语句出现的时候就已经确定下来了,即为数组的地址,延迟函数执行的时机是在 return 语句之前,所以对数组的最终修改的值会被打印出来。

3:延迟函数可能会影响函数的返回值

go 复制代码
fmt.Println(deferTest)

func deferTest() (result int) {
	i := 1
	defer func() {
		result = 2
	}()
	return i
}
// 输出: 2

结论:函数的 return 语句并不是原子级的,实际的执行过程为为设置返回值--->ret,defer 语句是在返回前执行,所以返回过程是:「设置返回值--->执行defer--->ret」。所以 return 语句先把 result 设置成 i 的值(1),defer 语句中又把 result设置为 2 ,所以最终返回值为 2

4:defer需要定义在panic前

go 复制代码
func panicBeforeDefer() {
	panic("a")
	defer func() {
		fmt.Println("b")
	}()
}
//程序直接panic,不会执行defer
func panicAfterDefer() {
	defer func() {
		fmt.Println("b")
	}()
	panic("a")
}
//程序先输出 b,然后再执行panic

结论:代码执行到了painc之后再执行的defer,然后按照defer的先进后出的顺序执行defer,最后才执行panic。 那为什么panic时会执行defer,可以看下这段代码就很清楚了。

go 复制代码
// The implementation of the predeclared function panic.
func gopanic(e interface{}) {
	gp := getg() //获取当前goroutine的指针
	...
	//初始化_panic
	var p _panic
	p.arg = e
	p.link = gp._panic
	gp._panic = (*_panic)(noescape(unsafe.Pointer(&p)))

	//遍历当前goroutinue的defer链表
	for {
		//获取当前goroutinue上挂的defer
		d := gp._defer
		if d == nil {
			break
		}
	    ...
	}
}

5:先判断err,再defer释放资源

go 复制代码
func openFile() {
	file, err := os.Open("txt")
	if err != nil {
		return
	}
	defer file.Close()
}

结论:获取文件资源的时候会返回err,如果我们在后续需要进行defer释放文件资源时,这里需要对err进行判断。因为如果获取文件资源失败的时候不需要进行释放,也避免了没获取到资源可能导致的释放函数执行错误。

6:os.Exit时defer不会被执行

scss 复制代码
func deferExit() {
	defer func() {
		fmt.Println("exit")
	}()
	os.Exit(1)
}

结论:上面代码中的defer不会得到执行,因为os.Exit()用于立即中止程序,不可能恢复或运行延迟清理语句,不像panic会去找goroutine的defer链表。

文末安利一波:

欢迎朋友们关注我的同名公众号📢📢:【小许code】,等你哦!🤣🤣
欢迎点赞 👍、收藏 💙、关注 💡 三连支持一下~🎈

🎈知道的越多,不知道的也越多,我是小许,下期见~🙇💻

相关推荐
你的人类朋友3 小时前
说说签名与验签
后端
databook3 小时前
Manim实现脉冲闪烁特效
后端·python·动效
canonical_entropy7 小时前
AI时代,我们还需要低代码吗?—— 一场关于模型、演化与软件未来的深度问答
后端·低代码·aigc
颜如玉8 小时前
HikariCP:Dead code elimination优化
后端·性能优化·源码
考虑考虑8 小时前
Jpa使用union all
java·spring boot·后端
bobz9659 小时前
virtio vs vfio
后端
Rexi10 小时前
“Controller→Service→DAO”三层架构
后端
bobz96510 小时前
计算虚拟化的设计
后端
深圳蔓延科技10 小时前
Kafka的高性能之路
后端·kafka
Barcke10 小时前
深入浅出 Spring WebFlux:从核心原理到深度实战
后端