Go语言defer的使用

转载：http://cloudnil.com/2014/05/19/defer-in-go/

Go语言中没有类似于java中的try…catch…finally的语句块，但是却有一个非常优雅的defer。

defer关键字用来标记最后执行的Go语句，一般用在资源释放、关闭连接等操作，会在函数关闭前调用。

多个defer的定义与执行类似于栈的操作：先进后出，最先定义的最后执行。

在defer的使用中，碰到过许多坑，尤其是在defer与匿名函数搭配使用的时候，本文就来讲讲这些坑。

请先看下边几段代码，然后判断一下各自输出内容：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32

#示例代码一： func funcA() int {      x := 5      defer func() {          x += 1      }()      return x } #示例代码二： func funcB() (x int) {      defer func() {          x += 1      }()      return 5 } <!--more--> #示例代码三： func funcC() (y int) {      x := 5      defer func() {          x += 1      }()      return x }   #示例代码四： func funcD() (x int) {      defer func(x int) {          x += 1      }(x)      return 5 }

将代码运行一下试试看，相信有不少读者都会发现自己给出的答案是错误的。

解析这几段代码，主要需要理解清楚以下几点知识：
1、return语句的处理过程
return xxx 语句并不是一条原子指令，其在执行的时候会进行语句分解成 返回变量=xxx return，最后执行return
2、defer语句执行时机
上文说过，defer语句是在函数关闭的时候调用，确切的说是在执行return语句的时候调用，注意，是return 不是return xxx
3、函数参数的传递方式
Go语言中普通的函数参数的传递方式是值传递，即新辟内存拷贝变量值，不包括slice和map，这两种类型是引用传递
4、变量赋值的传递方式
Go语言变量的赋值跟函数参数类似，也是值拷贝，不包括slice和map，这两种类型是内存引用

按照以上原则，解析代码：

1 2 3 4 5 6 7 8 9

#示例代码一： func funcA() int {      x := 5      temp=x      #temp变量表示未显示声明的return变量      func() {          x += 1      }()      return }

返回temp的值，在将x赋值给temp后，temp未发生改变，最终返回值为5

1 2 3 4 5 6 7 8

#示例代码二： func funcB() (x int) {      x = 5      func() {          x += 1      }()      return }

返回x的值，先对其复制5，接着函数中改变为6，最终返回值为6

1 2 3 4 5 6 7 8 9

#示例代码三： func funcC() (y int) {      x := 5      y = x       #这里是值拷贝      func() {          x += 1      }()      return }

返回y的值，在将x赋值给y后，y未发生改变，最终返回值为5

1 2 3 4 5 6 7 8

#示例代码四： func funcD() (x int) {      x := 5      func(x int) { #这里是值拷贝          x += 1      }(x)      return }

返回x的值，传递x到匿名函数中执行的时候，传递的是x的拷贝，其内部修改不影响外部x的值，最终返回值为5

可以看到，defer语句都插到了分解后的return语句前执行，结合赋值及参数值传递方式，可以很清晰的理解最后的结果。