Golang 中 defer、return、返回值之间执行顺序,想不通哇,求大哥哥们帮帮忙。

2018-05-21 23:56:16 +08:00
 Flygar
func a() {
	i := 0
	i++
	//defer 执行阶段处于 return 之后,函数返回之前
	defer fmt.Println("defer", i) //那这个为什么输出为 1 ?不应该是 2 吗
	i++
	fmt.Println("i=", i)
	return
}

这是为啥子呢?

2394 次点击
所在节点    Go 编程语言
20 条回复
lujjjh
2018-05-22 00:09:12 +08:00
https://golang.org/doc/effective_go.html#defer

> The arguments to the deferred function (which include the receiver if the function is a method) are evaluated when the defer executes, not when the call executes.
guoer
2018-05-22 00:17:18 +08:00
zwh2698
2018-05-22 00:21:49 +08:00
遇到 defer 就把后面的语句压栈,等执行完了,再执行栈中的语句,类似 c++栈对象的析构
msg7086
2018-05-22 00:25:14 +08:00
defer 当然是取当前环境的变量了。
你想想,比如你开个循环读取 10 个文件,把关闭全部 defer 了,函数退出的时候是关闭这 10 个文件,还是把最后那个文件关闭 10 次?
timothyye
2018-05-22 00:45:29 +08:00
之前写过一篇 blog,希望能帮到你

《 Golang 中 defer 的那些事》 https://xiaozhou.net/something-about-defer-2014-05-25.html
xrlin
2018-05-22 01:18:42 +08:00
Flygar
2018-05-22 01:46:07 +08:00
楼上的老哥们。大嘎好,我系渣渣灰。
boboliu
2018-05-22 07:13:07 +08:00
关于 append1 中的问题,请参考: https://blog.golang.org/defer-panic-and-recover 中 3. Deferred functions may read and assign to the returning function's named return values. 这一段。

That's a feature.
Binb
2018-05-22 08:01:43 +08:00
不是因为 0 加 1 等于 1 吗。。。这个例子没体现 defer..
goofool
2018-05-22 09:23:07 +08:00
函数是值传递的,你怎么操作原来的值,拷贝都不会变啊!
wweir
2018-05-22 09:32:26 +08:00
一直疑惑,defer 的栈帧是寄存在什么地方的,和普通函数一样?
xrlin
2018-05-22 10:02:52 +08:00
```go
func b() (ret int) {
ret = 1
defer func() {
ret++
fmt.Printf("defer %d\n", ret)
}()
return 6
}
```
在 return 6 这条语句执行时其实是先把 6 赋值给 ret,然后执行 defer,再设置 RET 标记,然后 return,所以输出 7。
baoanlol
2018-05-22 10:10:14 +08:00
@xrlin 多谢解惑!
Shakeitin
2018-05-22 10:11:06 +08:00
defer 后直接调用函数时,参数是值传递的,所以在第一个例子中,i 的值就已经被固定为 1 了

但是在调用闭包时,无论是否 defer,只要变量不是通过参数列表传递给闭包,而是通过闭包的自动捕获变量拿到了这个变量,效果都是直接引用了这个变量本身
在第二个例子中的顺序就是
1: 为 ret 赋值为 6
2: 执行 defer 中的闭包,ret 被赋值为 7 并输出
3: b() 函数返回

如果第二个例子是如下这样的话,在 }(ret) 这一行,形参就已经被确定了,就会 defer 输出 1,函数返回 6

func b() (ret int) {
ret = 1
defer func(x int) {
x++
fmt.Printf("defer %d\n", x)
}(ret)
return 6
}
Shakeitin
2018-05-22 10:13:09 +08:00
defer 输出 2 打错了
baoanlol
2018-05-22 10:24:48 +08:00
正好借楼问一句,我是 scala 和 java 那边过来在自己研究 fabric,然后你们有没有觉得 go 对 error handler 用起来特别麻烦呢?调用什么 api 都会返回 2 个参数,一个实际值,一个 err (比如 x,err=f()),然后每次都要写一段 if (err != nil) ,完全不如 java 那边直接 try catch 所有传递的 exception 来的简单方便。。。。
xrlin
2018-05-22 10:30:13 +08:00
@baoanlol 你可以试试直接 panic,然后外层调用者捕捉 panic,err 校验和 exception 也是各有优劣吧。
gnaggnoyil
2018-05-22 11:09:27 +08:00
这让我感觉 C++的 lambda 中显式指定 capture 的做法真是无比英明的设计……
deepzz
2018-05-22 18:12:26 +08:00
Flygar
2018-05-22 22:08:19 +08:00
@Shakeitin @deepzz 牛逼!我整明白了!再次表示感谢!

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/456672

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX