golang內(nèi)存逃逸的學(xué)習(xí)筆記

更新時間：2024年05月05日 09:03:07 作者：淡墨@～無痕

內(nèi)存逃逸是 Go 語言編程中一個特別需要注意的問題,會影響到程序的性能和穩(wěn)定性,本文主要介紹了golang內(nèi)存逃逸的學(xué)習(xí)筆記,感興趣的可以了解一下

內(nèi)存逃逸策略

每當(dāng)函數(shù)中申請新的對象，編譯器會跟據(jù)該對象是否被函數(shù)外部引用來決定是否逃逸：

如果函數(shù)外部沒有引用，則優(yōu)先放到棧中
如果函數(shù)外部存在引用，則必定放到堆中；

注意，對于函數(shù)外部沒有引用的對象，也有可能放到堆中，比如內(nèi)存過大超過棧的存儲能力。

逃逸場景分析

指針逃逸

Go可以返回局部變量指針，這其實是一個典型的變量逃逸案例，示例代碼如下：

package main

type Student struct {
	Name string
	age int
}

func NewStudent(name string, age int) *Student {
	stu := new(Student)
	stu.Name = name
	stu.age = age
	return stu
}
func main()  {
	NewStudent("abcd", 24)
}

函數(shù)NewStudent()內(nèi)部stu為局部變量，其值通過函數(shù)返回值返回， stu本身為一指針，其指向的內(nèi)存地址不會是棧而是堆，這就是典型的逃逸案例。

通過編譯參數(shù)-gcflags=-m可以查年編譯過程中的逃逸分析：
運行結(jié)果： 請注意運行結(jié)果中出現(xiàn)了escapes to heap，也就是發(fā)生了內(nèi)存逃逸現(xiàn)象。

在這里插入圖片描述

?？臻g不足逃逸

分析一下下面代碼會不會產(chǎn)生內(nèi)存逃逸現(xiàn)象

package main

type Student struct {
	Name string
	age int
}

func Slice()  {
	s := make([]int, 1000, 1000)
	for index, _ := range s {
		s[index] = index
	}
}
func main()  {
	Slice()
}

上面代碼Slice()函數(shù)中分配了一個1000個長度的切片，是否逃逸取決于?？臻g是否足夠大。直接查看編譯提示，如下可見并沒有發(fā)生逃逸：

在這里插入圖片描述

但是如果長度擴大10倍呢？那情況會怎么樣？

package main

func Slice()  {
	s := make([]int, 10000, 10000)
	for index, _ := range s {
		s[index] = index
	}
}
func main()  {
	Slice()
}

結(jié)果：

在這里插入圖片描述

我們發(fā)現(xiàn)當(dāng)切片長度擴大到10000時就會逃逸。實際上當(dāng)?？臻g不足以存放當(dāng)前對象時或無法判斷當(dāng)前切片長度時會將對象分配到堆中

動態(tài)類型逃逸

很多函數(shù)參數(shù)為interface類型，比如fmt.Println(a …interface{})，編譯期間很難確定其參數(shù)的具體類型，也人產(chǎn)生逃逸。如下代碼所示：

package main

import "fmt"

func main()  {
	s := "abcd"
	fmt.Println(s)
}

結(jié)果：上述代碼s變量只是一個string類型變量，調(diào)用fmt.Println()時會產(chǎn)生逃逸。

在這里插入圖片描述

閉包引用對象逃逸

相信刷題的同學(xué)對這代碼是十分的熟悉：

package main

import "fmt"

func Fibonacci() func() int {
	a, b := 0, 1
	return func() int {
		a, b = b, a + b
		return a
	}
}
func main()  {
	res := Fibonacci()
	for i := 0; i < 10; i++ {
		fmt.Printf("Print Result is %d\n" , res())
	}
}

這段代碼的運行結(jié)果如下：

在這里插入圖片描述