听说,99% 的 Go 程序员都被 defer 坑过
原文链接: 听说,99% 的 Go 程序员都被 defer 坑过
先声明:我被坑过。
之前写 Go 专栏时,写过一篇文章:Go 专栏|错误处理:defer,panic 和 recover。有小伙伴留言说:道理都懂,但还是不知道怎么用,而且还总出现莫名奇妙的问题。
出问题就对了,这个小东西坏的很,一不留神就出错。
所以,面对这种情况,我们今天就不讲道理了。直接把我珍藏多年的代码一把梭,凭借多年踩坑经历和写 BUG 经验,我要站着把这个坑迈过去。
<p style="text-align:center;color:#1e819e;font-size:1.2em;font-weight: bold;">一、</p>
先来一个简单的例子热热身:
package main import ( "fmt" ) func main() { defer func() { fmt.Println("first") }() defer func() { fmt.Println("second") }() fmt.Println("done") }
输出:
done second first
这个比较简单,defer
语句的执行顺序是按调用 defer
语句的倒序执行。
<p style="text-align:center;color:#1e819e;font-size:1.2em;font-weight: bold;">二、</p>
看看这段代码有什么问题?
for _, filename := range filenames { f, err := os.Open(filename) if err != nil { return err } defer f.Close() }
这段代码其实很危险,很可能会用尽所有文件描述符。因为 defer
语句不到函数的最后一刻是不会执行的,也就是说文件始终得不到关闭。所以切记,一定不要在 for
循环中使用 defer
语句。
那怎么优化呢?可以将循环体单独写一个函数,这样每次循环的时候都会调用关闭函数。
如下:
for _, filename := range filenames { if err := doFile(filename); err != nil { return err } } func doFile(filename string) error { f, err := os.Open(filename) if err != nil { return err } defer f.Close() }
<p style="text-align:center;color:#1e819e;font-size:1.2em;font-weight: bold;">三、</p>
看看这三个函数的输出结果是什么?
package main import ( "fmt" ) func a() (r int) { defer func() { r++ }() return 0 } func b() (r int) { t := 5 defer func() { t = t + 5 }() return t } func c() (r int) { defer func(r int) { r = r + 5 }(r) return 1 } func main() { fmt.Println("a = ", a()) fmt.Println("b = ", b()) fmt.Println("c = ", c()) }
公布答案:
a = 1 b = 5 c = 1
你答对了吗?
说实话刚开始看到这个结果时,我是相当费解,完全不知道怎么回事。
但可以看到,这三个函数都有一个共同特点,它们都有一个命名返回值,并且都在函数中引用了这个返回值。
引用的方式分两种:分别是闭包和函数参数。
先看 a()
函数:
闭包通过 r++
修改了外部变量,返回值变成了 1。
相当于:
func aa() (r int) { r = 0 // 在 return 之前,执行 defer 函数 func() { r++ }() return }
再看 b()
函数:
闭包内修改的只是局部变量 t
,而外部变量 t
不受影响,所以还是返回 5。
相当于:
func bb() (r int) { t := 5 // 赋值 r = t // 在 return 之前,执行 defer 函数 // defer 函数没有对返回值 r 进行修改,只是修改了变量 t func() { t = t + 5 }() return }
最后是 c
函数:
参数传递是值拷贝,实参不受影响,所以还是返回 1。
相当于:
func cc() (r int) { // 赋值 r = 1 // 这里修改的 r 是函数形参的值 // 值拷贝,不影响实参值 func(r int) { r = r + 5 }(r) return }
那么,为了避免写出这么令人意外的代码,最好在定义函数时就不要使用命名返回值。或者如果使用了,就不要在 defer
中引用。
再看下面两个例子:
func d() int { r := 0 defer func() { r++ }() return r } func e() int { r := 0 defer func(i int) { i++ }(r) return 0 }
d = 0 e = 0
返回值符合预期,再也不用绞尽脑汁猜了。
<p style="text-align:center;color:#1e819e;font-size:1.2em;font-weight: bold;">四、</p>
defer
表达式的函数如果在 panic
后面,则这个函数无法被执行。
func main() { panic("a") defer func() { fmt.Println("b") }() }
输出如下,b
没有打印出来。
panic: a goroutine 1 [running]: main.main() xxx.go:87 +0x4ce exit status 2
而如果 defer
在前,则可以执行。
func main() { defer func() { fmt.Println("b") }() panic("a") }
输出:
b panic: a goroutine 1 [running]: main.main() xxx.go:90 +0x4e7 exit status 2
<p style="text-align:center;color:#1e819e;font-size:1.2em;font-weight: bold;">五、</p>
看看下面这段代码的执行顺序:
func G() { defer func() { fmt.Println("c") }() F() fmt.Println("继续执行") } func F() { defer func() { if err := recover(); err != nil { fmt.Println("捕获异常:", err) } fmt.Println("b") }() panic("a") } func main() { G() }
顺序如下:
- 调用
G()
函数; - 调用
F()
函数; F()
中遇到panic
,立刻终止,不执行panic
之后的代码;- 执行
F()
中defer
函数,遇到recover
捕获错误,继续执行defer
中代码,然后返回; - 执行
G()
函数后续代码,最后执行G()
中defer
函数。
输出:
捕获异常: a b 继续执行 c
<p style="text-align:center;color:#1e819e;font-size:1.2em;font-weight: bold;">五、</p>
看看下面这段代码的执行顺序:
func G() { defer func() { if err := recover(); err != nil { fmt.Println("捕获异常:", err) } fmt.Println("c") }() F() fmt.Println("继续执行") } func F() { defer func() { fmt.Println("b") }() panic("a") } func main() { G() }
顺序如下:
- 调用
G()
函数; - 调用
F()
函数; F()
中遇到panic
,立刻终止,不执行panic
之后的代码;- 执行
F()
中defer
函数,由于没有recover
,则将panic
抛到G()
中; G()
收到panic
则不会执行后续代码,直接执行defer
函数;defer
中捕获F()
抛出的异常a
,然后继续执行,最后退出。
输出:
b 捕获异常: a c
<p style="text-align:center;color:#1e819e;font-size:1.2em;font-weight: bold;">六、</p>
看看下面这段代码的执行顺序:
func G() { defer func() { fmt.Println("c") }() F() fmt.Println("继续执行") } func F() { defer func() { fmt.Println("b") }() panic("a") } func main() { G() }
顺序如下:
- 调用
G()
函数; - 调用
F()
函数; F()
中遇到panic
,立刻终止,不执行panic
之后的代码;- 执行
F()
中defer
函数,由于没有recover
,则将panic
抛到G()
中; G()
收到panic
则不会执行后续代码,直接执行defer
函数;- 由于没有
recover
,直接抛出F()
抛过来的异常a
,然后退出。
输出:
b c panic: a goroutine 1 [running]: main.F() xxx.go:90 +0x5b main.G() xxx.go:82 +0x48 main.main() xxx.go:107 +0x4a5 exit status 2
<p style="text-align:center;color:#1e819e;font-size:1.2em;font-weight: bold;">七、</p>
看看下面这段代码的执行顺序:
func G() { defer func() { // goroutine 外进行 recover if err := recover(); err != nil { fmt.Println("捕获异常:", err) } fmt.Println("c") }() // 创建 goroutine 调用 F 函数 go F() time.Sleep(time.Second) } func F() { defer func() { fmt.Println("b") }() // goroutine 内部抛出panic panic("a") } func main() { G() }
顺序如下:
- 调用
G()
函数; - 通过 goroutine 调用
F()
函数; F()
中遇到panic
,立刻终止,不执行panic
之后的代码;- 执行
F()
中defer
函数,由于没有recover
,则将panic
抛到G()
中; - 由于 goroutine 内部没有进行
recover
,则 goroutine 外部函数,也就是G()
函数是没办法捕获的,程序直接崩溃退出。
输出:
b panic: a goroutine 6 [running]: main.F() xxx.go:96 +0x5b created by main.G xxx.go:87 +0x57 exit status 2
<p style="text-align:center;color:#1e819e;font-size:1.2em;font-weight: bold;">八、</p>
最后再说一个 recover
的返回值问题:
defer func() { if err := recover(); err != nil { fmt.Println("捕获异常:", err.Error()) } }() panic("a")
recover
返回的是 interface {}
类型,而不是 error
类型,所以这样使用的话会报错:
err.Error undefined (type interface {} is interface with no methods)
可以这样来转换一下:
defer func() { if err := recover(); err != nil { fmt.Println("捕获异常:", fmt.Errorf("%v", err).Error()) } }() panic("a")
或者直接打印结果:
defer func() { if err := recover(); err != nil { fmt.Println("捕获异常:", err) } }() panic("a")
输出:
捕获异常: a
以上就是本文的全部内容,其实写过其他的语言的同学都知道,关闭文件句柄,释放锁等操作是很容易忘的。而 Go 语言通过 defer
很好地解决了这个问题,但在使用过程中还是要小心。
本文总结了一些容踩坑的点,希望能够帮助大家少写 BUG,如果大家觉得有用的话,欢迎点赞和转发。
文章中的脑图和源码都上传到了 GitHub,有需要的同学可自行下载。
源码地址:
推荐阅读:
参考:
- 《Go 语言核心编程》
- https://www.jianshu.com/p/63e3d57f285f
低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。
持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。
- 上一篇
OSM 宣布 v1.0.0 候选版本
今天,我们很兴奋地宣布开放服务网格(Open Service Mesh,OSM)v1.0 的第一个候选版本[1]。自从 OSM 项目最初开放源代码以来,这是令人兴奋的一年。OSM 是一个云原生服务网格,允许你在动态微服务环境中统一管理、保护和观察应用程序流量。它现在运行在 Kubernetes 上,我们计划很快也在多集群和混合环境中支持 OSM。随着 1.0 版本在未来几周的发布,我们将提供一组稳定的、健壮的服务网格特性。你可以使用 OSM: 利用自动服务实现业务流量加密(mTLS)。 针对 HTTP、TCP 和 gRPC 流量,加强在网格内通信的应用程序之间的访问控制。 金丝雀(灰度)和蓝/绿风格的部署。 通过 OSM 收集和暴露的流量指标,了解应用程序流量的行为方式。 为入口和出口流量定义细粒度的流量控制。 和更多的 查看我们最新更新的文档网站[2],了解更多关于特性、演示和架构的信息。 在过去的一年里,我们也花了很多时间在云原生生态系统中集成和贡献项目,我们希望在这些项目中确保互操作性。Kubernetes 的高性能入口控制器Contour[3]就是这样一个项目。你可以了解如何利...
- 下一篇
领导让我研究 Eureka 源码 | 启动过程
Eureka 源码之启动过程 大家好,我悟空。 最近在倒腾 Eureka 源码,因为大环境太卷了,必须得卷点源码才行,另外呢,能够读懂开源项目的源码、解决项目中遇到的问题是实力的象征,是吧?如果只是会用些中间件,那是不够的,和 CRUD 区别不大。 话不多说,源码走起。本篇是 Eureka 源码分析的开篇,后续会持续分享源码解析的文章。 首先呢,Eureka 服务的启动入口在这里:EurekaBootStrap.java 的 contextInitialized 方法。 关于源码的获取直接到官网下载就好了。https://github.com/Netflix/eureka 本文已收录到我的 github:https://github.com/Jackson0714/PassJava-Learning 一、初始化环境 启动类是 EurekaBootStrap.java,在这个路径下: \eureka\eureka-core\src\main\java\com\netflix\eureka\EurekaBootStrap.java 启动时序图: 启动代码: @Override public...
相关文章
文章评论
共有0条评论来说两句吧...
文章二维码
点击排行
-
Docker使用Oracle官方镜像安装(12C,18C,19C)
- Springboot2将连接池hikari替换为druid,体验最强大的数据库连接池
- CentOS8编译安装MySQL8.0.19
- Docker快速安装Oracle11G,搭建oracle11g学习环境
- SpringBoot2配置默认Tomcat设置,开启更多高级功能
- MySQL8.0.19开启GTID主从同步CentOS8
- CentOS7,8上快速安装Gitea,搭建Git服务器
- Jdk安装(Linux,MacOS,Windows),包含三大操作系统的最全安装
- SpringBoot2编写第一个Controller,响应你的http请求并返回结果