2.4 defer 的变量快照什么情况会失效?¶
关于 defer 的基本知识点,我在以前的教程中有写过:流程控制:defer 延迟语句
其中有一个知识是 defer 的变量快照,举个简单的例子来说
在下面这段代码中,会先打印出来 18
,即使后面 age 已经被改变了,可
defer 中的 age还是 修改之前的 0
,这种现象称之为变量快照。
func func1() {
age := 0
defer fmt.Println(age) // output: 0
age = 18
fmt.Println(age) // output: 18
}
func main() {
func1()
}
对于这个输出结果,相信还是挺容易理解的。
接下来,我请大家再看下面这个例子,可以猜猜看会输出什么?
func func1() {
age := 0
defer func() {
fmt.Println(age)
}()
age = 18
return
}
func main() {
func1()
}
正确的答案是:18
, 而不是 0
你肯定会纳闷:不对啊,defer 不是会对变量的值做一个快照吗?答案应该是 0 啊,为什么会是 18?
实际上,仔细观察,可以发现上面的两个例子的区别就在于,一个 defer 后接的是单个表达式,另一个 defer 后接的是一个函数,并且不是普通函数,而是一个匿名的闭包函数。
根据闭包的特性,实际上在闭包函数存的是 age 这个变量的指针(原因可以查看上一篇文章:Go 语言面试题 100 讲之 014篇:说说 Go 中闭包的底层原理?),因而,在 defer 后所修改的值会直接影响到 defer 中的 age 的值。
总结一下:
若 defer 后接的是单行表达式,那defer 中的 age 只是拷贝了
func1
函数栈中 defer 之前的 age 的值;若 defer 后接的是闭包函数,那defer 中的 age 只是存储的是
func1
函数栈中 age 的指针。