Go 内存逃逸导致 GC 压力大怎么定位和优化？

Question

仓乃文 · Accepted Answer

Go 编译器通过逃逸分析决定变量分配在栈还是堆。栈分配零成本且无需 GC，堆分配增加 GC 压力。不合理的代码写法会导致本该在栈上的变量逃逸到堆上，高并发下 GC 频繁触发，p99 延迟飙升。

查看逃逸分析：
```bash
go build -gcflags="-m" ./...    # 基本分析
go build -gcflags="-m -m" ./... # 详细分析
```

常见逃逸场景及优化：
```go
// 1. 返回局部变量指针 → 逃逸
func bad() *int { x := 1; return &x }  // x 逃逸
func good() int { x := 1; return x }   // 栈分配

// 2. 接口类型转换 → 逃逸
func bad(x int) interface{} { return x } // int → interface 逃逸

// 3. 闭包捕获 → 逃逸
func bad() func() int {
    x := 1
    return func() int { return x } // x 逃逸
}

// 4. 小结构体传值优于传指针
// ≤48 字节的结构体，传值更高效且不逃逸
type Point struct{ X, Y float64 }
func good(p Point) float64 { return p.X * p.Y } // 不逃逸
func bad(p *Point) float64 { return p.X * p.Y } // 调用时 &Point{} 逃逸
```

补充说明：
- go build -gcflags="-m" 输出中 escapes to heap 是重点关注的
- 逃逸不一定是坏事，关键是控制热点路径上的逃逸量
- sync.Pool 适合复用确定逃逸且高频创建的对象
- JSON 反序列化默认全逃逸（encoding/json 用反射），可考虑 easyjson
- 逃逸分析结果受 Go 版本影响，升级版本后建议重新检查