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 壓力。