Go range 指针切片复用变量时为什么地址相同

在 Go 代码里，下面这种写法很容易让人误以为拿到了切片元素的地址：

for _, item := range items {
    pointers = append(pointers, &item)
}

真正发生的事情取决于 Go 语言版本和变量声明方式：item 是 range 产生的迭代变量，默认承接的是元素值；在 Go 1.21 及更早语义中，它会在多轮循环中复用，所以 &item 可能每次都是同一个地址。需要指向原切片元素时，应改用 &items[i]；只想保存每轮的独立副本时，则在循环体中重新声明一个变量。Go 1.22 起，使用 := 声明的循环变量按模块语言版本采用每轮新变量语义，但它仍然不是切片元素本身。

先分清 range 变量和切片元素

假设切片元素是结构体，for i, item := range items 每轮会把 items[i] 的值交给 item。这一步是值拷贝，不会让 item 自动变成切片存储区里的那个对象。因此有两个完全不同的地址表达式：

所以“地址相同”的根因不是指针语法失效，而是取地址的对象选错了。特别是在旧项目中，循环结束后 item 还保留最后一轮的值，多个指针就可能一起读到这个最终值。

为什么旧项目里会出现相同地址

在 Go 1.21 及更早的循环变量语义下，:= 声明的 range 变量属于整个循环作用域，运行时会反复给同一个变量赋值。第一次取到 items[0]，第二次再把 items[1] 写进同一块变量存储；如果每轮把它的地址追加到 []*Item，这些指针自然相同。

type Item struct {
    // ID 用来观察每轮循环到底保存了哪个对象。
    ID int
}

func collect(items []Item) []*Item {
    pointers := make([]*Item, 0, len(items))
    for _, item := range items {
        // 旧语言语义下，item 可能是被多轮复用的同一个变量。
        pointers = append(pointers, &item)
    }
    return pointers
}

这段代码的危险信号是“range value 的地址被跨轮保存”。不要只看编译是否通过，还要问两个问题：模块的 go.mod 语言版本是什么？业务需要的是原切片元素，还是每轮数据的独立快照？

Go 1.22 起，循环变量的规则按模块声明的语言版本切换到每轮新变量语义，闭包捕获问题因此减少；但 &item 仍然指向迭代变量的副本，不会因为地址不同就变成 &items[i]。这两个问题要分开判断。

两种修复写法：原元素与独立副本

如果指针要代表切片中的真实对象，直接使用索引：

func pointersToElements(items []Item) []*Item {
    pointers := make([]*Item, 0, len(items))
    for i := range items {
        // 通过索引取地址，指针稳定地指向切片元素本身。
        pointers = append(pointers, &items[i])
    }
    return pointers
}

如果业务只想保存每轮值的副本，不希望后续修改影响原切片，可以在循环体中显式创建新变量：

func copiesAsPointers(items []Item) []*Item {
    pointers := make([]*Item, 0, len(items))
    for _, item := range items {
        itemCopy := item
        // 每轮显式复制，地址表达的是当前快照而不是原切片元素。
        pointers = append(pointers, &itemCopy)
    }
    return pointers
}

第二种写法在代码审查中更直白，也不依赖读者记住项目是否启用了 Go 1.22 语义。若结构体很大，要评估复制成本；如果只是读取字段，通常不需要构造指针切片，直接处理 item 就够了。

用四项检查避免再次踩坑

1. 先看对象：需要修改原切片就检查是否使用了 &items[i]，不要用 &item 猜测。
2. 再看版本：确认 go.mod 的 go 行。Go 1.22 的每轮变量规则不能替代对指针目标的判断。
3. 检查 map：map 的 range value 同样是副本，不能通过 &value 得到 map 元素地址；需要修改时应通过 key 回写。
4. 检查闭包和 append：把地址或闭包保存到循环外，就属于跨轮使用，必须明确想捕获的是原元素、快照还是索引。

最后可以用一个简单的思路复查：把指针解引用后与原切片逐项对照，再检查是否允许后续修改原切片。只要“指针代表谁”说不清，代码就不应直接合并。

常见问题

Go 1.22 以后可以放心写 &item 吗？

不能一概而论。它在符合新语言版本语义时通常不会再因为循环变量复用而地址相同，但仍指向 value 副本；需要原切片元素时依旧使用 &items[i]。

为什么用索引取地址后，扩容还要小心？

指针指向切片当前底层数组中的元素。对切片追加导致底层数组更换后，旧指针仍指向旧数组中的对象，因此要明确指针的生命周期和数据所有权。

只读场景还需要指针切片吗？

多数只读处理不需要。直接在循环体内消费 item 或保存值切片，通常更简单，也避免了地址、生命周期和版本语义的额外判断。