defer语句执行机制

1.规则

• 延迟函数的参数在defer语句出现时已经确定

func a(){
  i := 0
  defer fmt.Println(i)  // 函数输出0
  i++
  return
}

函数参数值在defer出现时就已经确定了下来 即拷贝了一份 后续对i的修改不会影响原始延迟函数中的执行 输出0

• 延迟函数执行按后进先出顺序执行 即先出现的defer最后执行
  根据goroutine可以对此进行理解

• 延迟函数可能操作主函数的具名返回值

  • 首先 Go语言中允许在表明返回类型时可以顺便给返回值定义名字

func a(b int) // 定义返回名b

此时b为具名返回值
- 其次 我们需要直到return在汇编执行中并不是原子操作 它需要分为两步运行

func a(b int){
 i := 1
 return i
}
# 分步
b = i
return (此时return的值是b 也即是说在返回前需要将i的值赋给真正的返回值b

而延迟函数的执行正好在return之前
即

b = i
defer语句
return

看一个例子

func a(b int){
  i := 1
  defer func(){
      b++
   }()
  return i
}

此时执行顺序是

b = i
b++
return b

对于返回字面值来说 defer语句无法操作其返回值
对于返回匿名变量来说 defer操作该返回值的前提是延迟函数参数中传入的是匿名变量的地址 才有可能操作返回值

func foo() int {
   var i int

   defer func() {
     i++
   }()

   return i
 }
此时操作的返回值并不是i 假定return有一个变量来存储真正的返回值 则步骤如下
a = i  // a是真正的返回值
i++
return a

这样的defer延迟函数对函数返回值不受影响