在 C/C++ 语言中,开发者需要学习如何进行内存分配,选用合适的内存分配方式来适应不同的算法需求。比如:函数局部变量尽量使用栈(Stack);全局变量、结构体成员使用堆(Heap)分配等。
Golang将这个过程整合到了编译器中,命名为“变量逃逸分析”(Escape Analysis)。通过编译器分析代码的特征和代码的生命周期,决定应该使用堆还是栈来进行内存分配。
来段示例代码:
package main
import "fmt"
func doSomething(b int) int {
var c int
c = b
return c
}
func doNothing() {
}
func main() {
var a int
doNothing()
fmt.Println(a, doSomething(100))
}
接着使用如下命令行运行上面的代码:
go run -gcflags "-m -l" showEscape.go
使用 go run 运行程序时,-gcflags 参数是编译参数。其中 -m 表示进行内存分配分析,-l 表示避免程序内联,也就是避免进行程序优化。
显示结果为:
# command-line-arguments
.\ShowEscape.go:18:13: a escapes to heap
.\ShowEscape.go:18:28: doSomething(100) escapes to heap
.\ShowEscape.go:18:13: main ... argument does not escape
0 100
上面例子中变量 c 是整型,其值通过 doSomething() 的返回值“逃出”了 doSomething() 函数。变量 c 的值被复制并作为 dummy() 函数的返回值返回,即使变量 c 在 doSomething() 函数中分配的内存被释放,也不会影响 main() 中使用 doSomething() 返回的值。变量 c 使用栈分配不会影响结果。
在使用Go语言进行编程时,Go语言的设计者不希望开发者将精力放在内存应该分配在栈还是堆的问题上,编译器会自动帮助开发者完成这个纠结的选择,但变量逃逸分析也是需要了解的一个编译器技术。
编译器觉得变量应该分配在堆和栈上的原则是:
- 变量是否被取地址;
- 变量是否发生逃逸。
编译器会自动选择在栈上还是在堆上分配变量的内存空间,使用 var 或 new 关键字声明变量并不会影响编译器的选择。