前言

我們都知道go語言中內存管理工作都是由Go在底層完成的，這樣我們可以不用過多的關注底層的內存問題，有更多的精力去關注業務邏輯， 但掌握內存的管理，理解內存分配機制，可以讓你寫出更高效的代碼，本文主要總結一下 Golang內存逃逸分析，需要的朋友可以參考以下內容，希望對大家有幫助。

什么是內存逃逸

在了解什么是內存逃逸之前，我們先來了解兩個概念，棧內存和堆內存。

堆內存(Heap)：一般來講是人為手動進行管理，手動申請、分配、釋放。一般硬件內存有多大堆內存就有多大。適合不可預知大小的內存分配，分配速度較慢，而且會形成內存碎片。

棧內存(Stack):是一種擁有特殊規則的線性表數據結構。由編譯器進行管理，自動申請、分配、釋放。大小一般是固定的。

通過上面我們可以看出堆分配昂貴，棧分配廉價，在go中所有內存優先棧分配，那么，Go 編譯器怎么知道某個變量需要分配在棧上，還是堆上呢？

逃逸分析是用于堆和棧分配進行選擇，通過在編譯時期做gc，編譯器追蹤變量在代碼塊的作用域，判斷變量在整個運行周期是否在運行時完全可知，通過校驗可以在棧上分配；否則逃逸到堆上；逃逸分析由編譯器完成，作用于編譯階段。

查看對象是否發生逃逸

Go 語言工具鏈提供了查看對象是否逃逸的方法，我們在執行 go build 時，配合使用參數 -gcflags 開啟編譯器支持的額外功能，例如：

go build -gcflags '-m -l' main.go

-m 會打印出逃逸分析的優化策略，實際上最多總共可以用 4 個 -m，但是信息量較大，一般用 1 個就可以了

-l 會禁用函數內聯，在這里禁用掉 inline 能更好的觀察逃逸情況，減少干擾。

除了使用編譯參數之外，我們還可以使用一種更底層的，更硬核，也更準確的方式來判斷一個對象是否逃逸，那就是： 通過反編譯命令查看

go tool compile -S main.go

示例：

func main()  {
	sum(1, 2)
}
func sum(a, b int) *int {
	res := a + b
	return &res
}

結果如下，第7行變量 res 逃逸到了堆上

內存逃逸分析的意義

通過逃逸分析，可以盡量把那些不需要分配到堆上的變量直接分配到棧上，堆上的變量少了，會減輕分配堆內存的開銷，同時也會減少GC的壓力，提高程序的運行速度。

怎么避免內存逃逸

盡量減少外部指針引用，必要的時候可以使用值傳遞；

對于自己定義的數據大小，有一個基本的預判，盡量不要出現棧空間溢出的情況；

Golang中的接口類型的方法調用是動態調度，如果對于性能要求比較高且訪問頻次比較高的函數調用，應該盡量避免使用接口類型；

盡量不要寫閉包函數，可讀性差且發生逃逸。

小結

本文主要介紹了 Go 語言逃逸分析，它可以幫助我們合理分配對象的內存空間。

我們知道分配到堆內存空間的對象，會導致 Go 執行垃圾回收，而垃圾回收會占用系統資源，降低應用程序本身可使用的系統資源。

所以，我們在實際項目開發中，可以借助 Go 工具鏈分析對象是否會發生逃逸，盡量避免一些不必要的對象逃逸。