ch1-逃逸分析

逃逸分析是什么？

分析一个变量分配时堆上还是栈上。

逃逸分析的作用？

即使是使用new声明的变量，如果在函数退出时，没有被外界引用，就会被分配到栈上。分配到栈上，只需使用PUSH命令压入，并且栈可以自动释放，速度快。而分配到堆上，需要找到合适大小的内存块，容易形成内存碎片，清理内存需要GC，开销大。

逃逸分析的原则？

首先Go中，没有指定分配到堆或栈的的关键字。分配的原则如下：

1. 变量没有在外部被引用，优先分配到栈。
2. 变量在外部被引用，必分配到堆。

原则1为什么是优先，而不是必须。如果变量是很大的数组会超出栈的内存，这是只能分配到堆。

如何确定是否发生逃逸？

在编译的时候使用:

go build -m -l

可以输出变量逃逸的细节。如果函数的参数是interface类型，也会发生逃逸。

Go和C++中堆栈概念的区别？

C++中，堆栈是操作系统层次的，栈(1MB)用于保存局部变量和函数调用。而栈空间用于分配程序通过操作系统的内存申请。

Go中，传统意义的“栈”被用于GMP，GC，系统调用等，Go中的堆栈是向操作系统分配的堆内存。因此Go的栈（1GB）相较于C++的拥有更多的内存。并且，为了防止栈空间碎片化，会在合适的时候，对整个栈进行深拷贝。所以，不能对指针进行算术操作，指针所指的内存地址可能会发生变化。