在Go语言开发中，堆和栈是内存管理的两个核心概念，理解它们的差异以及运行时的内存分配逻辑，对写出高性能、低内存占用的代码有重要意义。不同的内存区域对应不同的分配规则和使用场景，开发者需要明确两者的边界和特性。
堆和栈的基础定义
栈是一种线性数据结构，遵循后进先出的原则，在Go语言中，每个goroutine都会拥有自己独立的栈空间，用于存储函数调用过程中的局部变量、函数参数、返回地址等信息。栈内存的分配和释放由编译器自动完成，不需要开发者手动干预。
堆是一块更大的、可动态分配的内存区域，用于存储生命周期较长、或者大小不确定、或者需要跨函数共享的数据。堆内存的分配和释放由Go运行时负责，开发者不需要手动调用分配和释放函数，运行时会通过垃圾回收机制自动回收不再使用的堆内存。
Go语言中堆和栈的核心区别
两者的差异主要体现在以下几个维度：
- 生命周期不同：栈上的数据生命周期和所在函数的调用周期一致，函数执行结束后栈帧出栈，对应内存自动释放；堆上的数据生命周期由垃圾回收器管理，只要还有引用指向该数据，内存就不会被回收。
- 分配效率不同：栈内存的分配只需要移动栈指针，操作非常简单，效率极高；堆内存的分配需要经过运行时的内存分配器处理，可能涉及内存池查找、系统调用等步骤，效率低于栈分配。
- 存储内容不同：栈主要存储局部变量、函数参数、返回值等小尺寸、生命周期短的数据；堆主要存储大对象、逃逸到堆上的局部变量、需要跨函数传递的引用类型数据等。
Go运行时内存分配的基本逻辑
Go运行时的内存分配器参考了tcmalloc的设计思路，核心目标是减少锁竞争、提升分配效率，整体分为三个层级：
内存管理单元
运行时将内存划分为不同大小的管理单元，最小的分配单元是span，每个span由一组连续的页组成，负责存储特定大小范围的对象。运行时会预先申请大块的内存，划分为不同规格的span，避免频繁向操作系统申请内存。
线程缓存与中心缓存
每个P（处理器）都绑定一个mcache（线程缓存），mcache中缓存了不同大小规格的对象内存块，小对象分配时优先从mcache中获取，不需要加锁，效率很高。当mcache中的内存不足时，会从mcentral（中心缓存）中申请对应规格的内存块，mcentral是所有P共享的，申请时需要加锁。如果mcentral也没有足够的内存，就会从mheap（堆缓存）中申请新的span，mheap负责向操作系统申请大块内存。
不同大小对象的分配路径
Go运行时根据对象的大小划分了不同的分配路径：
- 微小对象（大小小于16字节）：直接从mcache的tiny分配器中分配，多个微小对象可以共用同一个内存块，进一步减少内存碎片。
- 小对象（大小在16字节到32KB之间）：从mcache中对应规格的span中分配，不足时向mcentral申请。
- 大对象（大小超过32KB）：直接绕过mcache和mcentral，从mheap中分配对应的span，不需要走缓存层级。
变量逃逸与栈堆分配的关系
Go语言中变量的分配位置不是由开发者手动指定的，而是由编译器通过逃逸分析来决定的。如果局部变量没有发生逃逸，就会分配在栈上；如果发生了逃逸，就会分配在堆上。
常见的逃逸场景包括：返回局部变量的指针、将局部变量赋值给全局变量、局部变量被闭包引用、局部变量的大小不确定（比如切片容量动态扩容）等。
以下是一个简单的逃逸分析示例：
package main
// 返回局部变量的指针，变量会逃逸到堆上
func escapeDemo() *int {
x := 10
return &x
}
func main() {
p := escapeDemo()
println(*p)
}
我们可以通过go build -gcflags="-m"命令查看逃逸分析的结果，上述代码中x变量会被标记为逃逸到堆上。
合理使用堆和栈的建议
基于堆和栈的特性，开发者可以遵循以下建议优化内存使用：
- 尽量让局部变量不逃逸，优先使用栈分配，减少堆内存的分配和垃圾回收压力。
- 对于频繁创建的小对象，可以考虑对象池复用，减少重复分配的开销。
- 避免不必要的指针传递，减少变量逃逸的概率。
- 对于大对象，如果生命周期较短，可以考虑拆分或者复用，避免长期占用堆内存。
Go语言的内存分配机制已经做了很多优化，大多数场景下开发者不需要过度关注内存分配的细节，但理解堆和栈的原理，能帮助我们在遇到性能问题时快速定位内存相关的瓶颈。