go逃逸分析 - 技术栈

栈

在go语言中，是由编译器调度来分配和释放调度器，栈区往往存放着函数参数、函数变量、函数调用帧，它们随着函数的创建而被分配，又随着函数的结束而销毁。

栈的特点内存空间小，分配内存速度快（由cpu指令集实现分配和释放），地址连续，能自动分配和释放空间，效率高

go语言中，一个goroutine往往维护着一个自己的栈区，这个栈区只能自己使用而不能被其他goroutine使用。一个栈通常由包含了很多栈帧，描述函数之间的调用关系

与栈不同的事，堆去的内存一般是由编辑器和工程师自己共同管理的，它需要先找到一块足够内存空间才能写入数据。

堆的特点就是空间大，但是堆分配内存的效率低，释放由GC控制

栈相对于堆性能更好，所有go编译器会尽可能的把变量分配到栈上

逃逸分析是服务于内存分配的，用来在编译期间分析一个对象是要被分析到栈上还是堆上

逃逸分析有几点原则：

如果变量在函数外部有被引用，就必定被放到堆上
- 比如说函数返回值是一个指针类型
如果变量内存占用过大，就优先被分配到堆上
- 比如声明了一个容量特点大的切片
如果变量内存空间占用不确定，就优先放到堆上
- 比如函数参数使用了interface类型，无法确定变量类型
- 比如声明切片的时候使用变量做切片容量，编译阶段无法确定变量内存大小
可以使用 go run -gcflags '-m -m -l'命令来判断

基于这种特点，我们在开发中也要注意。要尽量写出可以分配在栈上的代码，同样，栈上的代码生命周其要尽可能的短。这样可以减少堆内存分配开销，减小gc压力

比如：

go 复制代码

if err := func();err != nil{}
// 而不是
err := func()
if err != nil{}

函数传参的时候，不一定非要传结构体指针，有些场景也应该直接传结构体
- 如果结构体比较小，传值合适，因为直接传结构体进行值拷贝，这个操作是栈上的操作，开销比传指针变量逃逸到堆上小的多
- 如果结构体比较大，传指针合适，指针类型能比传值拷贝节省大量的内存

在c/c++中栈和堆都是操作系统层级上的概念，是关联硬件的，是由操作系统和编译器共同决定的
go中的栈和堆却都是逻辑上的概念（类似数据结构）。操作系统层级上的栈都被调度器、垃圾回收、系统调用等机制消耗了。而我们代码中使用的栈和堆其实是从操作系统申请的一块堆内存模拟出来的，是一种逻辑上的概念。
也因此，c/c++的栈很小。而go的'栈'可以开很大，比如go的一个协程就是一个栈，通常是2或4kb，但可以开成千上万个协程。
而且go有时候为了防止内存碎片化,会对整个栈进行内存迁移，然后拷贝数据（切片扩容机制，当容量大于原数组容量，就会进行迁移拷贝）。所以指针有时候是会变的，只有指针指向的值有意义。因此，go禁止指针的算术运算