golang学习笔记（内存逃逸分析）

golang的内存逃逸

逃逸分析（ Escape analysis）是指由编译器决定内存分配的位置，不需要程序员指定。函数中申请一个新的对象。

如果分配在栈中，则函数执行结束可自动将内存回收；
如果分配在堆中，则函数执行结束可交给GC（垃圾回收）处理；

内存逃逸策略

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

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

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

逃逸场景分析

指针逃逸

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，也就是发生了内存逃逸现象。
在这里插入图片描述

栈空间不足逃逸

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

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个长度的切片，是否逃逸取决于栈空间是否足够大。直接查看编译提示，如下可见并没有发生逃逸：
在这里插入图片描述
但是如果长度扩大10倍呢？那情况会怎么样？

package main

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

结果：
在这里插入图片描述
我们发现当切片长度扩大到10000时就会逃逸。实际上当栈空间不足以存放当前对象时或无法判断当前切片长度时会将对象分配到堆中

动态类型逃逸

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

package main

import "fmt"

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

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

闭包引用对象逃逸

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

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