Golang之变量去哪儿
目录 什么是逃逸分析 为什么要逃逸分析 逃逸分析是怎么完成的 逃逸分析实例 总结 参考资料 写过C/C++的同学都知道，调用著名的malloc和new函数可以在堆上分配一块内存，这块内存的使用和销毁的责任都在程序员。一不小心，就会发生内存泄露，搞得胆战心惊。 切换到Golang后，基本不会担心内存泄露了。虽然也有new函数，但是使用new函数得到的内存不一定就在堆上。堆和栈的区别对程序员“模糊化”了，当然这一切都是Go编译器在背后帮我们完成的。 一个变量是在堆上分配，还是在栈上分配，是经过编译器的 逃逸分析 之后得出的结论。 这篇文章，就将带领大家一起去探索 逃逸分析 ——变量到底去哪儿，堆还是栈？ 什么是逃逸分析 以前写C/C++代码时，为了提高效率，常常将 pass-by-value （传值）“升级”成 pass-by-reference ，企图避免构造函数的运行，并且直接返回一个指针。 你一定还记得，这里隐藏了一个很大的坑：在函数内部定义了一个局部变量，然后返回这个局部变量的地址（指针）。这些局部变量是在栈上分配的（静态内存分配），一旦函数执行完毕，变量占据的内存会被销毁，任何对这个返回值作的动作（如解引用），都将扰乱程序的运行，甚至导致程序直接崩溃。比如下面的这段代码： int *foo ( void ) { int t = 3; return &t; }