Go defer 特性和使用场景
golang 的 defer 语句用于延迟调用。defer 会在当前函数返回之前执行 defer 注册的函数。比如 defer func_defer() 这样语句会让你注册一个函数变量到 defer 的全局链表中,在 defer 语句所在的函数退出之前调用。
defer 可以代替其它语言中 try…catch… 语句,也可以用来处理释放资源等收尾操作,比如关闭文件句柄、关闭数据库连接等。defer 还能用于 panic 的 recovery。
1. defer 的特性
我们先深入的剖析下 defer 具有的特性,知其然也。这些特性是需要我们记住的特点,才能更好的理解 defer 使用的场景。
1) 延迟调用
package main func main() { defer println("--- defer ---") println("--- end ---") }
运行结果:
--- end --- --- defer ---
defer 会在 main 函数所有语句之后, return 之前时候调用。核心要点:
- 延迟调用:defer 语句本身虽然是 main 的第一行,但是 println("--- end ---") 先打印的;
- defer 关键字一定是处于函数上下文:defer 必须放在函数内部;
2) LIFO
一个函数中含有有多个 defer,调用顺序采用压栈式执行,后入先出(LIFO)。
package main import ( "strconv" ) func main() { for i := 1; i <= 3; i++ { defer println("defer -->" + strconv.Itoa(i)) } println("--- end ---") }
压栈式执行,也就是说先注册的函数后调用。如上,我们注册的顺序式 1,2,3,最后打印 “--- end ---”,所以执行的结果自然是反着来的,程序输出:
--- end --- defer -->3 defer -->2 defer -->1
3) 作用域
defer 只会和 defer 语句所在的特定函数绑定在一起,作用域也只在这个函数。 从语法上来讲,defer 语句也一定要在函数内,否则会报告语法错误。
package main func main() { func() { defer println("--- defer ---") }() println("--- end ---") }
如上,defer 处于一个匿名函数中,就 main 函数本身来讲,匿名函数 fun(){}() 先调用且返回,然后再调用 println("--- end ---") ,所以程序输出自然是:
--- defer --- --- end ---
4) 异常场景
这个是非常重要的特性:panic 也能执行。golang 不鼓励异常的编程模式,但是却也留了 panic-recover 这个异常和捕捉异常的机制。所以 defer 机制就显得尤为重要,甚至可以说是必不可少的。因为你没有一个无视异常,永保调用的 defer 机制,很有可能就会发生各种资源泄露,死锁等场景。为什么?因为发生了 panic 却不代表进程一定会挂掉,很有可能被外层 recover 住。
package main func main() { defer func() { if e := recover(); e != nil { println("--- defer ---") } }() panic("throw panic") }
如上,main 函数注册一个 defer ,且稍后主动触发 panic,main 函数退出之际就会调用 defer 注册的匿名函数。再提一点,这里其实有两个要点:
- defer 在 panic 异常场景也能确保调用;
- recover 必须和 defer 结合才有意义;
2. defer 使用场景
1) 并发同步
以下的例子对两个并发的协程做了下同步控制,常规操作。
var wg sync.WaitGroup for i := 0; i < 2; i++ { wg.Add(1) go func() { defer wg.Done() // 程序逻辑 }() } wg.Wait()
2) 锁场景
加锁解锁必须配套,在 golang 有了 defer 之后,你就可以写了 lock 之后,立马就写 unlock ,这样就永远不会忘了。
mu.RLock() defer mu.RUnlock()
但是请注意,lock 以下的代码都会在锁内。所以下面的代码要足够精简和快速才行,如果说下面的逻辑很复杂,那么可能就需要手动控制 unlock 防止的位置了。
3) 资源释放
某些资源是临时创建的,作用域只存在于现场函数中,用完之后需要销毁,这种场景也适用 defer 来释放。释放就在创建的下一行,这是个非常好的编程体验,这种编程方式能极大的避免资源泄漏。因为写了创建立马就可以写释放了,再也不会忘记了。
// 创建一个客户端 client; cli, err := clientv3.New(clientv3.Config{Endpoints: endpoints}) if err != nil { log.Fatal(err) } // 释放该 client ,也就是说该 client 的声明周期就只在该函数中; defer cli.Close()
4) panic-recover
recover 必须和 defer 结合才行,使用姿势一般如下:
defer func() { if v := recover(); v != nil { _ = fmt.Errorf("PANIC=%v", v) } }()
3. 总结
- defer 其实并不是 golang 独创,是多种高级语言的共同选择;
- defer 最重要的一个特点就是无视异常可执行,这个是 golang 在提供了 panic-recover 机制之后必须做的补偿机制;
- defer 的作用域存在于函数,defer 也只有和函数结合才有意义;
- defer 允许你把配套的两个行为代码放在最近相邻的两行,比如创建&释放资源、加锁&释放锁等,使得代码更易读,编程体验优秀。
下一章:Go 源码的 //go: 编译指令
我们查看 Go 语言系统源码的时候会发现:里面的很多方法写着 //go: 这类指令,这些指令到底是有什么用处呢?1. go:linkname//go:linkname localname&nbs ...