Go如何判断变量分配在栈还是堆？testStackOrHeap内AB变量为何逃逸到堆

你的testStackOrHeap函数里的A、B变量被分配到堆上，核心原因是代码操作触发了Go逃逸分析的保守判定规则：

• 你对A、B显式取了地址（&A、&B），并将指针传入了fmt.Printf函数。fmt.Printf的格式化参数是interface{}类型，当指针被传入空接口参数时，编译器无法确定fmt包的内部实现会不会长期持有该指针，也没法确定指针不会被带出当前函数栈帧的生命周期，因此会保守地将A、B两个变量分配到堆上，避免函数返回栈帧销毁后，指针变成野指针。
• 你可以做个简单验证：注释掉打印&A、&B的那行fmt.Printf代码，重新运行逃逸分析命令，你会发现A、B就不会再被标记为moved to heap了。

另外补充Go逃逸分析的核心逻辑：Go编译器的逃逸分析采用保守判定策略，只要无法100%确定变量的引用不会超出当前函数的生命周期，就会优先将变量分配到堆上，避免出现悬空指针的安全问题。哪怕会额外增加GC开销，也不会冒运行时崩溃的风险做激进的栈分配判定，这是Go内存分配设计的权衡选择。

内容的提问来源于stack exchange，提问作者xu92