2020-11-19：go中，defer原理是什么？

福哥答案2020-11-19：

• • 什么是defer
    • defer是go语言提供的一种用于注册延迟调用的机制：让函数或者语句在当前函数执行完毕(包括return正常结束或者panic导致的异常结束)之后执行。
    • defer语句通常用于一些成对的操作场景，打开/关闭连接，加锁/解锁，打开文件/关闭文件等等
    • defer在一些需要回收资源的场景中非常有用
  • 为什么需要defer
    • 有效防止内存泄漏
  • defer底层原理
    • 每次defer语句在执行的时候，都会将函数进行“压栈”，函数参数会被拷贝下来。当外层函数退出时，defer函数会按照定义的顺序逆序执行。如果defer执行的函数为nil，那么会在最终调用函数中产生panic。
    • 编译器会把 defer 语句翻译成对 deferproc 函数的调用，同时，编译器也会在使用了 defer 语句的 go 函数的末尾插入对 deferreturn 函数的调用。
    • 每一个goroutine结构体中都有一个_defer 指针变量用来存放defer单链表。defer保存用什么数据结构？回答栈过不了面试官那关，defer单链表应该能过关。_defer 结构体如下：
      • siz：所有传入参数的总大小。
      • started：该 defer 是否已经执行过。
      • heap：表明该defer是否存储在heap上。
      • sp：函数栈指针寄存器，一般指向当前函数栈的栈顶。
      • pc：程序计数器，有时称为指令指针(IP)，线程利用它来跟踪下一个要执行的指令。在大多数处理器中，PC指向的是下一条指令，而不是当前指令。
      • fn：指向传入的函数地址和参数。
      • _panic：指向 _panic 链表。
      • link：指向 _defer 链表。
    • 为什么defer要按照定义的顺序逆序执行：后面定义的函数可能会依赖前面的资源，所以要先执行。如果前面先执行，释放掉这个依赖，那后面的函数就不能找到它的依赖了。
    • defer函数定义时，对外部变量的引用方式有两种，分别是函数参数以及作为闭包引用。在作为函数参数的时候，在defer定义时就把值传递给defer，并被cache起来。如果是作为闭包引用，则会在defer真正调用的时候，根据整个上下文云确定当前的值。
    • defer后面的语句在执行的时候，函数调用的参数会被保存起来，也就是复制一份。在真正执行的时候，实际上用到的是复制的变量，也就是说，如果这个变量是一个“值类型”，那他就和定义的时候是一致的，如果是一个“引用”，那么就可能和定义的时候的值不一致
  • 利用defer原理
    • 利用defer先求值，再延迟调用的性质
  • defer与return
  • defer语句的参数
    • defer语句表达式的值在定义的时候就已经确定了
  • 闭包：由函数以及相关引用环境组合而成的实例，也就是说闭包=函数+引用环境
  • 匿名函数：匿名函数就是我们说的闭包，它不能独立存在，但可以直接调用或者赋值于某个变量。一个闭包，继承了函数声明时的作用域。在go语言中，所有的匿名函数都是闭包
• defer配合recover
  • recover:异常捕获，可以让程序在引发panic的时候不会崩溃退出。在引发panic的时候，panic会停掉当前正在执行的程序，但是，在这之前，它会有序的执行完当前goroutine的defer列表的语句。所以我们通常在defer里面挂一个recover，防止程序直接挂掉，类似于try...catch.recover()函数只在defer的上下文中才有效,直接调用，会返回nil

---

评论，有好几个参考地址