深入理解 Go-Defer的机制

简介: defer 的作用和执行时机go 的 defer 语句是用来延迟执行函数的,而且延迟发生在调用函数 return 之后,比如func a() int { defer b() return 0}b 的执行是发生在return 0之后,注意defer 的语法,关键字defer之后是函数的调用。

defer 的作用和执行时机
go 的 defer 语句是用来延迟执行函数的,而且延迟发生在调用函数 return 之后,比如

func a() int {
defer b()
return 0
}
b 的执行是发生在return 0之后,注意defer 的语法,关键字defer之后是函数的调用。

defer 的重要用途一:清理释放资源
由于defer 的延迟特性,defer常用在函数调用结束之后清理相关的资源,比如

f, _ := os.Open(filename)
defer f.Close()
文件资源的释放会在函数调用结束之后借助 defer 自动执行,不需要时刻记住哪里的资源需要释放,打开和释放必须相对应。

用一个例子深刻诠释一下defer带来的便利和简洁。

代码的主要目的是打开一个文件,然后复制内容到另一个新的文件中,没有defer时这样写:

func CopyFile(dstName, srcName string) (written int64, err error) {

src, err := os.Open(srcName)
if err != nil {
    return
}

dst, err := os.Create(dstName)
if err != nil { //1
    return
}

written, err = io.Copy(dst, src)
dst.Close()
src.Close()
return

}
代码在 #1处返回之后,src文件没有执行关闭操作,可能会导致资源不能正确释放,改用 defer实现:

func CopyFile(dstName, srcName string) (written int64, err error) {

src, err := os.Open(srcName)
if err != nil {
    return
}
defer src.Close()

dst, err := os.Create(dstName)
if err != nil {
    return
}
defer dst.Close()

return io.Copy(dst, src)

}
src 和dst都能及时清理和释放,无论return在什么地方执行。

鉴于defer 的这种作用,defer常用来释放数据库连接,文件打开句柄等释放资源的操作。

defer的重要用途二:执行recover
被 defer的函数在return之后执行,这个时机点正好可以捕获函数抛出的 panic,因而 defer 的另一个重要用途就是执行 recover。

recover 只有在defer中使用才更有意义,如果在其他地方使用,由于 program已经调用结束而提前返回而无法有效捕捉错误。

package main

import (

"fmt"

)

func main() {

defer func() {
    if ok := recover(); ok != nil {
        fmt.Println("recover")
    }
}()

panic("error")

}
记住defer要放在panic执行之前。

多个 defer 的执行顺序
defer 的作用就是把关键字之后的函数执行压入一个栈中延迟执行,多个defer的执行顺序是后进先出LIFO:

defer func() { fmt.Println("1") }()
defer func() { fmt.Println("2") }()
defer func() { fmt.Println("3") }()
输出顺序是 321。

这个特性可以对一个 array实现逆序操作。

被 deferred 函数的参数在 defer 时确定
这是 defer的特点,一个函数被 defer时,它的参数在defer 时进行计算确定,即使defer之后参数发生修改,对已经defer的函数没有影响,什么意思?看例子:

func a() {

i := 0
defer fmt.Println(i)
i++
return

}
a 执行输出的是 0 而不是 1,因为defer 时,i 的值是 0,此时被 defer的函数参数已经进行执行计算并确定了。

再看一个例子:

func calc(index string, a, b int) int {

ret := a + b
fmt.Println(index, a, b, ret)
return ret

}

func main() {

a := 1
b := 2
defer calc("1", a, calc("10", a, b))
a = 0
return

}
执行代码输出

10 1 2 3
1 1 3 4
defer函数的参数 第三个参数在 defer时就已经计算完成并确定,第二个参数 a 也是如此,无论之后 a 变量是否修改都不影响。

被 defer的函数可以读取和修改带名称的返回值
func c() (i int) {

defer func() { i++ }()
return 1

}
被 defer的函数是在return 之后执行,可以修改带名称的返回值,上面的函数 c 返回的是 2。

参考资料
https://blog.golang.org/defer-panic-and-recover

相关文章
|
6月前
|
Go
Go语言中defer的执行顺序详解
【2月更文挑战第22天】
105 4
|
6月前
|
缓存 负载均衡 Java
Go语言调度器机制详解
【2月更文挑战第16天】Go语言以其强大的并发编程能力而闻名,这背后离不开其高效的调度器机制。本文将对Go语言的调度器机制进行详细的解析,包括调度器的设计原理、核心组件、调度策略以及优化技巧等方面,帮助读者深入理解Go语言并发编程的底层原理,更好地发挥Go语言并发编程的优势。
|
6月前
|
Go 开发者
Go语言中的错误处理与异常机制:实践与最佳策略
【2月更文挑战第7天】Go语言以其独特的错误处理机制而闻名,它鼓励显式错误检查而不是依赖于异常。本文将探讨错误处理与异常机制在Go语言中的实际应用,并分享一些最佳实践,帮助开发者编写更加健壮和易于维护的Go代码。
|
19天前
|
存储 算法 Java
Go语言的内存管理机制
【10月更文挑战第25天】Go语言的内存管理机制
21 2
|
3月前
|
存储 编译器 Go
|
3月前
|
存储 Go
掌握 Go 语言的 defer 关键字
掌握 Go 语言的 defer 关键字
|
3月前
|
Go 数据处理
|
3月前
|
Go
实验深度理解Go中try...catch...的panic、defer、recover用法
文章通过实验代码演示了Go语言中如何使用panic、defer和recover函数来模拟try...catch...的异常处理机制,并详细解释了每个函数的作用和在异常处理中的使用场景。
35 0
|
5月前
|
Java Go
Go 中 slice 的内存管理机制
Go 中 slice 的内存管理机制
|
5月前
|
负载均衡 算法 Java
【面试宝藏】Go语言运行时机制面试题
探索Go语言运行时,了解goroutine的轻量级并发及GMP模型,包括G(协程)、M(线程)和P(处理器)。GMP调度涉及Work Stealing和Hand Off机制,实现负载均衡。文章还讨论了从协作到基于信号的抢占式调度,以及GC的三色标记算法和写屏障技术。理解这些概念有助于优化Go程序性能。
64 4