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

[Flygar]

func a() {
	i := 0
	i++
	//defer 执行阶段处于 return 之后，函数返回之前
	defer fmt.Println("defer", i) //那这个为什么输出为 1 ？不应该是 2 吗
	i++
	fmt.Println("i=", i)
	return
}

这是为啥子呢？

感谢各位，给的链接我也看了(我没看懂)，有些地方不清楚。 这个地方不清楚
defer声明时会先计算确定参数的值，defer推迟执行的仅是其函数体。
下面这个函数返回值是7，defer的打印也是7;
我明明在defer func()前明确了ret = 1;
不应该函数返回值是2，defer的打印也是2吗?

func b() (ret int) {
	ret = 1
	defer func() {
		ret++
		fmt.Printf("defer %d\n", ret)
	}()
	return 6
}

我明白啦
感谢14L,18L两位大哥，牛逼！贼鸡儿强！

//Output: 5 5 5 5 5
//defer 表达式中的 i 是对 for 循环中 i 的引用。到最后，i 加到 5，故最后全部打印 5。
for i := 0; i < 5; i++ {
	defer func() {
		fmt.Println(i)
	}()
}
//Output: 4 3 2 1 0
//如果将 i 作为参数传入 defer 表达式中，在传入最初就会进行求值保存，只是没有执行延迟函数而已。
for i := 0; i < 5; i++ {
	defer func(idx int) {
		fmt.Println(idx)
	}(i) // 传入的 i，会立即被求值保存为 idx
}

[lujjjh]

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]

https://my.oschina.net/henrylee2cn/blog/505535

[zwh2698]

遇到 defer 就把后面的语句压栈，等执行完了，再执行栈中的语句，类似 c++栈对象的析构

[msg7086]

defer 当然是取当前环境的变量了。
你想想，比如你开个循环读取 10 个文件，把关闭全部 defer 了，函数退出的时候是关闭这 10 个文件，还是把最后那个文件关闭 10 次？

[timothyye]

之前写过一篇 blog，希望能帮到你

《 Golang 中 defer 的那些事》 https://xiaozhou.net/something-about-defer-2014-05-25.html

[xrlin]

推荐你看下 https://tiancaiamao.gitbooks.io/go-internals/content/zh/03.4.html，很不错的书籍

[Flygar]

楼上的老哥们。大嘎好，我系渣渣灰。

[boboliu]

关于 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]

不是因为 0 加 1 等于 1 吗。。。这个例子没体现 defer..

[goofool]

函数是值传递的，你怎么操作原来的值，拷贝都不会变啊!

[wweir]

一直疑惑，defer 的栈帧是寄存在什么地方的，和普通函数一样？

[xrlin]

```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]

@xrlin 多谢解惑！

[Shakeitin]

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]

defer 输出 2 打错了

[baoanlol]

正好借楼问一句，我是 scala 和 java 那边过来在自己研究 fabric，然后你们有没有觉得 go 对 error handler 用起来特别麻烦呢？调用什么 api 都会返回 2 个参数，一个实际值，一个 err （比如 x,err=f())，然后每次都要写一段 if (err != nil) ，完全不如 java 那边直接 try catch 所有传递的 exception 来的简单方便。。。。

[xrlin]

@baoanlol 你可以试试直接 panic，然后外层调用者捕捉 panic，err 校验和 exception 也是各有优劣吧。

[gnaggnoyil]

这让我感觉 C++的 lambda 中显式指定 capture 的做法真是无比英明的设计……

[deepzz]

defer https://deepzz.com/post/how-to-use-defer-in-golang.html

[Flygar]

@Shakeitin @deepzz 牛逼！我整明白了！再次表示感谢！