Go变量逃逸堆的几种常见情况

目前golang学习网上已经有很多关于Golang的文章了，自己在初次阅读这些文章中，也见识到了很多学习思路；那么本文《变量在Golang中逃逸到堆上的情况通常发生在以下几种情况下：返回局部变量的地址：如果一个函数返回了其局部变量的指针，那么该变量必须被分配在堆上，因为当函数返回后，栈上的局部变量会被销毁。func foo() *int { x := 10 return &x // x 会逃逸到堆上 }变量被外部引用：如果一个变量被其他函数或goroutine引用，而这些函数或goroutine的生命周期超过了当前函数的生命周期，那么该变量可能会逃逸到堆上。使用闭包捕获变量：如果闭包捕获了函数中的局部变量，并且该闭包被传递到其他地方执行，那么被捕获的变量可能会逃逸到堆上。func bar() func() int { x := 10 return func() int { return x // x 会逃逸到堆上 } }大对象分配：Go语言的垃圾回收器对大对象（通常大于约32KB）的处理方式不同，可能会直接分配到堆上以避免频繁的垃圾回收。使用new或make函数：new(T) 和 make(T, size) 会直接》，也希望能帮助到大家，如果阅读完后真的对你学习Golang有帮助，欢迎动动手指，评论留言并分享~

局部变量地址被返回时逃逸到堆，如newInt返回&i；2. 变量地址赋给全局变量时逃逸，如storePtr中global=&x；3. 指针发送到通道时逃逸，如sendInt中ch<-&i；4. 闭包引用局部变量且闭包生命周期更长时逃逸，如counter中x被闭包捕获；5. 大对象可能直接分配在堆上以避免栈溢出，如largeArray中的大数组。

在Go语言中，编译器会通过逃逸分析（Escape Analysis）决定变量分配在栈上还是堆上。虽然变量通常分配在栈上以提升性能，但在某些情况下，变量会被逃逸到堆上，以确保其生命周期超过当前函数执行期。以下是常见的变量逃逸情况：

1. 变量的地址被返回

如果函数返回了局部变量的地址，该变量必须在堆上分配，否则函数结束后栈空间会被回收，导致悬空指针。

这里 i 虽然是局部变量，但它的地址被返回，因此必须分配在堆上。

2. 变量被赋值给逃逸的引用

如果一个变量的地址被存储到一个已经逃逸的对象中（如全局变量、堆上的结构体字段等），它也会被强制逃逸。

即使 x 是局部变量，但它的地址被赋给全局变量，生命周期变长，因此逃逸。

3. 发送到通道中的指针或包含指针的结构体

当指针或包含指针的结构体被发送到通道中，Go无法确定接收方何时读取，因此相关数据通常逃逸到堆。

因为 &i 被发送到通道，可能在函数结束后才被使用，所以 i 必须在堆上分配。

4. 在闭包中引用的局部变量

如果闭包捕获了局部变量的引用，且闭包的生命周期超过函数调用，变量会逃逸。

尽管 x 是局部变量，但返回的闭包持续引用它，因此必须分配在堆上。

5. 大对象可能直接分配在堆上

虽然这不是严格意义上的“逃逸”，但Go运行时对于过大的局部变量（如大数组）可能直接分配在堆上，避免栈空间耗尽。