[面试题～] Golang

1. 逃逸分析

1.1 逃逸分析是什么？

在编译原理中，分析指针动态范围的方法称之为逃逸分析。在Go中的表现是，如果一个对象的指针被多个方法或线程引用时，则称这个指针发生了逃逸。
所以，我认为逃逸分析指的是，通过分析变量的指针作用范围，来决定这个变量是分配在堆上还是栈上。

1.2 逃逸分析的作用是什么？

通过逃逸分析，可以把那些不需要分配在堆上的变量直接分配到栈上，堆上的变量少了，会减轻堆内存分配的开销，同时减少 GC 的压力，提高程序的运行速度。

1.3 逃逸分析是怎么完成的？

首先，Go语言逃逸分析的最基本的原则是：如果一个函数返回对一个变量的引用，那么这个变量就会发生逃逸。
其次是，编译器会分析代码的特征和代码的生命周期，Go 中的变量只有在编译器可以证明函数返回后是否会被引用。
简单地说，编译器会根据变量是否被外部引用来决定是否逃逸。

1. 如果变量在函数外部没有引用，则优先放在栈上。
2. 如果变量在函数外部存在引用，则必定放在堆上。

1.4 如何确定一个变量是否发生逃逸？

可以在编译的时候，启用编译器的额外支持，-gcflags输出编译器的优化细节，其中包含了逃逸分析的变量提示。

1.5 把变量分配到栈上和堆上有什么区别？

堆和栈相比，堆适合不可预知大小的内存分配。但是为此付出的代价是分配速度较慢，而且会形成内存碎片。栈内存分配则会非常快。栈分配内存只需要两个CPU指令：“PUSH”和“RELEASE”，分配和释放；而堆分配内存首先需要去找到一块大小合适的内存块，之后要通过垃圾回收才能释放。

2. goroutine

2.1 为什么无法从父 goroutine 中恢复子 goroutine?

因为 goroutine 被设计为一个独立的代码执行单元，拥有自己的执行栈，不与其他 goroutine 共享任何数据。也就是说，无法让 gorourine 拥有返回值，也无法让 goroutine 拥有像 pid 那样的唯一 id 标识。