golang 什么是内存逃逸?

鼠扑  金牌会员 | 2024-7-14 01:31:34 | 显示全部楼层 | 阅读模式
打印 上一主题 下一主题

主题 577|帖子 577|积分 1731

什么是内存逃逸?

golang程序变量会携带有一组校验数据,用来证明它的整个生命周期是否在运行时完全可知。如果变量通过了这些校验,它就可以在栈上分配。否则就说它 逃逸 了,必须在堆上分配。
能引起变量逃逸到堆上的典范情况:


  • 在方法内把局部变量指针返回 局部变量原本应该在栈中分配,在栈中接纳。但是由于返回时被外部引用,因此其生命周期大于栈,则溢出。
  • 发送指针或带有指针的值到 channel 中。 在编译时,是没有办法知道哪个 goroutine 会在 channel 上接收数据。所以编译器没法知道变量什么时间才会被开释。
  • 在一个切片上存储指针或带指针的值。 一个典范的例子就是 []*string 。这会导致切片的内容逃逸。只管其后面的数组大概是在栈上分配的,但其引用的值一定是在堆上。
  • slice 的背后数组被重新分配了,因为 append 时大概会超出其容量( cap )。 slice 初始化的地方在编译时是可以知道的,它最开始会在栈上分配。如果切片背后的存储要基于运行时的数据进行扩充,就会在堆上分配。在 interface 范例上调用方法。
  • 在 interface 范例上调用方法都是动态调度的 —— 方法的真正实现只能在运行时知道。想像一个 io.Reader 范例的变量 r , 调用 r.Read(b) 会使得 r 的值和切片b 的背后存储都逃逸掉,所以会在堆上分配。
  1. package main
  2. import "fmt"
  3. type A struct {
  4. s string
  5. }
  6. // 这是上面提到的 "在方法内把局部变量指针返回" 的情况
  7. func foo(s string) *A {
  8. a := new(A)
  9. a.s = s
  10. return a //返回局部变量a,在C语言中妥妥野指针,但在go则ok,但a会逃逸到堆
  11. }
  12. func main() {
  13. a := foo("hello")
  14. b := a.s + " world"
  15. c := b + "!"
  16. fmt.Println(c)
  17. }
复制代码
执行go build -gcflags=-m main.go
  1. go build -gcflags=-m main.go
  2. # command-line-arguments
  3. ./main.go:7:6: can inline foo
  4. ./main.go:13:10: inlining call to foo
  5. ./main.go:16:13: inlining call to fmt.Println
  6. /var/folders/45/qx9lfw2s2zzgvhzg3mtzkwzc0000gn/T/go-build409982591/b001/_gomod_.go:6:6: can inline init.0
  7. ./main.go:7:10: leaking param: s
  8. ./main.go:8:10: new(A) escapes to heap
  9. ./main.go:16:13: io.Writer(os.Stdout) escapes to heap
  10. ./main.go:16:13: c escapes to heap
  11. ./main.go:15:9: b + "!" escapes to heap
  12. ./main.go:13:10: main new(A) does not escape
  13. ./main.go:14:11: main a.s + " world" does not escape
  14. ./main.go:16:13: main []interface {} literal does not escape
  15. <autogenerated>:1: os.(*File).close .this does not escape
复制代码


  • ./main.go:8:10: new(A) escapes to heap 说明 new(A) 逃逸了,符合上述提到的常见情况中的第一种。
  • ./main.go:14:11: main a.s + " world" does not escape 说明 b 变量没有逃逸,因为它只在方法内存在,会在方法结束时被接纳。
  • ./main.go:15:9: b + “!” escapes to heap 说明 c 变量逃逸,通过fmt.Println(a …interface{})打印的变量,都会发生逃逸,感兴趣的朋侪可以去查查为什么。

免责声明:如果侵犯了您的权益,请联系站长,我们会及时删除侵权内容,谢谢合作!更多信息从访问主页:qidao123.com:ToB企服之家,中国第一个企服评测及商务社交产业平台。
回复

使用道具 举报

0 个回复

倒序浏览

快速回复

您需要登录后才可以回帖 登录 or 立即注册

本版积分规则

鼠扑

金牌会员
这个人很懒什么都没写!

标签云

快速回复 返回顶部 返回列表