局部变量地址被返回时逃逸到堆，如newInt返回&i；2. 变量地址赋给全局变量时逃逸，如storePtr中global=&x；3. 指针发送到通道时逃逸，如sendInt中ch
在Go语言中，编译器会通过逃逸分析（Escape Analysis）决定变量分配在栈上还是堆上。虽然变量通常分配在栈上以提升性能，但在某些情况下，变量会被逃逸到堆上，以确保其生命周期超过当前函数执行期。以下是常见的变量逃逸情况：
1. 变量的地址被返回
如果函数返回了局部变量的地址，该变量必须在堆上分配，否则函数结束后栈空间会被回收，导致悬空指针。
func newInt() *int { i := 10 return &i // i 逃逸到堆}
这里 i 虽然是局部变量，但它的地址被返回，因此必须分配在堆上。
2. 变量被赋值给逃逸的引用
如果一个变量的地址被存储到一个已经逃逸的对象中（如全局变量、堆上的结构体字段等），它也会被强制逃逸。
立即学习“go语言免费学习笔记（深入）”；
var global *int
func storePtr() {x := 42global = &x // x 逃逸到堆}
即使 x 是局部变量，但它的地址被赋给全局变量，生命周期变长，因此逃逸。
3. 发送到通道中的指针或包含指针的结构体
当指针或包含指针的结构体被发送到通道中，Go无法确定接收方何时读取，因此相关数据通常逃逸到堆。
ch := make(chan *int)
func sendInt() {i := 10ch
因为 &i 被发送到通道，可能在函数结束后才被使用，所以 i 必须在堆上分配。
4. 在闭包中引用的局部变量
如果闭包捕获了局部变量的引用，且闭包的生命周期超过函数调用，变量会逃逸。
func counter() func() int { x := 0 return func() int { // 闭包引用 x x++ return x }} // x 逃逸到堆
尽管 x 是局部变量，但返回的闭包持续引用它，因此必须分配在堆上。
5. 大对象可能直接分配在堆上
虽然这不是严格意义上的“逃逸”，但Go运行时对于过大的局部变量（如大数组）可能直接分配在堆上，避免栈空间耗尽。
func largeArray() { var arr [1
具体是否逃逸取决于编译器优化和栈空间限制。
6. 方法调用中的值被取地址
当方法接收者是值类型，但方法内部对其取地址，或方法链中涉及指针操作，也可能导致逃逸。
type Person struct{ Name string }
func (p Person) setName(s string) *Person {p.Name = sreturn &p // p 逃逸}
虽然 p 是值传递，但返回其地址，导致逃逸。
基本上就这些常见情况。Go编译器会静态分析变量的使用方式，判断其生命周期是否超出函数作用域，从而决定是否逃逸。使用 go build -gcflags=”-m” 可查看逃逸分析结果，帮助优化性能。
以上就是在Golang中什么情况下一个变量会逃逸到堆上的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1401869.html
微信扫一扫 
支付宝扫一扫 
