栈与堆及逃逸分析
了解 Go 如何决定内存的分配位置
栈与堆及逃逸分析 是 CoddyKit 上的免费 Go Academy 课时。 这是第 1 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Go Academy 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 Go Academy 课程共包含 4 节课。
栈分配
不会逃逸出函数的局部变量会分配在协程栈上。栈分配速度很快(只需增加指针),并且回收成本为零(返回时弹出栈帧即可)。
堆分配
逃逸到堆上的变量由 Go 分配器分配,并由垃圾回收器跟踪。堆分配速度较慢,还会增加垃圾回收压力。
什么会导致逃逸?
常见的逃逸原因包括:获取局部变量的地址并返回、将局部变量存储到接口中,或通过通道发送局部变量。编译器的逃逸分析会确定这一点。
func newUser() *User { // *User escapes to heap
return &User{Name: "Alice"}
}go build -gcflags=-m
输出逃逸分析的决策:
go build -gcflags="-m" .
// main.go:10:15: &User literal escapes to heap
// main.go:5:14: s does not escape协程栈
每个协程都从一个较小的栈开始(Go 1.14 及更高版本为 2 KiB),并根据需要动态增长。栈与堆彼此分离,并会在协程退出时回收。
避免分配
对于较小的结构体,请传递值而不是指针。如果大小已知,请使用栈上分配的数组,而不是切片。返回值而不是指针,使其保留在栈上。
接口装箱
将具体值赋给接口会导致该值逃逸到堆上(装箱)。对于热点路径,请接受具体类型,或使用泛型代替接口。
sync.Pool
使用 sync.Pool 重用堆上分配的对象,以减少频繁分配短生命周期对象(缓冲区、请求上下文)所带来的垃圾回收压力。
var pool = sync.Pool{New: func() any { return make([]byte, 1024) }}
buf := pool.Get().([]byte)
defer pool.Put(buf[:0])内存分配性能分析
使用 go test -benchmem 和带有 -alloc_space 的堆性能分析,找出分配内存最多的函数。
切片与数组的比较
小型数组 [N]T 可能保留在栈上。切片头部(24 字节)会分配在栈上,但其后备数组可能逃逸。使用 make 预先分配可避免反复重新分配。
字符串驻留
字符串字面量不会分配在堆上(它们位于只读数据段中)。将 []byte 转换为 string 会产生分配。缓存经常使用的字符串,以避免反复转换。
快速检查
什么会导致局部变量从栈逃逸到堆?
回顾:栈与堆
要点:
- 栈:速度快,垃圾回收成本为零;堆:速度较慢,由垃圾回收器跟踪
- go build -gcflags="-m" 显示逃逸决策
- 接口装箱、获取局部变量地址以及通过通道发送都会导致逃逸
- 使用 sync.Pool 处理频繁分配和丢弃的对象
常见问题解答
「栈与堆及逃逸分析」课时是免费的吗?
是的 — 「栈与堆及逃逸分析」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 Go Academy 课程的其余内容,请升级到 CoddyKit PRO。 Go Academy 课程共包含 4 节课。
「栈与堆及逃逸分析」这节课中我会学到什么?
了解 Go 如何决定内存的分配位置 你通过在浏览器中直接运行的动手代码来练习 Go Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 Go Academy 需要有经验吗?
无需任何先前经验。CoddyKit 上的 Go Academy 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 1 节课,共 4 节。
「栈与堆及逃逸分析」课时需要多长时间?
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。
我能在这节 Go Academy 课中编写并运行代码吗?
能。每节 Go Academy 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。