Go 语言的内存管理涉及堆栈和堆两种数据结构。理解Go如何处理变量以及逃逸分析至关重要。
堆栈访问速度快，函数内局部变量通常分配在堆栈上。例如：
package main
import "fmt"
func stackexample() int {
a := 10 // a 在堆栈上分配
b := 20 // b 在堆栈上分配
result := a + b // result 也在堆栈上分配
return result // 函数退出时，堆栈变量被弹出
}
func main() {
result := stackexample() // 函数调用，变量入栈
fmt.println(result) // 打印结果
}
堆是动态内存，大小可变。堆分配示例：
package main
import "fmt"
func heapexample() *int {
num := 42 // num 在函数内创建
return &num // 返回 num 的地址，导致逃逸
}
func main() {
ptr := heapexample() // ptr 指向堆上分配的值
fmt.println(*ptr) // 通过指针访问堆分配的变量
}
由于函数返回指向 num 的指针，Go 运行时会检测到 num 在函数作用域外被访问，因此将其分配在堆上，而非堆栈上。堆用于存储超出函数或 goroutine 范围的变量，或存储大型变量。
立即学习“go语言免费学习笔记（深入）”；
逃逸分析
Go 代码中，无法仅通过阅读代码判断变量是否分配在堆上。逃逸分析正是为此而生。逃逸是指变量是否逃出了其函数作用域。这决定了变量是存储在堆还是栈上。
使用以下命令进行逃逸分析：
go build -gcflags '-m -l'
-m 显示逃逸分析信息；-l 禁用内联，确保堆栈跟踪准确。
例如：
package main
func escapeexample() *int {
x := 42
return &x // x 逃逸到堆，因为返回了它的地址
}
func noescapeexample() int {
y := 100
return y // y 不逃逸
}
func main() {
_ = escapeexample()
_ = noescapeexample()
}
输出类似：
./main.go:4:10: &x escapes to heap ./main.go:12:13: main escapes to heap
为什么要进行逃逸分析？
逃逸分析有助于调试性能问题。堆栈分配比堆分配效率高。通过识别逃逸到堆的变量，可以重构代码，提升性能。
我正在开发 liveapi，一个用于 API 文档生成的工具，欢迎试用。感谢阅读！
