如何判断变量是分配在栈（stack）上还是堆（heap）上？

Go和C++不同，Go局部变量会进行逃逸分析。如果变量离开作用域后没有被引用，则优先分配到栈上，否则分配到堆上。判断语句：

// -m打印逃逸分析信息， -l禁止内联编译
go build -gcflags '-m -m -l' xxx.go 

通常情况下：

栈上：函数调用的参数、返回值以及小类型局部变量大都会被分配到栈上，这部分内存会由编译器进行管理。无需GC标记

堆上：大对象、逃逸的变量会被分配到堆上。分配到堆上的对象，Go在运行时GC会在后台将对应的内存进行标记，从而能够在垃圾回收的时候将对应的内存回收，进而增加了开销。

例子：

 

func main() {a := make([]int, 10000)b := make([]int, 1000)print(a,b)
}

可以看到

a 由于无法被一个执行栈装下，即使没有返回，也会直接在堆上分配；
b 能够被一个执行栈装下，变量没有返回到栈外，进而没有发生逃逸，分配到栈中

 

---

指针逃逸分析

局部变量以指针的方式从方法中传出或被全局变量引用，这种现象被称为指针逃逸(Escape).

情况一(最基本)：在某个函数中new或字面量创建出的变量，将其指针作为函数返回值，则该变量一定发生逃逸

func main() {c := call2()print(c)
}
func call2() *int {x := 2return &x
}

情况二：指针作为函数调用参数，则该变量如果没有被逃逸的变量或者全局变量引用，指针不会逃逸。

func main() {a := make([]int, 5)call(&a)
}func call(a *[]int) {(*a)[0] = 1
}

 情况三：仅在函数内对变量做取值操作，而未将指针传出，指针不会逃逸

 

func main() {a := 2b := &aprint(b)

情况四：指针作为函数调用参数，则该变量如果被逃逸的变量或者全局变量引用，指针会逃逸

var g *intfunc main() {a := 2g = &a
}

 情况五：被指针类型的slice、map和chan引用的指针一定会发生逃逸

func main() {a := make([]*int, 1)b := 12a[0] = &bc := make(map[string]*int)d := 14c["aaa"] = &de := make(chan *int, 1)f := 15e <- &f
}

 

---

总结

golang 变量存储在堆上还是栈上由内部实现决定而和具体的语法没有关系。非指针小对象通常保存在栈上，大对象保存在堆上。至于指针保存在堆上还是栈上，要进行逃逸分析：

指针必然发生逃逸的三种情况：

• 在某个函数中new或字面量创建出的变量，将其指针作为函数返回值，则该变量一定发生逃逸（构造函数返回的指针变量一定逃逸）；
• 被已经逃逸的变量引用的指针，一定发生逃逸；
• 被指针类型的slice、map和chan引用的指针，一定发生逃逸；

一些必然不会逃逸的情况：

• 指针被未发生逃逸的变量引用；
• 仅仅在函数内对变量做取址操作，而未将指针传出；