官方网站建设情况说明,做seo还要需要做网站吗,北京房价,千网图片defer是Go语言提供的一种用于注册延迟调用的机制#xff1a;让函数或语句可以在当前函数执行完毕后#xff08;包括通过return正常结束或者panic导致的异常结束#xff09;执行。深受Go开发者的欢迎#xff0c;但一不小心就会掉进它的温柔陷阱#xff0c;只有深入理解它的… defer是Go语言提供的一种用于注册延迟调用的机制让函数或语句可以在当前函数执行完毕后包括通过return正常结束或者panic导致的异常结束执行。深受Go开发者的欢迎但一不小心就会掉进它的温柔陷阱只有深入理解它的原理我们才能轻松避开写出漂亮稳健的代码。为了更好的阅读体验按惯例我手动贴上文章目录什么是deferdefer是Go语言提供的一种用于注册延迟调用的机制让函数或语句可以在当前函数执行完毕后包括通过return正常结束或者panic导致的异常结束执行。defer语句通常用于一些成对操作的场景打开连接/关闭连接加锁/释放锁打开文件/关闭文件等。defer在一些需要回收资源的场景非常有用可以很方便地在函数结束前做一些清理操作。在打开资源语句的下一行直接一句defer就可以在函数返回前关闭资源可谓相当优雅。f, _ : os.Open(defer.txt)f, _ : os.Open(defer.txt)defer f.Close()defer f.Close()注意以上代码忽略了err, 实际上应该先判断是否出错如果出错了直接return. 接着再判断 f是否为空如果 f为空就不能调用 f.Close()函数了会直接panic的。为什么需要defer程序员在编程的时候经常需要打开一些资源比如数据库连接、文件、锁等这些资源需要在用完之后释放掉否则会造成内存泄漏。但是程序员都是人是人就会犯错。因此经常有程序员忘记关闭这些资源。Golang直接在语言层面提供 defer关键字在打开资源语句的下一行就可以直接用 defer语句来注册函数结束后执行关闭资源的操作。因为这样一颗“小小”的语法糖程序员忘写关闭资源语句的情况就大大地减少了。怎样合理使用defer?defer的使用其实非常简单f,err : os.Open(filename)f,err : os.Open(filename)if err ! nil {if err ! nil { panic(err) panic(err)}}if f ! nil {if f ! nil { defer f.Close() defer f.Close()}}在打开文件的语句附近用defer语句关闭文件。这样在函数结束之前会自动执行defer后面的语句来关闭文件。当然defer会有小小地延迟对时间要求特别特别特别高的程序可以避免使用它其他一般忽略它带来的延迟。defer进阶defer的底层原理是什么我们先看一下官方对 defer的解释Each time a “defer” statement executes, the function value and parameters to the call are evaluated as usual and saved anew but the actual function is not invoked. Instead, deferred functions are invoked immediately before the surrounding function returns, in the reverse order they were deferred. If a deferred function value evaluates to nil, execution panics when the function is invoked, not when the “defer” statement is executed.翻译一下每次defer语句执行的时候会把函数“压栈”函数参数会被拷贝下来当外层函数非代码块如一个for循环退出时defer函数按照定义的逆序执行如果defer执行的函数为nil, 那么会在最终调用函数的产生panic.defer语句并不会马上执行而是会进入一个栈函数return前会按先进后出的顺序执行。也说是说最先被定义的defer语句最后执行。先进后出的原因是后面定义的函数可能会依赖前面的资源自然要先执行否则如果前面先执行那后面函数的依赖就没有了。在defer函数定义时对外部变量的引用是有两种方式的分别是作为函数参数和作为闭包引用。作为函数参数则在defer定义时就把值传递给defer并被cache起来作为闭包引用的话则会在defer函数真正调用时根据整个上下文确定当前的值。defer后面的语句在执行的时候函数调用的参数会被保存起来也就是复制了一份。真正执行的时候实际上用到的是这个复制的变量因此如果此变量是一个“值”那么就和定义的时候是一致的。如果此变量是一个“引用”那么就可能和定义的时候不一致。举个例子func main() {func main() { var whatever [3]struct{} var whatever [3]struct{} for i : range whatever { for i : range whatever { defer func() { defer func() { fmt.Println(i) fmt.Println(i) }() }() } }}}执行结果222222defer后面跟的是一个闭包后面会讲到i是“引用”类型的变量最后i的值为2, 因此最后打印了三个2.有了上面的基础我们来检验一下成果type number inttype number intfunc (n number) print() { fmt.Println(n) }func (n number) print() { fmt.Println(n) }func (n *number) pprint() { fmt.Println(*n) }func (n *number) pprint() { fmt.Println(*n) }func main() {func main() { var n number var n number defer n.print() defer n.print() defer n.pprint() defer n.pprint() defer func() { n.print() }() defer func() { n.print() }() defer func() { n.pprint() }() defer func() { n.pprint() }() n 3 n 3}}执行结果是33333300第四个defer语句是闭包引用外部函数的n, 最终结果是3; 第三个defer语句同第四个 第二个defer语句n是引用最终求值是3. 第一个defer语句对n直接求值开始的时候n0, 所以最后是0;利用defer原理有些情况下我们会故意用到defer的先求值再延迟调用的性质。想象这样的场景在一个函数里需要打开两个文件进行合并操作合并完后在函数执行完后关闭打开的文件句柄。func mergeFile() error {func mergeFile() error { f, _ : os.Open(file1.txt) f, _ : os.Open(file1.txt) if f ! nil { if f ! nil { defer func(f io.Closer) { defer func(f io.Closer) { if err : f.Close(); err ! nil { if err : f.Close(); err ! nil { fmt.Printf(defer close file1.txt err %v\n, err) fmt.Printf(defer close file1.txt err %v\n, err) } } }(f) }(f) } } // …… // …… f, _ os.Open(file2.txt) f, _ os.Open(file2.txt) if f ! nil { if f ! nil { defer func(f io.Closer) { defer func(f io.Closer) { if err : f.Close(); err ! nil { if err : f.Close(); err ! nil { fmt.Printf(defer close file2.txt err %v\n, err) fmt.Printf(defer close file2.txt err %v\n, err) } } }(f) }(f) } } return nil return nil}}上面的代码中就用到了defer的原理defer函数定义的时候参数就已经复制进去了之后真正执行close()函数的时候就刚好关闭的是正确的“文件”了妙哉可以想像一下如果不这样将f当成函数参数传递进去的话最后两个语句关闭的就是同一个文件了都是最后一个打开的文件。不过在调用close()函数的时候要注意一点先判断调用主体是否为空否则会panic. 比如上面的代码片段里先判断 f不为空才会调用 Close()函数这样最安全。defer命令的拆解如果defer像上面介绍地那样简单其实也不简单啦这个世界就完美了。事情总是没这么简单defer用得不好是会跳进很多坑的。理解这些坑的关键是这条语句return xxxreturn xxx上面这条语句经过编译之后变成了三条指令1. 返回值 xxx1. 返回值 xxx2. 调用defer函数2. 调用defer函数3. 空的return3. 空的return1,3步才是Return 语句真正的命令第2步是defer定义的语句这里可能会操作返回值。下面我们来看两个例子试着将return语句和defer语句拆解到正确的顺序。第一个例子func f() (r int) {func f() (r int) { t : 5 t : 5 defer func() { defer func() { t t 5 t t 5 }() }() return t return t}}拆解后func f() (r int) {func f() (r int) { t : 5 t : 5 // 1. 赋值指令 // 1. 赋值指令 r t r t // 2. defer被插入到赋值与返回之间执行这个例子中返回值r没被修改过 // 2. defer被插入到赋值与返回之间执行这个例子中返回值r没被修改过 func() { func() { t t 5 t t 5 } } // 3. 空的return指令 // 3. 空的return指令 return return}}这里第二步没有操作返回值r, 因此main函数中调用f()得到5.第二个例子func f() (r int) {func f() (r int) { defer func(r int) { defer func(r int) { r r 5 r r 5 }(r) }(r) return 1 return 1}}拆解后func f() (r int) {func f() (r int) { // 1. 赋值 // 1. 赋值 r 1 r 1 // 2. 这里改的r是之前传值传进去的r不会改变要返回的那个r值 // 2. 这里改的r是之前传值传进去的r不会改变要返回的那个r值 func(r int) { func(r int) { r r 5 r r 5 }(r) }(r) // 3. 空的return // 3. 空的return return return}}因此main函数中调用f()得到1.defer语句的参数defer语句表达式的值在定义时就已经确定了。下面展示三个函数func f1() {func f1() { var err error var err error defer fmt.Println(err) defer fmt.Println(err) err errors.New(defer error) err errors.New(defer error) return return}}func f2() {func f2() { var err error var err error defer func() { defer func() { fmt.Println(err) fmt.Println(err) }() }() err errors.New(defer error) err errors.New(defer error) return return}}func f3() {func f3() { var err error var err error defer func(err error) { defer func(err error) { fmt.Println(err) fmt.Println(err) }(err) }(err) err errors.New(defer error) err errors.New(defer error) return return}}func main() {func main() { f1() f1() f2() f2() f3() f3()}}运行结果nilnildefer errordefer errornilnil第13个函数是因为作为函数参数定义的时候就会求值定义的时候err变量的值都是nil, 所以最后打印的时候都是nil. 第2个函数的参数其实也是会在定义的时候求值只不过第2个例子中是一个闭包它引用的变量err在执行的时候最终变成 defer error了。关于闭包在本文后面有介绍。第3个函数的错误还比较容易犯在生产环境中很容易写出这样的错误代码。最后defer语句没有起到作用。闭包是什么闭包是由函数及其相关引用环境组合而成的实体,即闭包函数引用环境闭包函数引用环境一般的函数都有函数名但是匿名函数就没有。匿名函数不能独立存在但可以直接调用或者赋值于某个变量。匿名函数也被称为闭包一个闭包继承了函数声明时的作用域。在Golang中所有的匿名函数都是闭包。有个不太恰当的例子可以把闭包看成是一个类一个闭包函数调用就是实例化一个类。闭包在运行时可以有多个实例它会将同一个作用域里的变量和常量捕获下来无论闭包在什么地方被调用实例化时都可以使用这些变量和常量。而且闭包捕获的变量和常量是引用传递不是值传递。举个简单的例子func main() {func main() { var a Accumulator() var a Accumulator() fmt.Printf(%d\n, a(1)) fmt.Printf(%d\n, a(1)) fmt.Printf(%d\n, a(10)) fmt.Printf(%d\n, a(10)) fmt.Printf(%d\n, a(100)) fmt.Printf(%d\n, a(100)) fmt.Println(------------------------) fmt.Println(------------------------) var b Accumulator() var b Accumulator() fmt.Printf(%d\n, b(1)) fmt.Printf(%d\n, b(1)) fmt.Printf(%d\n, b(10)) fmt.Printf(%d\n, b(10)) fmt.Printf(%d\n, b(100)) fmt.Printf(%d\n, b(100))}}func Accumulator() func(int) int {func Accumulator() func(int) int { var x int var x int return func(delta int) int { return func(delta int) int { fmt.Printf((%v, %v) - , x, x) fmt.Printf((%v, %v) - , x, x) x delta x delta return x return x } }}}执行结果(0xc420014070, 0) - 1(0xc420014070, 0) - 1(0xc420014070, 1) - 11(0xc420014070, 1) - 11(0xc420014070, 11) - 111(0xc420014070, 11) - 111------------------------------------------------(0xc4200140b8, 0) - 1(0xc4200140b8, 0) - 1(0xc4200140b8, 1) - 11(0xc4200140b8, 1) - 11(0xc4200140b8, 11) - 111(0xc4200140b8, 11) - 111闭包引用了x变量a,b可看作2个不同的实例实例之间互不影响。实例内部x变量是同一个地址因此具有“累加效应”。defer配合recoverGolang被诟病比较多的就是它的error, 经常是各种error满天飞。编程的时候总是会返回一个error, 留给调用者处理。如果是那种致命的错误比如程序执行初始化的时候出问题直接panic掉省得上线运行后出更大的问题。但是有些时候我们需要从异常中恢复。比如服务器程序遇到严重问题产生了panic, 这时我们至少可以在程序崩溃前做一些“扫尾工作”如关闭客户端的连接防止客户端一直等待等等。panic会停掉当前正在执行的程序不只是当前协程。在这之前它会有序地执行完当前协程defer列表里的语句其它协程里挂的defer语句不作保证。因此我们经常在defer里挂一个recover语句防止程序直接挂掉这起到了 try...catch的效果。注意recover()函数只在defer的上下文中才有效且只有通过在defer中用匿名函数调用才有效直接调用的话只会返回 nil.func main() {func main() { defer fmt.Println(defer main) defer fmt.Println(defer main) var user os.Getenv(USER_) var user os.Getenv(USER_) go func() { go func() { defer func() { defer func() { fmt.Println(defer caller) fmt.Println(defer caller) if err : recover(); err ! nil { if err : recover(); err ! nil { fmt.Println(recover success. err: , err) fmt.Println(recover success. err: , err) } } }() }() func() { func() { defer func() { defer func() { fmt.Println(defer here) fmt.Println(defer here) }() }() if user { if user { panic(should set user env.) panic(should set user env.) } } // 此处不会执行 // 此处不会执行 fmt.Println(after panic) fmt.Println(after panic) }() }() }() }() time.Sleep(100) time.Sleep(100) fmt.Println(end of main function) fmt.Println(end of main function)}}上面的panic最终会被recover捕获到。这样的处理方式在一个http server的主流程常常会被用到。一次偶然的请求可能会触发某个bug, 这时用recover捕获panic, 稳住主流程不影响其他请求。程序员通过监控获知此次panic的发生按时间点定位到日志相应位置找到发生panic的原因三下五除二修复上线。一看四周大家都埋头干自己的事简直完美偷偷修复了一个bug, 没有发现嘿嘿后记defer非常好用一般情况下不会有什么问题。但是只有深入理解了defer的原理才会避开它的温柔陷阱。掌握了它的原理后就会写出易懂易维护的代码。参考资料【defer那些事】https://xiaozhou.net/something-about-defer-2014-05-25.html 【defer代码案例】https://tiancaiamao.gitbooks.io/go-internals/content/zh/03.4.html 【闭包】https://www.kancloud.cn/liupengjie/go/576456 【闭包】http://blog.51cto.com/speakingbaicai/1703229 【闭包】https://blog.csdn.net/zhangzhebjut/article/details/25181151 【延迟】http://liyangliang.me/posts/2014/12/defer-in-golang/ 【defer三条原则】https://leokongwq.github.io/2016/10/15/golang-defer.html 【defer代码例子】https://juejin.im/post/5b948b3e6fb9a05d3827beda 【defer panic】https://ieevee.com/tech/2017/11/23/go-panic.html 【defer panic】https://zhuanlan.zhihu.com/p/33743255
