什么是逃逸分析？
把本该分配在栈上的变量分配到了堆，则发生了逃逸。分析这种情况的行为就是逃逸分析。
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都是针对堆的。
有疑问加站长微信联系（非本文作者）
