实习面试题-Go 底层原理面试题

1.Go 语言中逃逸分析是怎么进行的？

回答重点

逃逸分析是编译器优化的一部分，用来决定对象应该分配在栈上还是堆上。

在 Go 语言中，编译器会在编译期间进行逃逸分析，通过分析代码中的变量确定它们是否会 “逃逸” 出当前的作用域。

如果一个变量在函数或方法内被创建，但在函数外部仍然被引用，那么它将被称为 “逃逸”，需要分配到堆上；否则，它将被分配在栈上。

栈分配和堆分配的区别：

• 栈分配的好处是分配和释放内存的开销非常小，速度快。
• 堆分配需要依赖垃圾回收器（GC）来管理内存，因此开销相对较大。

扩展知识

逃逸分析的过程

逃逸分析由编译器在编译期间进行，它检查每一个变量的使用情况。编译器根据变量的作用范围、生命周期、以及变量是否被传递给其他协程或返回到外部等来确定其是否逃逸。

主要的原则包括：

• 若变量的生命周期超出当前函数，则视为逃逸。
• 若变量被引用并存储到堆上，则视为逃逸。
• 若变量被传递给外部函数、方法或 goroutine，且存活时间可能超过当前函数，则视为逃逸。

具体示例：

假设有如下 Go 代码：