5 年 Gopher 都不知道的 defer 细节，你别再掉进坑里-搜搜看看

本文作者： Seekload 首发于公众号：Golang来啦

最近面试题第 17 天和第 18 天都涉及到 defer，所以我们一起来看下分析。

昨天在群里贴了下面两段代码，主要想了解下大家对 defer 用法掌握的如何。

1.funcincreaseA()int{variintdeferfunc(){i++}()returni}2.funcincreaseB()(rint){deferfunc(){r++}()returnr}

在不运行代码的情况下，能够全回答正确的还是少数（包括我自己）。有的同学可能知道答案，但不明白其中的原因。所以，有必要总结下，免得以后再掉坑里。试着先给出你的答案，再往下读！

defer 是 Go 语言提供的一种用于注册延迟调用的机制，每一次 defer 都会把函数压入栈中，当前函数返回前再把延迟函数取出并执行。

defer 语句并不会马上执行，而是会进入一个栈，函数 return 前，会按先进后出（FILO）的顺序执行。也就是说最先被定义的 defer 语句最后执行。先进后出的原因是后面定义的函数可能会依赖前面的资源，自然要先执行；否则，如果前面先执行，那后面函数的依赖就没有了。

使用 defer 最容易采坑的地方是和带命名返回参数的函数一起使用时。

defer 语句定义时，对外部变量的引用是有两种方式的，分别是作为函数参数和作为闭包引用。作为函数参数，则在 defer 定义时就把值传递给 defer，并被缓存起来；作为闭包引用的话，则会在 defer 函数真正调用时根据整个上下文确定当前的值。

避免掉坑的关键是要理解这条语句：

returnxxx

这条语句并不是一个原子指令，经过编译之后，变成了三条指令：

1.返回值=xxx2.调用defer函数3.空的return

1,3 步才是 return 语句真正的命令，第 2 步是 defer 定义的语句，这里就有可能会操作返回值。

我们一起来做几个题目：

1.funcf1()(rint){deferfunc(){r++}()return0}2.funcf2()(rint){t:=5deferfunc(){t=t+5}()returnt}3.funcf3()(rint){deferfunc(rint){r=r+5}(r)return1}

我们试着用上面的拆解方式，给出自己的答案，再往下看！
第一题拆解过程：

funcf1()(rint){//1.赋值r=0//2.闭包引用，返回值被修改deferfunc(){r++}()//3.空的returnreturn}

defer 是闭包引用，返回值被修改，所以 f() 返回 1。

第二题拆解过程：

funcf2()(rint){t:=5//1.赋值r=t//2.闭包引用，但是没有修改返回值rdeferfunc(){t=t+5}()//3.空的returnreturn}

第二步没涉及返回值 r 的操作，所以返回 5。

第三题拆解过程：

funcf3()(rint){//1.赋值r=1//2.r作为函数参数，不会修改要返回的那个r值deferfunc(rint){r=r+5}(r)//3.空的returnreturn}

第二步，r 是作为函数参数使用，是一份复制，defer 语句里面的 r 和外面的 r 其实是两个变量，里面变量的改变不会影响外层变量 r，所以不是返回 6 ，而是返回 1。

文章写到这里，相信你可以很快解出文章开头的第二个例程，没错，第二个例程的 increaseB() 函数返回 1，分解如下：

funcincreaseB()(rint){//1.赋值r=0//2.闭包引用，r++deferfunc(){r++}()//3.空returnreturn}

那第一个例程怎么解呢？我把代码再贴一遍：

funcincreaseA()int{variintdeferfunc(){i++}()returni}

大家可能注意到，函数 increaseA() 是匿名返回值，返回局部变量，同时 defer 函数也会操作这个局部变量。对于匿名返回值来说，可以假定有一个变量存储返回值，比如假定返回值变量为 anony，上面的返回语句可以拆分成以下过程：

annoy=ii++return

由于 i 是整型，会将值拷贝给 anony，所以 defer 语句中修改 i 值，对函数返回值不造成影响，所以返回 0 。

这篇文章算是一份学习总结，梳理下相关知识。看完文章之后，相信你一定掌握了这些细节，那就来试试今天的面试题吧，也是跟 defer 相关的。

5 年 Gopher 都不知道的 defer 细节，你别再掉进坑里