网站建设基础,企业信息化建设方案 网站,百度指数的主要用户是,青岛网站建设制作公司参考文章#xff1a;
【Golang】defer陷阱和执行原理 GO语言defer和return 的执行顺序 深入理解Golang defer机制#xff0c;直通面试
面试富途的时候#xff0c;遇到了1.2的这个进阶问题#xff0c;没回答出来。这种题简直是 噩梦\color{purple}{噩梦}噩梦#xff0c;…参考文章
【Golang】defer陷阱和执行原理 GO语言defer和return 的执行顺序 深入理解Golang defer机制直通面试
面试富途的时候遇到了1.2的这个进阶问题没回答出来。这种题简直是 噩梦\color{purple}{噩梦}噩梦很久不关注基本上就忘记了… 一、defer相关测试题
1.1 关于 defer 函数后的 匿名/有名 返回值对输出结果的影响
package mainimport (fmt
)func f1() int{var i intdefer func(){i}()return i
}func f2() (i int){defer func(){i}()return i
}func main() {fmt.Println(f1())fmt.Println(f2())
}上面的程序输出结果是啥呢答案是0 1
我们知道Golang中的函数返回值有匿名和有名两种。
对于匿名的可以理解成执行return 语句时分成两步第一步需要设置一个临时变量s用来接收返回值第二步将临时变量s返回。对于有名的可以理解成执行return的时候直接将变量返回。
而我们知道所有的defer都将在真正的 return 变量之前运行所以对于上面两种情况defer对于返回值的影响也有两种
对于匿名的第一步设置临时变量保存返回值第二步按照defer的执行步骤执行defer语句如果其中有对变量的修改将不会影响s变量的值。对于有名的第一步先执行defer对变量进行修改第二步返回被修改的返回值。
所以理解了上面的步骤的之后我们就可以理解 f1() 和 f2() 这两个的函数了在执行 return 时
f1函数先通过临时变量s保存i的值此时i为0所以s0然后执行defer修改i的值i变为1最后返回s的值因为s0所以返回值是0而f2是有名函数所以执行return 的时候i被设置为1然后真正的返回i值所以返回的是1。 1.2 关于defer的进阶测试题
再来看一段示例代码
可以先尝试想想以下的几个函数分别会输出什么内容
func test1() (x int) {defer fmt.Printf(in defer: x %d\n, x)x 7return 9
}func test2() (x int) {x 7defer fmt.Printf(in defer: x %d\n, x)return 9
}func test3() (x int) {defer func() {fmt.Printf(in defer: x %d\n, x)}()x 7return 9
}func test4() (x int) {defer func(n int) {fmt.Printf(in defer x as parameter: x %d\n, n)fmt.Printf(in defer x after return: x %d\n, x)}(x)x 7return 9
}func main() {fmt.Println(test1)fmt.Printf(in main: x %d\n, test1())fmt.Println(test2)fmt.Printf(in main: x %d\n, test2())fmt.Println(test3)fmt.Printf(in main: x %d\n, test3())fmt.Println(test4)fmt.Printf(in main: x %d\n, test4())
}你已经计算出结果了吗看看和运行结果是不是一样的如果不一样继续阅读本文吧
test1
in defer: x 0
in main: x 9
test2
in defer: x 7
in main: x 9
test3
in defer: x 9
in main: x 9
test4
in defer x as parameter: x 0
in defer x after return: x 9
in main: x 9进阶测试题 解析
在看解析之前先理解下 return 语句的执行顺序 return语句本身并不是一条原子指令它会先给返回值赋值然后再是真正的返回结果到函数外部如下
func f() (r int) {return 1
}//执行过程
r:1 //赋值
ret //执行返回而在含defer表达式时函数返回的过程是这样的 先给返回值赋值然后调用defer表达式最后再是返回结果。
这4个测试函数中都是return 9并且没有对返回值进行修改所以主函数main()中的输出都是in main: x 9我相信这个大家应该是没有疑问的。接下来看每个测试函数defer的打印。
test1defer执行时对Printf的入参x进行计算它的值是0并且传递给函数return 9后执行Printf所以结果是in defer: x 0。
func test1() (x int) {// defer后接【表达式】// 起初x作为入参值为0结果一直保留在栈中最后直接打印输出不受后续影响defer fmt.Printf(in defer: x %d\n, x)x 7// 返回值为 9return 9
}test2与test1类似不同的是defer执行是在x7之后所以x的值是7并且传递给Printf所以结果是in defer: x 7。
func test2() (x int) {x 7// defer后接【表达式】// 起初x作为入参值为7结果一直保留在栈中最后直接打印输出不受后续影响defer fmt.Printf(in defer: x %d\n, x)// 返回值为 9return 9
}test3defer后跟的是一个匿名函数匿名函数能访问外部函数的变量这里访问的是test3的xdefer执行时匿名函数没有入参所以把func()()压入到栈return语句之后执行func()()此时匿名函数获得x的值是9所以结果是in defer: x 9。
func test3() (x int) {// defer后接【匿名函数】defer func() {// 匿名函数能访问外部函数的变量受后续return x的结果影响// 也就是说【defer匿名函数内要访问的变量 x】最终会被【defer匿名函数外最终要 return 返回出去的变量 x】所影响fmt.Printf(in defer: x %d\n, x)}()x 7// 返回值为 9return 9
}test4与test3的不同是匿名函数有一个入参n我们把x作为入参打印还有就是匿名函数中的x能访问外部函数的变量x。defer执行时x0所以入栈的函数是func(int)(0)return语句之后执行func(int)(0)即n0x在匿名函数内没有定义依然访问test4中的x此时x9所以结果为in defer x as parameter: x 0, in defer x after return: x 9。
func test4() (x int) {// defer后接【匿名函数】defer func(n int) {// 针对【defer匿名函数内要访问的变量 n】其值取决于在一开始遇到 defer 时入参 n 的值// 也就是最开始还没被改变时的变量 x 的值将其赋值给入参 n起初是0// 这个变量 n 的值是独立的不会受后续 return x 结果的影响。fmt.Printf(in defer x as parameter: x %d\n, n)fmt.Printf(in defer x after return: x %d\n, x)}(x)x 7return 9
}小结
首先要明确 defer 后紧接的代码可以有两种写法 defer 表达式例如defer fmt.Printf(in defer: x %d\n, x) 此时就会直接保留当前变量 x 已有的值一直到最后直接打印输出不再受后续 return x 结果的影响。例如test1和test2中的变量x。\color{red}{例如 test1 和 test2 中的变量 x。}例如test1和test2中的变量x。defer 匿名函数无入参/有入参例如test3中的 defer func() {fmt.Printf(in defer: x %d\n, x)}()或 test4中 defer func(n int) {fmt.Printf(in defer x as parameter: x %d\n, n) fmt.Printf(in defer x after return: x %d\n, x)}(x) 此时需要区分打印输出的变量到底是【defer匿名函数内要访问的变量 n】还是【defer匿名函数内要访问的变量 x】。 针对【defer匿名函数内要访问的变量 n】其值取决于在一开始遇到 defer 时入参 n 的值也就是最开始还没被改变时的变量 x 的值起初是0。这个变量 n 的值是独立的不会受后续 return x 结果的影响。例如test4中的变量n。\color{red}{例如 test4 中的变量 n。}例如test4中的变量n。针对【defer匿名函数内要访问的变量 x】由于匿名函数能访问外部函数的变量也就是说【defer匿名函数内要访问的变量 x】最终会被【defer匿名函数外最终要 return 返回出去的变量 x】所影响。例如test3和test4中的变量x。\color{red}{例如 test3 和 test4 中的变量 x。}例如test3和test4中的变量x。
