由逃逸分析决定 --是什么意思？

Go 中“由逃逸分析决定”的意思

• 核心概念：逃逸分析是编译器在编译期判断一个变量是否会“逃出”其作用域（函数栈帧）的过程。
  • 不逃逸 → 可以分配在栈上，函数返回时自动回收，效率更高。
  • 发生逃逸 → 必须分配在堆上，由 GC 回收。

什么时候会发生逃逸（常见场景）

• 返回局部变量的指针/引用

  func f() *int { x := 1; return &x } // x 逃逸到堆
  

• 在闭包/协程中捕获局部变量

  func f() func() { x := 1; return func() { _ = x } } // x 逃逸
  

• 存入堆上存活更久的对象、全局变量、接口值、反射
• 编译器无法证明生命周期不越界（保守起见放到堆）
• 某些容器扩容导致元素迁移到堆（如 slice append 导致底层数组逃逸）

与 new 和 make 的关系

• new 和 make 都只是“请求分配”；实际分配在栈还是堆由逃逸分析决定。
  • 没逃逸：可能在栈上分配（即使是 new(T)）。
  • 发生逃逸：在堆上分配（无论 new 还是 make）。

如何查看是否逃逸

• 使用编译器诊断：
  • go build -gcflags="-m" .
  • 或 go run -gcflags="-m" .
• 输出中会有类似：
  • “moved to heap”
  • “escapes to heap”
  • “does not escape”

小结

• 是否在堆/栈分配不是由你选择，而是编译器通过逃逸分析自动决定的。
• 优化建议：减少不必要的指针返回、避免把局部变量泄露到闭包/接口/全局环境，有助于降低逃逸与 GC 压力。