Go语言中追加局部变量指针至切片是否安全？附代码示例

嘿，从C/C++转Go确实容易在内存作用域这块踩坑，咱们直接拆解你的问题：

核心结论：你的写法不安全，属于未定义行为 #

虽然当前运行输出了正确值2，但这只是侥幸——add函数执行完毕后，局部变量a所在的栈帧会被销毁或被后续函数调用覆盖。你存在切片里的&a是栈内存的地址，函数退出后这块内存不再受你控制，后续访问可能得到随机垃圾值，甚至引发程序崩溃。

为什么会这样？ #

Go的局部变量默认分配在栈上，当函数执行完成，栈帧会被回收。你把&a（栈地址）保存到了全局可见的mapping里，相当于在函数外部持有了一个已失效的栈内存指针——这在Go里是严格禁止的，和C/C++里返回栈变量指针的错误性质完全一样。

如何修复？ #

有两种常见的正确方案，根据你的实际需求选择：

方案1：使用堆分配的变量 #

通过new(int)创建堆上的int变量，这样变量的生命周期由Go的垃圾回收器管理，只要还有引用指向它，内存就不会被释放。修改后的add函数如下：

func add(mapping map[string]*[]*int) {
    sliceptr := &[]*int{}
    mapping["foo"] = sliceptr
    ele := mapping["foo"]
    // 用new在堆上分配int变量，赋值为2
    a := new(int)
    *a = 2
    ele2 := append(*ele, a)
    mapping["foo"] = &ele2
}

方案2：直接存储值而非指针（优先推荐） #

如果你的场景不需要使用指针，把切片类型改成[]int，直接追加值的副本，彻底规避内存地址的问题。修改后的完整代码：

func add(mapping map[string]*[]int) {
    sliceptr := &[]int{}
    mapping["foo"] = sliceptr
    ele := mapping["foo"]
    a := 2
    ele2 := append(*ele, a)
    mapping["foo"] = &ele2
}
func main() {
    mapping := map[string]*[]int{}
    add(mapping)
    fmt.Println((*mapping["foo"])[0])
}

补充：为什么当前运行结果正确？ #

这是因为add函数执行完毕后，main函数立刻访问了这个地址，此时栈帧还没有被后续操作覆盖，旧值暂时保留着。但这种行为完全不可靠，只要后续有其他函数调用，栈内存就会被改写，结果就会出错。

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