go的值类型和引用类型2——内存分配规则

Posted 2021-10-05 煮酒

什么是逃逸分析？
把本该分配在栈上的变量分配到了堆，则发生了逃逸。分析这种情况的行为就是逃逸分析。

go为变量分配内存的规则：
全局变量，引用类型的分配在堆上，值类型的分配在栈上。
局部变量，一般分配在栈上。如果局部变量太大，则分配在堆上。如果函数执行完，仍然有外部引用此局部变量，则分配在堆上。
案例：

var global *int

func f() {
    var x int
    x = 1
    global = &x
}

func g() {
    y := new(int)
    *y = 1
}

函数里的x变量必须在堆上分配，因为它在函数f()退出后依然可以通过包一级的global变量找到，虽然它是在函数内部定义的。

在函数里初始化一个引用类型的变量a := make(map[int]int,10)。其中，变量名a在栈中，其指向的地址在堆空间。
在函数里通过b:=a实现拷贝，这是一个浅拷贝(引用类型的拷贝都是浅拷贝)。栈上新建b，指向a指向的内存地址。

变量空间回收规则：
分配在栈中的变量，在函数执行结束后由系统将内存回收，是安全的；如果分配在堆中，则函数执行结束由GC（垃圾回收）处理。

插一句：所有的GC都是针对堆的。