变量逃逸到堆的7种情况解析

在Go语言中，变量通常分配在栈上以提升性能，但某些情况下，为了保证变量的生命周期，编译器会通过逃逸分析将其分配到堆上。以下情况会导致变量逃逸：函数返回局部变量的指针，如`newInt`函数；变量地址赋给全局变量，如`storePtr`函数；指针发送到通道，如`sendInt`函数；闭包捕获局部变量且闭包生命周期更长，如`counter`函数；以及大对象可能直接分配在堆上以避免栈溢出，如`largeArray`函数。理解这些逃逸情况有助于优化Go程序的性能，避免不必要的堆分配。

局部变量地址被返回时逃逸到堆，如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运行时对于过大的局部变量（如大数组）可能直接分配在堆上，避免栈空间耗尽。