转自:http://studygolang.com/articles/2593
example1
1 2 3 4 5 6 |
|
example2
1 2 3 4 5 6 7 |
|
example3
1 2 3 4 5 6 |
|
先不要运行代码,自己在心里跑一遍结果,然后再去验证。如果三个都做对了并且不好蒙的...好吧,不用往下看了,你已经懂defer了。
额,如果example1中你算的是0,你就错了;如果example2中你觉得是10,你又错了...蒙对的不算...如果example3中觉得得6,你又错了...如果你有算对的,也有算错,好吧...你丫的就是在蒙!不懂的继续往下看啊.....
首先要明确的是:defer是在return之前执行的。这个在 官方文档中明确说明了的。
然后是了解defer的实现方式,大致就是在defer出现的地方,插入指令CALL runtime.deferproc,然后在函数返回之前的地方,插入指令CALL runtime.deferreturn。再就是明确go返回值的方式跟C是不一样的,为了支持多值返回,go是用栈返回值的,而C是用寄存器。
最最重要的一点就是: *return xxx这一条语句并不是一条原子指令!*
整个return过程,没有defer之前,先在栈中写一个值,这个值会被当作返回值,然后再调用RET指令返回。return xxx语句汇编后是先给返回值赋值,再做一个空的return,( 赋值指令 + RET指令)。defer的执行是被插入到return指令之前的,有了defer之后,就变成了(赋值指令 + CALL defer指令 + RET指令)。而在CALL defer函数中,有可能将最终的返回值改写了...也有可能没改写。总之,如果改写了,那么看上去就像defer是在return xxx之后执行的~
这是所有你所想不明白的defer故事发生的根源。
上面的基础知识都有了,然后就可以说说神奇的defer了。告诉大家一个简单的转换规则大家就再也不为defer迷糊了。改写规则是将return语句分开成两句写,return xxx会被改写成:
返回值 = xxx 调用defer函数 空的return
先看example1,它可以改写成这样:
1 2 3 4 5 6 7 |
|
所以这个返回值是1。
再看example2,它可以改写成这样:
1 2 3 4 5 6 7 8 |
|
所以这个的结果是5。
最后看example3,它改写后变成:
1 2 3 4 5 6 7 |
|
所以这个例子的结果是1。
结论:defer确实是在return之前调用的。但表现形式上却可能不像。本质原因是return xxx语句并不是一条原子指令,defer被插入到了赋值 与 RET之前,因此可能有机会改变最终的返回值。