Go语言for-range的汇编实现及局部变量v的作用疑问

核心背景：for-range的value变量本质 #

Go的for-range循环中，value变量是在循环体外提前分配的单个内存空间——每次迭代只是把当前元素的值拷贝到这个固定空间里，因此&value的地址始终不变。如果直接将&value存入外部集合，最终所有指针都会指向最后一次迭代的元素值，这是很多开发者踩过的坑。

局部变量v的真实作用 #

当你在循环内新增v := value，再取&v时，语义上是为每个迭代创建了一个独立的局部变量：

• 每个v都会拷贝当前迭代的value值，拥有自己的内存空间（栈或堆上）
• 取&v得到的是当前迭代独有的指针，最终每个指针都会对应正确的元素值，不会出现全部指向最后一个元素的问题

比如这两段代码的运行结果完全不同：

// 错误示例：所有指针指向同一个value变量
func main() {
    slice := []int{1,2,3}
    var ptrs []*int
    for _, value := range slice {
        ptrs = append(ptrs, &value)
    }
    for _, p := range ptrs {
        println(*p) // 输出3 3 3
    }
}

// 正确示例：每个指针指向独立的v变量
func main() {
    slice := []int{1,2,3}
    var ptrs []*int
    for _, value := range slice {
        v := value
        ptrs = append(ptrs, &v)
    }
    for _, p := range ptrs {
        println(*p) // 输出1 2 3
    }
}

为什么汇编几乎无变化？ #

这是Go编译器的逃逸分析与栈复用优化导致的：

1. 无逃逸场景：如果&v的指针仅在循环内使用（没有被存入外部集合或全局变量），编译器会将v分配到栈上。由于每次迭代的v作用域完全独立，栈空间可以被复用，因此汇编层面的内存操作指令和原代码几乎一致，但语义上v是每个迭代独立的变量。
2. 逃逸场景：如果&v被存入外部集合（比如上面正确示例中的ptrs），编译器会判定v需要逃逸到堆上，此时汇编会出现runtime.newobject之类的堆内存分配指令，和原代码的汇编会有明显差异。

你看到的汇编无变化，大概率是测试代码中&v没有触发逃逸，编译器做了栈空间复用优化。

总结 #

• 局部变量v的核心价值是打破循环体对单个value变量的复用，为每个迭代创建独立的内存空间，保证指针指向正确的元素值。
• 汇编的相似性是编译器优化的结果，不能代表语义无差异——要关注代码的逻辑行为，而非仅看汇编指令。

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