># 內存逃逸 * 逃逸分析目的是決定內分配地址是棧還是堆 * 申請到 棧內存 好處：函數返回直接釋放，不會引起垃圾回收，對性能沒有影響。 * 申請到堆上面的內存才會引起垃圾回收，如果這個過程（特指垃圾回收不斷被觸發）過于高頻就會導致 gc 壓力過大，程序性能出問題 >### 常見內存逃逸情況 - **返回局部變量的地址**：當函數返回局部變量的地址時，該變量會逃逸到堆上。 - **閉包引用局部變量**：當閉包引用了局部變量時，這些變量會逃逸到堆上。 - **接口類型的使用**：接口類型的變量由于具體類型在編譯時不確定，通常會導致逃逸。 - **動態數據結構**：如 `map`、`slice`、`chan` 等動態數據結構在堆上分配，如果它們包含的元素在使用中發生變化，也可能導致元素逃逸。 - **大對象的分配**：大的對象在棧上分配可能導致棧空間不足，編譯器會將其分配到堆上。 - **指針間接訪問**：指針間接訪問的變量可能會逃逸，因為需要保證指針在函數返回后仍然有效。 - **變量的生命周期超出函數作用域**：當變量的生命周期超過函數作用域時，編譯器會將其分配到堆上以確保其有效性。 >### go build -gcflags -m - 可以查看具體的逃逸分析結果 ~~~ package main import "fmt" func main() { s1 := make([]int, 0, 0) s2 := make(map[string]int) s2["1"] = 1 s3 := make(chan int, 0) s4 := new(int) var s5 interface{} s5 = "s5" // 匿名函數（Anonymous Functions）是指不需要命名的函數，可以在任何地方定義和調用 func(message string) { fmt.Println(message) }("Hello, World!") // 閉包（Closure）是指能夠捕獲并使用其外部作用域變量的匿名函數。 // 閉包能夠記住并訪問它的作用域，包括變量和常量，即使在其作用域之外調用時也能訪問這些變量 add := func(a, b int) int { return a + b } s6 := add(3, 4) fmt.Println(s1, s2["1"], <-s3, *s4, s5, s6) } ~~~ ``` PS E:\work\_a> go build -gcflags -m main.go # command-line-arguments ./main.go:15:2: can inline main.func1 ./main.go:21:9: can inline main.func2 ./main.go:17:3: inlining call to main.func1 ./main.go:24:11: inlining call to main.func2 ./main.go:26:13: inlining call to fmt.Println ./main.go:17:3: inlining call to fmt.Println ./main.go:16:14: inlining call to fmt.Println ./main.go:6:12: make([]int, 0, 0) escapes to heap ./main.go:7:12: make(map[string]int) does not escape ./main.go:10:11: new(int) does not escape ./main.go:12:7: "s5" escapes to heap ./main.go:17:3: ... argument does not escape ./main.go:17:3: message escapes to heap ./main.go:21:9: func literal does not escape ./main.go:26:13: ... argument does not escape ./main.go:26:14: s1 escapes to heap ./main.go:26:20: s2["1"] escapes to heap ./main.go:26:27: <-s3 escapes to heap ./main.go:26:33: *s4 escapes to heap ./main.go:26:42: s6 escapes to heap ```