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

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指针（

），然后编译器就已经瞎了。所以就只好判断，这时候 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