0

0

Golang Defer:堆分配、堆栈分配、开放编码的 Defer

王林

王林

发布时间:2024-08-07 17:54:03

|

773人浏览过

|

来源于dev.to

转载

这是帖子的摘录;完整的帖子可以在这里找到:golang defer:从基础到陷阱。

defer 语句可能是我们开始学习 go 时首先发现非常有趣的事情之一,对吗?

但是它还有很多让很多人困惑的地方,并且有很多令人着迷的方面是我们在使用它时经常没有触及的。

Golang Defer:堆分配、堆栈分配、开放编码的 Defer

堆分配、堆栈分配、开放编码延迟

例如,defer 语句实际上有 3 种类型(从 go 1.22 开始,尽管稍后可能会改变):开放编码 defer、堆分配 defer 和堆栈分配。每一种都有不同的性能和不同的最佳使用场景,如果您想优化性能,了解这一点很有帮助。

在本次讨论中,我们将涵盖从基础知识到更高级用法的所有内容,我们甚至会深入研究一些内部细节。

立即学习go语言免费学习笔记(深入)”;

什么是延期?

在我们深入研究之前,让我们快速了解一下 defer。

在 go 中,defer 是一个关键字,用于延迟函数的执行,直到周围的函数完成。

func main() {
  defer fmt.println("hello")
  fmt.println("world")
}

// output:
// world
// hello

在此代码片段中,defer 语句安排 fmt.println("hello") 在 main 函数的最后执行。因此,立即调用 fmt.println("world"),并首先打印“world”。之后,因为我们使用了 defer,所以在 main 完成之前的最后一步会打印“hello”。

这就像设置一个任务稍后运行,就在函数退出之前运行。这对于清理操作非常有用,例如关闭数据库连接、释放互斥体或关闭文件:

func dosomething() error {
  f, err := os.open("phuong-secrets.txt")
  if err != nil {
    return err
  }
  defer f.close()

  // ...
}

上面的代码是一个很好的例子来展示 defer 是如何工作的,但这也是一个不好的使用 defer 的方式。我们将在下一节中讨论这个问题。

“好吧,很好,但是为什么不把 f.close() 放在最后呢?”

这样做有几个很好的理由:

  • 我们将关闭操作放在打开附近,这样更容易遵循逻辑并避免忘记关闭文件。我不想向下滚动函数来检查文件是否已关闭;它分散了我对主要逻辑的注意力。
  • 即使发生panic(运行时错误),延迟函数也会在函数返回时被调用。

发生恐慌时,堆栈将被展开,并且延迟函数将按特定顺序执行,我们将在下一节中介绍。

延迟已堆积

当您在函数中使用多个 defer 语句时,它们会按“堆栈”顺序执行,这意味着最后一个延迟函数会先执行。

func main() {
  defer fmt.println(1)
  defer fmt.println(2)
  defer fmt.println(3)
}

// output:
// 3
// 2
// 1

每次调用 defer 语句时,都会将该函数添加到当前 goroutine 链表的顶部,如下所示:

Golang Defer:堆分配、堆栈分配、开放编码的 Defer

goroutine 延迟链

当函数返回时,它会遍历链表并按照上图所示的顺序执行每一个。

但是请记住,它不会执行 goroutine 链表中的所有 defer,它只运行返回函数中的 defer,因为我们的 defer 链表可能包含来自许多不同函数的许多 defer。

func b() {
  defer fmt.println(1)
  defer fmt.println(2)
  a()
}

func a() {
  defer fmt.println(3)
  defer fmt.println(4)
}

因此,仅执行当前函数(或当前堆栈帧)中的延迟函数。

Golang Defer:堆分配、堆栈分配、开放编码的 Defer

goroutine 延迟链

但是有一种典型情况,当前 goroutine 中的所有延迟函数都被跟踪并执行,那就是发生恐慌的时候。

延迟、恐慌和恢复

除了编译时错误之外,我们还有很多运行时错误:除以零(仅限整数)、越界、取消引用 nil 指针等等。这些错误会导致应用程序出现恐慌。

Magician
Magician

Figma插件,AI生成图标、图片和UX文案

下载

panic 是一种停止当前 goroutine 执行、展开堆栈并执行当前 goroutine 中的延迟函数的方法,从而导致我们的应用程序崩溃。

为了处理意外错误并防止应用程序崩溃,您可以在延迟函数中使用恢复函数来重新获得对恐慌 goroutine 的控制。

func main() {
  defer func() {
    if r := recover(); r != nil {
      fmt.println("recovered:", r)
    }
  }()

  panic("this is a panic")
}

// output:
// recovered: this is a panic

通常,人们会在恐慌中放入错误并使用recover(..)捕获该错误,但它可以是任何东西:字符串、整数等。

在上面的例子中,延迟函数内部是唯一可以使用recover的地方。让我再解释一下。

