在 Go 语言中，局部变量的内存分配位置是如何决定的？它一定分配在栈上吗？请说明 Go 的逃逸分析机制及其对变量分配位置的影响。

回答思路

1. 【回答框架 1】Go 编译器通过逃逸分析决定局部变量分配位置：若变量在函数返回后仍被引用（如返回指针、闭包捕获、全局引用），则分配在堆上；否则分配在栈上。
2. 【回答框架 2】逃逸分析是编译期的静态分析，判断变量是否有机会逃逸出当前函数作用域。常见的逃逸场景包括返回局部变量地址、将地址存入全局变量或接口、闭包引用外部变量等。
3. 【回答框架 3】栈分配效率高，随函数调用自动释放，无需垃圾回收；堆分配需要垃圾回收器管理，开销更大。Go 编译器会在编译时尽力将变量分配在栈上以提升性能。
4. 【回答框架 4】可通过编译选项 '-gcflags=-m' 查看逃逸分析结果，输出中标记 'moved to heap' 表示变量分配在堆上。
5. 【回答框架 5】逃逸分析是 Go 性能优化的重要工具，理解它有助于写出更高效的代码，避免不必要的堆分配。
6. 【关键点 1】局部变量不一定分配在栈上，由逃逸分析决定。
7. 【关键点 2】逃逸到堆的典型场景：返回指针、闭包捕获、存入全局或接口。
8. 【关键点 3】栈分配性能高，堆分配需垃圾回收，编译目标优先栈分配。
9. 【关键点 4】使用 go build -gcflags=-m 可查看逃逸分析结果。
10. 【易错点 1】误以为所有局部变量都在栈上分配。
11. 【易错点 2】忽视闭包捕获导致的逃逸。
12. 【易错点 3】过度优化逃逸，忽视代码可读性。