Go分配内存规则
全局变量
- 引用类型的分配在堆上,值类型的分配在栈上。
局部变量
- 一般分配在栈上。如果局部变量太大,则分配在堆上。如果函数执行完,仍然有外部引用此局部变量,则分配在堆上。
什么是逃逸
把本该分配在栈上的变量分配到了堆,则发生了逃逸。
案例
var global *int
func fn() {
var x int
x = 1
global = &x
}
func fn2() {
y := new(int)
*y = 1
}
函数里的x变量必须在堆上分配,因为它在函数f()退出后依然可以通过包一级的global变量找到,虽然它是在函数内部定义的。
在函数里初始化一个引用类型的变量a := make(map[int]int,10)。其中,变量名a在栈中,其指向的地址在堆空间。
在函数里通过b:=a实现拷贝,这是一个浅拷贝(引用类型的拷贝都是浅拷贝)。栈上新建b,指向a指向的内存地址。
变量空间回收规则
分配在栈中的变量,在函数执行结束后由系统将内存回收,是安全的;如果分配在堆中,则函数执行结束由GC(垃圾回收)处理。
所有的GC都是针对堆的