[TOC] ## 逃逸分析 ### 指針逃逸 - 即在函數中創建了一個對象，返回了這個對象的指針。這種情況下，函數雖然退出了，但是因為指針的存在，對象的內存不能隨著函數結束而回收，因此只能分配在堆上。 - 函數`createDemo`的局部變量`d`發生了逃逸。d 作為返回值，在 main 函數中繼續使用，因此 d 指向的內存不能夠分配在棧上，隨著函數結束而回收，只能分配在堆上 ``` // main_pointer.go package main import "fmt" type Demo struct { name string } func createDemo(name string) *Demo { d := new(Demo) // 局部變量 d 逃逸到堆 d.name = name return d } func main() { demo := createDemo("demo") fmt.Println(demo) } ``` 結果 ``` $ go build -gcflags=-m main_pointer.go ./main_pointer.go:10:6: can inline createDemo ./main_pointer.go:17:20: inlining call to createDemo ./main_pointer.go:18:13: inlining call to fmt.Println ./main_pointer.go:10:17: leaking param: name ./main_pointer.go:11:10: new(Demo) escapes to heap ./main_pointer.go:17:20: new(Demo) escapes to heap ./main_pointer.go:18:13: demo escapes to heap ./main_pointer.go:18:13: main []interface {} literal does not escape ./main_pointer.go:18:13: io.Writer(os.Stdout) escapes to heap <autogenerated>:1: (*File).close .this does not escape ``` ### 棧空間不足 操作系統對內核線程使用的棧空間是有大小限制的，64 位系統上通常是 8 MB。可以使用`ulimit -a`命令查看機器上棧允許占用的內存的大小。 ``` $ ulimit -a -s: stack size (kbytes) 8192 -n: file descriptors 12800 ... ``` ``` func generate8191() { nums := make([]int, 8191) // < 64KB for i := 0; i < 8191; i++ { nums[i] = rand.Int() } } func generate8192() { nums := make([]int, 8192) // = 64KB for i := 0; i < 8192; i++ { nums[i] = rand.Int() } } func generate(n int) { nums := make([]int, n) // 不確定大小 for i := 0; i < n; i++ { nums[i] = rand.Int() } } func main() { generate8191() generate8192() generate(1) } ``` 運行 ``` $ go build -gcflags=-m main_stack.go # command-line-arguments ./main_stack.go:9:14: generate8191 make([]int, 8191) does not escape ./main_stack.go:16:14: make([]int, 8192) escapes to heap ./main_stack.go:23:14: make([]int, n) escapes to heap ``` `make([]int, 8191)`沒有發生逃逸，`make([]int, 8192)`和`make([]int, n)`逃逸到堆上，也就是說，當切片占用內存超過一定大小，或無法確定當前切片長度時，對象占用內存將在堆上分配 ### 閉包 ``` func Increase() func() int { n := 0 return func() int { n++ return n } } func main() { in := Increase() fmt.Println(in()) // 1 fmt.Println(in()) // 2 } ```