郑文峰的博客
·
Go语言堆栈分配与逃逸分析深度解析
💡
原文中文，约2600字，阅读约需7分钟。
📝
内容提要
Go语言的内存分配主要分为栈分配和堆分配。栈分配速度快且自动释放，减少了垃圾回收的压力；而堆分配开销较大，生命周期更长。通过逃逸分析，优化变量的分配方式，决定使用栈或堆。示例代码显示，堆分配比栈分配慢35倍，并增加了垃圾回收的负担。
🎯
关键要点
- Go语言的内存分配主要有栈分配和堆分配两种方式。
- 栈分配速度快，函数结束时自动释放，不产生垃圾。
- 堆分配需要垃圾回收，开销较大，生命周期更长。
- 栈分配比堆分配快10-100倍，不会增加GC压力。
- 逃逸分析是Go编译器的优化技术，决定变量分配在栈上还是堆上。
- 返回局部变量指针会导致变量放到堆上。
- 闭包使用局部变量时，变量会被放到堆上。
- 接口类型转换和全局变量赋值也会导致堆分配。
- 大尺寸对象的分配可能会影响性能。
- 编译器会优化内存分配，避免不必要的堆分配。
- 强制堆分配会导致性能下降，堆存储的开销是栈的35倍。
- GC压力大的情况下，短期小对象和高频调用的函数内部应优先使用栈分配。
❓
延伸问答
Go语言中栈分配和堆分配有什么区别？
栈分配速度快，函数结束时自动释放，不产生垃圾；堆分配开销较大，需要垃圾回收，生命周期更长。
什么是逃逸分析，它在Go语言中有什么作用？
逃逸分析是Go编译器的优化技术，分析变量的生命周期，决定将变量分配在栈上还是堆上。
为什么返回局部变量指针会导致堆分配？
返回局部变量指针会使变量的生命周期超出函数范围，导致编译器将其分配到堆上。
在什么情况下应该优先使用栈分配？
在GC压力大的情况下，短期小对象和高频调用的函数内部应优先使用栈分配。
堆分配的性能开销有多大？
堆分配的开销是栈分配的35倍，且会增加垃圾回收的负担。
如何强制让Go语言中的变量分配到堆上？
可以通过全局变量赋值或返回局部变量指针来强制变量分配到堆上。
➡️
