在 Go 语言里，局部变量的内存分配位置是栈还是堆？

回答思路

1. 【回答框架 1】Go 语言中局部变量的内存分配位置并不由声明方式决定，而是由编译器通过逃逸分析确定。如果变量在函数返回后仍被外部引用，则发生逃逸，分配在堆上；否则分配在栈上。
2. 【回答框架 2】逃逸分析是编译器在编译阶段进行的数据流分析，用于判断变量的作用域是否超出当前函数。常见逃逸场景包括返回局部变量地址、将变量存入全局或堆对象、闭包捕获等。
3. 【回答框架 3】栈上分配的优势是效率高，函数返回后自动回收；堆上分配涉及垃圾回收，开销较大。Go 的逃逸分析优化了性能，但具体分配位置取决于编译器的分析和优化结果。
4. 【回答框架 4】值得注意的是，Go 的逃逸分析结果可能随编译器版本变化，同一代码在不同版本下可能有不同分配策略。实际开发中无需显式控制，编译器自动决策即可。
5. 【关键点 1】Go 中局部变量可能分配在栈上也可能在堆上，由逃逸分析决定。
6. 【关键点 2】逃逸分析判断变量生命周期是否超出函数作用域，超出则堆分配。
7. 【关键点 3】栈分配效率高，堆分配涉及 GC，通过逃逸分析进行优化。
8. 【易错点 1】不能简单地认为局部变量一定在栈上分配，逃逸情况会导致堆分配。
9. 【易错点 2】不能将逃逸分析与内存泄漏混淆，逃逸是正常优化机制。