一、可能导致逃逸的5中情况

package main

import "fmt"

func main() {
	f1()
	f2()
	f3()
	f4()
	f5()
}

type animal interface {
	run()
}

type dog struct{}

func (d *dog) run() {
	fmt.Println("狗在跑")
}

// 指针、map、切片为返回值的会发生内存逃逸
func f1() (*int, map[int]int, []int) {
	i := 1
	list := []int{1, 2, 3}
	m := map[int]int{1: 1, 2: 2, 3: 3}
	return &i, m, list
}

// 向chan中发送指针的数据时，会发生逃逸
func f2() {
	i := 2
	ch := make(chan *int, 2)
	ch <- &i
	<-ch
}

// 闭包引用外部变量时，会发生逃逸
func f3() func() {
	i := 3
	return func() {
		fmt.Println(i)
	}
}

// 在map、切片中包含指针的值时，会发生逃逸
func f4() {
	i := 1
	list := make([]*int, 2)
	list[0] = &i
}

// interface类型多态的应用，可能会导致逃逸
// 由于接口类型可以持有任意实现了该接口的类型，编译器在编译时无法确定具体的动态类型
// 因此，为了保证程序的正确性，在运行时需要将接口对象分配到堆上
func f5() {
	var a animal = &dog{}
	a.run()

	var b animal
	b = &dog{}
	b.run()
}

二、对逃逸进行分析

go build -gcflags -m ./main.go