如何确定golang变量是分配在堆还是栈上的？

Golang小白一枚，正在不断学习积累知识，现将学习到的知识记录一下，也是将我的所得分享给大家！而今天这篇文章《如何确定golang变量是分配在堆还是栈上的？》带大家来了解一下##content_title##，希望对大家的知识积累有所帮助，从而弥补自己的不足，助力实战开发！

我阅读了golang常见问题解答：https://go.dev/doc/faq#stack_or_heap，我想知道golang何时在堆栈或堆上分配变量。所以我编写如下代码：

package main

import (
    "fmt"
)


type object struct {
    field int
}

func main() {
    a := object{1}
    b := object{2}
    fmt.println(a,b)
    //fmt.printf("a:%p;b:%p\n",&a,&b)
    //m := teststackorheap()
    //c:=m[a]
    //d:=m[b]
    //fmt.printf("c:%p;d:%p\n",&c,&d)
}
//go:noinline
func teststackorheap() map[object]object {
    one:=1
    two:=2
    a := object{one}
    b := object{two}
    c:= object{one}
    d := object{two}
    fmt.println(c,d)
    fmt.printf("a:%p;b:%p\n",&a,&b)
    m := map[object]object{a: a, b: b}
    return m
}

然后看看编译器是如何分配内存的。cmd是go工具compile "-m" main.go 输出如下：

main.go:15:13: inlining call to fmt.Println
main.go:30:13: inlining call to fmt.Println
main.go:31:12: inlining call to fmt.Printf
main.go:15:13: A escapes to heap
main.go:15:13: B escapes to heap
main.go:15:13: []interface {} literal does not escape
main.go:26:2: moved to heap: A
main.go:27:2: moved to heap: B
main.go:30:13: C escapes to heap
main.go:30:13: D escapes to heap
main.go:30:13: []interface {} literal does not escape
main.go:31:12: []interface {} literal does not escape
main.go:32:24: map[Object]Object literal escapes to heap
<autogenerated>:1: .this does not escape

我的问题是： 为什么golang不把teststackorheap()中的变量a b分配到栈中，它们不能逃逸到栈帧，如果分配到堆，gcworker需要收集它，但如果分配到栈，函数返回时会释放。

正确答案

正如 @Volker 在评论中指出的那样，堆/堆栈的区别是一个实现细节，转义分析的规则是由编译器定义的，而不是由语言定义的。 正确性是编译器最重要的特征，因此编译器的规则通常会偏向于简单性和性能，而不是绝对的“最优性”。

在这种情况下，编译器很可能不知道 fmt.Printf() 将如何处理它收到的指针。因此，它必须假设该函数的指针可能存储在堆上的某个位置，并且对这两个对象的引用可能因此在对 testStackOrHeap() 的调用中保留下来。因此，谨慎行事会将这两个变量提升到堆中。

（请注意，您的“它们不会转义”的结论可能是基于 fmt.Printf() 不会存储指针的假设。您实际上阅读了该函数的源代码吗了解它不存在？如果不存在，您实际上无法确定它不存在 - 就像编译器不确定一样。即使该函数的当前版本不存在't，未来版本可能会。）

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《如何确定golang变量是分配在堆还是栈上的？》文章吧，也可关注golang学习网公众号了解相关技术文章。