Go defer关键字的实现原理？

Go defer关键字的实现原理？

定义：

defer 能够让我们推迟执行某些函数调用，推迟到当前函数返回前才实际执行。defer与panic和recover结合，形成了Go语言风格的异常与捕获机制。

使用场景：

defer 语句经常被用于处理成对的操作，如文件句柄关闭、连接关闭、释放锁

优点：

方便开发者使用

缺点：

有性能损耗

实现原理：

Go1.14中编译器会将defer函数直接插入到函数的尾部，无需链表和栈上参数拷贝，性能大幅提升。把defer函数在当前函数内展开并直接调用，这种方式被称为open coded defer

源代码：

func A(i int) {
defer A1(i, 2*i)
if(i > 1) {
defer A2("Hello", "eggo")
}
// code to do something
return
}
func A1(a,b int) {
//......
}
func A2(m,n string) {
//......
}

编译后（伪代码）：

func A(i int) {
// code to do something
if(i > 1){
A2("Hello", "eggo")
}
A1(i, 2*i)
return
}

代码示例：

函数退出前，按照先进后出的顺序，执行defer函数

package main
import "fmt"
// defer：延迟函数执行，先进后出
func main() {
defer fmt.Println("defer1")
defer fmt.Println("defer2")
defer fmt.Println("defer3")
defer fmt.Println("defer4")
fmt.Println("11111")
}
// 11111
// defer4
// defer3
// defer2
// defer1

panic后的defer函数不会被执行（遇到panic，如果没有捕获错误，函数会立刻终止）

package main
import "fmt"
// panic后的defer函数不会被执行
func main() {
defer fmt.Println("panic before")
panic("发生panic")
defer func() {
fmt.Println("panic after")
}()
}
// panic before
// panic: 发生panic

panic没有被recover时，抛出的panic到当前goroutine最上层函数时，最上层程序直接异常终止

package main
import "fmt"
func F() {
defer func() {
fmt.Println("b")
}()
panic("a")
}
// 子函数抛出的panic没有recover时，上层函数时，程序直接异常终止
func main() {
defer func() {
fmt.Println("c")
}()
F()
fmt.Println("继续执行")
}
// b
// c
// panic: a

panic有被recover时，当前goroutine最上层函数正常执行

package main
import "fmt"
func F() {
defer func() {
if err := recover(); err != nil {
fmt.Println("捕获异常:", err)
}
fmt.Println("b")
}()
panic("a")
}
func main() {
defer func() {
fmt.Println("c")
}()
F()
fmt.Println("继续执行")
}
// 捕获异常: a
// b
// 继续执行
// c

514.Go defer关键字的实现原理？

Go defer关键字的实现原理？