转载: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语句前执行,结合赋值及参数值传递方式,可以很清晰的理解最后的结果。
有疑问加站长微信联系(非本文作者)