在Go中逃逸分析是一種確定指針動態范圍的方法，可以分析在程序的哪些地方可以訪問到指針。它涉及到指針分析和形狀分析。 當一個變量(或對象)在子程序中被分配時，一個指向變量的指針可能逃逸到其它執行線程中，或者去調用子程序。如果使用尾遞歸優化（通常在函數編程語言中是需要的），對象也可能逃逸到被調用的子程序中。 如果一個子程序分配一個對象并返回一個該對象的指針，該對象可能在程序中的任何一個地方被訪問到——這樣指針就成功“逃逸”了。 如果指針存儲在全局變量或者其它數據結構中，它們也可能發生逃逸，這種情況是當前程序中的指針逃逸。 逃逸分析需要確定指針所有可以存儲的地方，保證指針的生命周期只在當前進程或線程中。 導致內存逃逸的情況比較多，有些可能還是官方未能夠實現精確的分析逃逸情況的 bug，通常來講就是如果變量的作用域不會擴大并且其行為或者大小能夠在編譯的時候確定，一般情況下都是分配到棧上，否則就可能發生內存逃逸分配到堆上。 內存逃逸的五種情況: 1. 發送指針的指針或值包含了指針到`channel`中，由于在編譯階段無法確定其作用域與傳遞的路徑，所以一般都會逃逸到堆上分配。 2. slices 中的值是指針的指針或包含指針字段。一個例子是類似`[]*string`的類型。這總是導致 slice 的逃逸。即使切片的底層存儲數組仍可能位于堆棧上，數據的引用也會轉移到堆中。 3. slice 由于 append 操作超出其容量，因此會導致 slice 重新分配。這種情況下，由于在編譯時 slice 的初始大小的已知情況下，將會在棧上分配。如果 slice 的底層存儲必須基于僅在運行時數據進行擴展，則它將分配在堆上。 4. 調用接口類型的方法。接口類型的方法調用是動態調度,實際使用的具體實現只能在運行時確定。考慮一個接口類型為 io.Reader 的變量 r。對 r.Read(b) 的調用將導致 r 的值和字節片b的后續轉義并因此分配到堆上。 5. 盡管能夠符合分配到棧的場景，但是其大小不能夠在在編譯時候確定的情況，也會分配到堆上. 有效的避免上述的五種逃逸的情況,就可以避免內存逃逸.