golang内存逃逸的学习笔记_开发_开发者_运维开发者技术经验分享

golang内存逃逸的学习笔记

开发者 https://www.devze.com 2024-08-14 14:49 出处：网络作者：淡墨@～无痕

目录内存逃逸策略逃逸场景分析指针逃逸栈空间不足逃逸动态类型逃逸闭包引用对象逃逸总结逃逸分析（ Escape analysis）是指由编译器决定内存分配的位置，不需要程序员指定。函数中申请一个新的对象。

内存逃逸策略

每当函数中申请新的对象，编译器会跟据该对象是否被函数外部引用来决定是否逃逸：

如果函数外部没有引用，则优先放到栈中
如果函数外部存在引用，则必定放到堆中；

注意，对于函数外android部没有引用的对象，也有可能放到堆中，比如内存过大超过栈的存储能力。

逃逸场景分析

指针逃逸

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)
}

函数NewStudent()内部stu为局部变量，其值通过函数返回值返回， stu本身为一指针，其指向的内存地址不会是栈而是堆，这就是典型的逃逸案例。

通过编译参数-gcflags=-m可以查年编译过程中的逃逸分析：

运行结果： 请注意运行结果中出现了escapes to heap，也就是发生了内存逃逸现象。

golang内存逃逸的学习笔记

栈空间不足逃逸

分析一下下面代码会不会产生内存逃逸现象

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()函数中分配了一个1000个长度的切片，是否逃逸取决于栈空间是否足够大。直接查看编译提示，如下可见并没有发生逃逸：

golang内存逃逸的学习笔记

但是如果长度扩大10倍呢？那情况会怎么样？

package main

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

结果：

golang内存逃逸的学习笔记

我们发现当切片长度扩大到10000时就会逃逸。实际上当栈空间不足以存放当前对象时或无法判断当前切片长度时会将对象分配到堆中

动态类型逃逸

很多函数参数为interface类型，比如fmt.Println(a …interface{})，编译期间很难确定其参数的具体类型，也人产生逃逸。如下代码所示：

package main

import "fmt"

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

结果：上述代码s变量只是一个string类型变量，调用fmt.Println()时会产生逃逸。

golang内存逃逸的学习笔记

闭包引用对象逃逸

相信刷题的同学对这代码是十分的熟悉：

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 := androidFibonacci()
	for i := 0; i < 10; i++ {
		fmt.Printf("Print Result is %d\n" , res())
	}
}

这段代码的运行结果如下：

golang内存逃逸的学习笔记