你热爱生命吗？那么别浪费时间，因为时间是组成生命的材料。——富兰克林
1 规则一：延迟函数的参数在defer语句出现时就已经确定下来了
示例如下：
func a() { i := 0 defer fmt.Println(i) i++ return }
defer语句中的fmt.Println()参数i值在defer出现时就已经确定下来，实际上是拷贝了一份。后面对变量i的修改不会影响fmt.Println()函数的执行，仍然打印”0”。
注意：对于指针类型参数，规则仍然适用，只不过延迟函数的参数是一个地址值，这种情况下，defer后面的语句对变量的修改可能会影响延迟函数。
2 规则二：延迟函数执行按后进先出顺序执行，即先出现的defer最后执行
这个规则很好理解，定义defer类似于入栈操作，执行defer类似于出栈操作。
设计defer的初衷是简化函数返回时资源清理的动作，资源往往有依赖顺序，比如先申请A资源，再跟据A资源申请B资源，跟据B资源申请C资源，即申请顺序是:A—>B—>C，释放时往往又要反向进行。这就是把deffer设计成FIFO的原因。
每申请到一个用完需要释放的资源时，立即定义一个defer来释放资源是个很好的习惯。
3 规则三：延迟函数可能操作主函数的具名返回值
3.1 函数返回过程
有一个事实必须要了解，关键字return不是一个原子操作，实际上return只代理汇编指令ret，即将跳转程序执行。比如语句return i，实际上分两步进行，即将i值存入栈中作为返回值，然后执行跳转，而defer的执行时机正是跳转前，所以说defer执行时还是有机会操作返回值的。
举个实际的例子进行说明这个过程：
func deferFuncReturn() (result int) { i := 1 defer func() { result++ }() return i }
该函数的return语句可以拆分成下面两行：
result = i return
而延迟函数的执行正是在return之前，即加入defer后的执行过程如下：
result = i result++ return
所以上面函数实际返回i++值。
关于主函数有不同的返回方式，但返回机制就如上机介绍所说，只要把return语句拆开都可以很好的理解，下面分别举例说明
3.1.1 主函数拥有匿名返回值，返回字面值
一个主函数拥有一个匿名的返回值，返回时使用字面值，比如返回”1”、”2”、”Hello”这样的值，这种情况下defer语句是无法操作返回值的。
一个返回字面值的函数，如下所示：
func foo() int { var i int defer func() { i++ }() return 1 }
上面的return语句，直接把1写入栈中作为返回值，延迟函数无法操作该返回值，所以就无法影响返回值。
3.1.2 主函数拥有匿名返回值，返回变量
一个主函数拥有一个匿名的返回值，返回使用本地或全局变量，这种情况下defer语句可以引用到返回值，但不会改变返回值。
一个返回本地变量的函数，如下所示：
func foo() int { var i int defer func() { i++ }() return i }
上面的函数，返回一个局部变量，同时defer函数也会操作这个局部变量。对于匿名返回值来说，可以假定仍然有一个变量存储返回值，假定返回值变量为”anony”，上面的返回语句可以拆分成以下过程：
anony = i i++ return
由于i是整型，会将值拷贝给anony，所以defer语句中修改i值，对函数返回值不造成影响。
3.1.3 主函数拥有具名返回值
主函声明语句中带名字的返回值，会被初始化成一个局部变量，函数内部可以像使用局部变量一样使用该返回值。如果defer语句操作该返回值，可能会改变返回结果。
一个影响函返回值的例子：
func foo() (ret int) { defer func() { ret++ }() return 0 }
上面的函数拆解出来，如下所示：
ret = 0 ret++ return
这样打印的值就是1了
3.2 小结
defer我们只需要了解它的三规三返就行了，只有牢牢掌握它们，你才能写的得心应手，有机会我在分享defer的原理以及和recover的搭配使用。
4 关注公众号
微信公众号：堆栈future
