Go语言中堆栈分工明确：栈由goroutine独享，用于存储局部变量，生命周期短、访问快，函数调用结束自动释放；堆由运行时统一管理，存放生命周期不确定或需共享的数据，通过垃圾回收清理。编译器通过逃逸分析决定变量分配位置，若变量可能在函数外被引用（如返回指针、传给goroutine），则分配到堆。运行时内存分配器采用mcache、mcentral、mheap三级结构，优化并发分配效率。理解这些机制有助于减少GC压力、提升性能。
在Go语言中，堆（heap）和栈（stack）是两种不同的内存管理方式，理解它们的分工与协作对编写高效、安全的程序至关重要。Go编译器和运行时系统会自动决定变量分配在堆还是栈上，开发者通常无需手动干预，但了解其背后机制有助于优化性能和避免潜在问题。
栈内存：函数调用的局部舞台
栈内存由每个goroutine独立维护，用于存储函数调用过程中的局部变量。它的特点是生命周期明确、访问速度快、管理开销小。
当一个函数被调用时，系统会为它分配一块栈空间，称为栈帧（stack frame），包含参数、返回地址和局部变量。函数执行结束，栈帧自动弹出，内存随之释放。
- 栈内存分配和回收是连续且高效的，通过移动栈指针即可完成
- 栈上的数据只能被当前函数直接访问，不适合跨函数长期持有
- Go的栈是可增长的，初始较小（如2KB），根据需要动态扩展
堆内存：共享与持久的数据存储
堆内存由Go运行时统一管理，用于存放生命周期不确定或需在多个goroutine间共享的数据。相比栈，堆的分配和回收成本更高，依赖垃圾回收器（GC）清理不再使用的对象。
立即学习“go语言免费学习笔记（深入）”；
例如，通过new或make创建的对象通常分配在堆上，尤其是那些逃逸出当前函数作用域的变量。
- 堆内存可被任意持有引用的代码访问，适合长期存在或跨协程共享的数据
- 频繁的堆分配会增加GC压力，影响程序吞吐量
- 运行时通过“逃逸分析”决定是否将变量从栈转移到堆
逃逸分析：编译器的智能决策
Go编译器会在编译期进行逃逸分析，判断变量是否“逃逸”出当前函数。如果变量可能在函数结束后仍被引用，就会被分配到堆上。
常见逃逸场景包括：
- 将局部变量的指针返回给调用方
- 将变量传入可能异步使用它的goroutine
- 大对象可能直接分配在堆，避免栈过大
可通过go build -gcflags="-m"查看变量逃逸情况，辅助性能调优。
运行时内存分配器的角色
Go运行时包含一个高效的内存分配器，负责管理堆内存的分配与组织。它采用线程缓存（mcache）、中心缓存（mcentral）和堆（mheap）三级结构，减少锁竞争，提升并发性能。
小对象按大小分类，从对应的span中分配，提高内存利用率；大对象直接从堆申请页。这套机制使得Go在高并发场景下依然保持良好的内存分配效率。
基本上就这些。理解堆栈分工，结合逃逸分析和运行时机制，能帮助你写出更高效、更可控的Go程序。不复杂但容易忽略。