我们可以在这里列出一些错误。我在实际代码中至少见过三个这样的片段。

第一个是,直接使用recover作为延迟函数:

func main() {
  defer recover()

  panic("this is a panic")
}

上面的代码仍然会出现恐慌,这是 go 运行时的设计。

recover 函数旨在捕获恐慌,但必须在延迟函数中调用它才能正常工作。

在幕后,我们对恢复的调用实际上是runtime.gorecover,它检查恢复调用是否在正确的上下文中发生,特别是来自发生恐慌时处于活动状态的正确的延迟函数。

“这是否意味着我们不能在延迟函数内的函数中使用恢复,就像这样?”

func myrecover() {
  if r := recover(); r != nil {
    fmt.println("recovered:", r)
  }
}

func main() {
  defer func() {
    myrecover()
    // ...
  }()

  panic("this is a panic")
}

确切地说,上面的代码不会像你想象的那样工作。这是因为恢复不是直接从延迟函数调用,而是从嵌套函数调用。

现在,另一个错误是试图从不同的 goroutine 中捕获恐慌:

func main() {
  defer func() {
    if r := recover(); r != nil {
      fmt.println("recovered:", r)
    }
  }()

  go panic("this is a panic")

  time.sleep(1 * time.second) // wait for the goroutine to finish
}

有道理吧?我们已经知道延迟链属于特定的 goroutine。如果一个 goroutine 可以干预另一个 goroutine 来处理恐慌,那就很困难了,因为每个 goroutine 都有自己的堆栈。

不幸的是,在这种情况下,如果我们不处理该 goroutine 中的恐慌,唯一的出路就是使应用程序崩溃。

延迟参数,包括立即评估接收者

我以前遇到过这个问题,旧数据被推送到分析系统,很难找出原因。

这就是我的意思:

func pushAnalytic(a int) {
  fmt.Println(a)
}

func main() {
  a := 10
  defer pushAnalytic(a)

  a = 20
}

你认为输出会是什么?是10个,不是20个。

那是因为当您使用 defer 语句时,它会立即获取值。这称为“按值捕获”。因此,当延迟被安排时,发送到pushanalytic的a的值被设置为10,即使a稍后发生变化。

有两种方法可以解决这个问题。

...

完整帖子可在此处查看:golang defer:从基础到陷阱。

相关专题

更多
golang如何定义变量
golang如何定义变量

golang定义变量的方法:1、声明变量并赋予初始值“var age int =值”;2、声明变量但不赋初始值“var age int”;3、使用短变量声明“age :=值”等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

178

2024.02.23

golang有哪些数据转换方法
golang有哪些数据转换方法

golang数据转换方法:1、类型转换操作符;2、类型断言;3、字符串和数字之间的转换;4、JSON序列化和反序列化;5、使用标准库进行数据转换;6、使用第三方库进行数据转换;7、自定义数据转换函数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

226

2024.02.23

golang常用库有哪些
golang常用库有哪些

golang常用库有:1、标准库;2、字符串处理库;3、网络库;4、加密库;5、压缩库;6、xml和json解析库;7、日期和时间库;8、数据库操作库;9、文件操作库;10、图像处理库。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

337

2024.02.23

golang和python的区别是什么
golang和python的区别是什么

golang和python的区别是:1、golang是一种编译型语言,而python是一种解释型语言;2、golang天生支持并发编程,而python对并发与并行的支持相对较弱等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

208

2024.03.05

golang是免费的吗
golang是免费的吗

golang是免费的。golang是google开发的一种静态强类型、编译型、并发型,并具有垃圾回收功能的开源编程语言,采用bsd开源协议。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

389

2024.05.21

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

195

2025.06.09

golang相关判断方法
golang相关判断方法

本专题整合了golang相关判断方法,想了解更详细的相关内容,请阅读下面的文章。

190

2025.06.10

golang数组使用方法
golang数组使用方法

本专题整合了golang数组用法,想了解更多的相关内容,请阅读专题下面的文章。

192

2025.06.17

Java 桌面应用开发(JavaFX 实战)
Java 桌面应用开发(JavaFX 实战)

本专题系统讲解 Java 在桌面应用开发领域的实战应用,重点围绕 JavaFX 框架,涵盖界面布局、控件使用、事件处理、FXML、样式美化(CSS)、多线程与UI响应优化,以及桌面应用的打包与发布。通过完整示例项目,帮助学习者掌握 使用 Java 构建现代化、跨平台桌面应用程序的核心能力。

36

2026.01.14

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
golang socket 编程
golang socket 编程

共2课时 | 0.1万人学习

nginx浅谈
nginx浅谈

共15课时 | 0.8万人学习

golang和swoole核心底层分析
golang和swoole核心底层分析

共3课时 | 0.1万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号