Go 语言中的 defer 语句是 UNIX 之父 Ken Thompson 大神发明的,是完全正交的设计.
也正因为 Go 语言遵循的是正交的设计,所以才有了: "少是指数级的多/Less is exponentially more" 的说法. 因为是正交的设计,最终得到的组合形式是指数级的组合形式.
相反,C++的特性虽然很多,但是很多不是正交的设计,而只是简单的特性罗列,所以C++的很多地方是无法达到指数级的多的组合方式的. 但是学习成本却非常高.
简单的例子就是C++的构造函数和析构函数和C语言的函数和struct完全是互斥的. 具体的例子可以参考: C++去掉构造函数会怎么样?
关于 Go 语言中 defer 语句的详细介绍请参考: Defer,Panic,and Recover .
C++ 中模拟的 defer 实现请参考: C++版的defer语句 .
这里主要是总结 defer 语句的一些使用场景.
1. 简化资源的回收
这是最常见的 defer 用法. 比如:
mu.Lock() defer mu.Unlock()
当然,defer 也有一定的开销,也有为了节省性能而回避使用的 defer 的:
mu.Lock() count++ mu.Unlock()
从简化资源的释放角度看,defer 类似一个语法糖,好像不是必须的.
2. panic异常的捕获
defer 除了用于简化资源的释放外,还是Go语言异常框架的一个组成部分.
Go语言中,panic用于抛出异常,recover用于捕获异常. recover只能在defer语句中使用,直接调用recover是无效的.
比如:
func main() {
f()
fmt.Println("Returned normally from f.")
}
func f() {
defer func() {
if r := recover(); r != nil {
fmt.Println("Recovered in f",r)
}
}()
fmt.Println("Calling g.")
g()
fmt.Println("Returned normally from g.")
}
func g() {
panic("ERROR")
}
因此,如果要捕获Go语言中函数的异常,就离不开defer语句了.
3. 修改返回值
defer 除了用于配合 recover,用于捕获 panic 异常外,还可以用于在 return 之后修改函数的返回值.
比如:
func doubleSum(a,b int) (sum int) {
defer func() {
sum *= 2
}()
sum = a + b
}
当然,这个特性应该只是 defer 的副作用,具体在什么场景使用就要由开发者自己决定了.
4. 安全的回收资源
前面第一点提到,defer 最常见的用法是简化资源的回收. 而且,从资源回收角度看,defer 只是一个语法糖.
其实,也不完全是这样,特别是在涉及到第二点提到的panic异常等因素导致goroutine提前退出时.
比如,有一个线程安全的slice修改函数,为了性能没有使用defer语句:
func set(mu *sync.Mutex,arr []int,i,v int) {
mu.Lock()
arr[i] = v
mu.Unlock()
}
但是,如果 i >= len(arr)的话,runtime就会抛出切片越界的异常(这里只是举例,实际开发中不应该出现切片越界异常). 这样的话,mu.Unlock() 就没有机会被执行了.
如果用defer的话,即使出现异常也能保证mu.Unlock()被调用:
func set(mu *sync.Mutex,v int) {
mu.Lock()
defer mu.Unlock()
arr[i] = v
}
当然,Go语言约定异常不会跨越package边界. 因此,调用一般函数的时候不用担心goroutine异常退出的情况.
不过对于一些比较特殊的package,比如go test依赖的testing包,包中的t.Fatal就是依赖了Go中类似异常的特性(准确的说是调用了runtime.Goexit()).
func TestFailed(t *testing.T) { var wg sync.WaitGroup for i := 0; i < 2; i++ { wg.Add(1) go func(id int) { // defer wg.Done() t.Fatalf("TestFailed: id = %v\n",id) wg.Done() }(i) } wg.Wait() }
当测试失败的时候,wg.Done()将没有机会执行,最终导致wg.Wait()死锁.
对于这个例子,安全的做法是使用defer语句保证wg.Done()始终会被执行.
