百科问答小站 logo
百科问答小站 font logo



go语言,局部变量什么时候回收? 第1页

  

user avatar   yuhengk 网友的相关建议: 
      

Go 有 escape analysis, 在编译期,它会分析你的变量是否在函数执行完毕那一刻,程序有没有可能有别的对象引用到它(所谓逃逸),如果没有,那这个变量就可以在栈上分配,完全不经过 gc. 如果它已经逃逸了,那什么时候 gc 就由不得你了。

在 go build 时加上 -gcflags='-m' 参数,它会在编译时打印什么东西 escape 了,题主的程序,不好意思,全部中招:

       ./test.go:16: j escapes to heap ./test.go:18: vec escapes to heap ./test.go:12: make([]int, 5, 5) escapes to heap     

原因其实在 fmt.Println, 你看文档,fmt.Println 接收的是 interface{}... Interface 实际上就是个数据指针+itable指针(

research.swtch.com/inte

),然后编译器就已经瞎了。所以就只好判断,这时候 j 和 vec 都 escape 了……(叫你不加 generic……)另外注意虽然这时传给 fmt.Println 的 interface{} 并不指向 j, 而是一个 j 的拷贝,但因为编译器已经傻掉,这个拷贝只能放堆上,所以这个 escape 也算在 j 头上了。

伺候 Go gc 最简单的就是少把指针传来传去少弄点零碎共享对象。除了显式指针外 interface{} 是个指针,slice 是个指针 blah blah blah. 没有显著理由优先复制传值而不是传指针,在现代机器上,复制结构往往很廉价(Go 没有复制构造函数之类的东东复制还真就是个 memory copy)。

当然最重要的,做 profiling, 找到真正要优化的点,之后像上面这种静态分析工具也能帮大忙。

大推荐 Go 核心开发者 Russ Cox 的两篇 Go data structures

research.swtch.com/goda research.swtch.com/inte



  

相关话题

  如何在一个月内提高 C++ 水平? 
  从语言学的角度,为什么拉丁字母比汉字更适合编程语言? 
  为什么程序语言要设计成使用这么多shift? 
  为什么python整数除法运算得浮点数? 
  如何写出军工级的代码? 
  为什么最近十年发明的编程语言都喜欢先变量名后类型声明这种变量声明方式? 
  开始慢慢抄代码敲对自己编程提高有用吗? 
  为什么程序员要使用三元运算符而不是显式写出 if 语句? 
  学生党可不可以电脑只装 Linux 操作系统? 
  你最喜欢的编程语言是什么?为什么喜欢? 

前一个讨论
为什么有些大公司技术弱爆了?
下一个讨论
如何评价雷军在红米Note3发布会上落泪?





© 2025-05-25 - tinynew.org. All Rights Reserved.
© 2025-05-25 - tinynew.org. 保留所有权利