Go中作为指针附加的局部变量的生命周期

Question

我正在学习 Go 并且有 C/C++ 背景。在下面的示例中，将地址附加a到切片中是否安全？当我运行此示例时，2会打印正确的值 ( )，但需要确定一下。如果这是错误的，我该怎么做？

func add(mapping map[string]*[]*int) {

    sliceptr := &[]*int{}

    mapping["foo"] = sliceptr

    ele := mapping["foo"]

    a := 2

    // won't address of `a` go out of scope?

    ele2 := append(*ele, &a)

    mapping["foo"] = &ele2

}

func main() {       

    mapping := map[string]*[]*int{}    

    add(mapping)        

    fmt.Println(*(*mapping["foo"])[0])

}

Answer 1

在声明它的函数结束后引用它是安全a的，因为 go 会进行逃逸分析。如果编译器可以证明它可以安全访问，则将其放入堆栈，如果不能，则将其分配到堆上。构建标志可以对逃逸分析提供一些见解：go build -gcflags "-m" main.go..../main.go:10:2: moved to heap: a...这可能会有所帮助：分配效率。此外，由于切片很小，因此很少看到指向切片的指针：指针、长度和容量。请参阅切片内部。