Go range 迭代变量地址为什么都指向同一个对象

我第一次遇到这个问题，是在把切片里的对象整理成指针集合时：循环里明明读到了不同记录，保存下来的地址却像复制粘贴一样，最后几个指针都落到了同一个对象上。真正容易混淆的地方不是“Go 指针会自动合并”，而是 range 里的 value 通常只是一个迭代变量副本。

如果要指向切片中的真实元素，用下标取地址：&items[i]。不要把 &value 当成切片元素地址；遍历 map 时也不能靠取值变量地址得到 map 内部存储。

下面按排障手册的顺序，把触发信号、版本边界、稳定写法和复查项串起来。示例中的图是静态说明图，不是本机运行截图。

先确认指针到底指向谁

最先要看的是循环形式。下面的 value 是 range 提供给本轮使用的值变量，不等同于 items 背后的元素槽位：

type User struct {
    Name string
}

items := []User{{Name: "甲"}, {Name: "乙"}, {Name: "丙"}}
refs := make([]*User, 0, len(items))

for _, value := range items {
    // value 是 range 的值副本；不要把它误认为 items 中的元素地址。
    refs = append(refs, &value)
}

在旧的循环变量语义下，循环会反复更新同一个 value 变量，refs 保存的就可能是同一个地址。即使当前编译环境采用了 Go 1.22 的新语义，&value 仍然表达“本轮的副本”，它也不是切片元素本身；后续要修改原切片时，这个区别尤其重要。

排查时可以把问题拆成一句话：我需要的是“这次读取出来的独立值”，还是“原切片中这一格的可修改对象”？前者创建独立副本，后者必须从切片下标进入。

再看 Go 版本语义

Go 1.22 调整了 for 循环变量的作用域：在声明 Go 1.22 或更高版本的模块中，每次迭代会创建新的循环变量，用来减少闭包和并发代码中的意外共享。这个变化由模块的 go 指令控制，不是看到本机装了新编译器就代表所有旧模块都自动改变。

module example.com/range-demo

// go 版本决定该模块采用哪套循环变量语义。
go 1.22

因此处理线上问题时，我会先确认出问题包所属模块的 go.mod，再判断现象是“旧语义下复用变量”，还是“代码本来就拿了值副本”。升级模块版本可以改变一部分闭包捕获行为，但不能把 map 的值副本变成可取地址的 map 元素，也不会让 &value 自动变成 &items[i]。

处理步骤：按对象归属选择写法

如果目标是保存切片真实元素的指针，最稳妥的写法是按下标遍历。下标同时表达了元素位置和存储归属：

refs := make([]*User, 0, len(items))
for i := range items {
    // 这里取得的是切片元素本身，修改 *refs[k] 会反映到 items。
    refs = append(refs, &items[i])
}

如果只是希望每轮得到一份独立对象，不希望指针跟着原切片变化，就在循环体内创建副本：

copies := make([]*User, 0, len(items))
for i := range items {
    item := items[i]
    // item 是本轮独立副本，适合交给异步任务或长期保存。
    copies = append(copies, &item)
}

这个选择比机械添加 value := value 更清楚：前者明确要切片元素，后者只是在规避旧语义下的闭包捕获。对 map 要更谨慎：

byKey := make(map[string]*User, len(userMap))
for key, value := range userMap {
    copyValue := value
    // map 的 value 也是取出的副本；保存副本地址，不宣称它是 map 元素地址。
    byKey[key] = ©Value
}

// 需要修改 map 中的值时，应通过 key 回写，而不是尝试 &userMap[key]。
userMap["甲"] = User{Name: "新值"}

闭包则把本轮值显式作为参数传入，代码意图最容易被旧编译器和新编译器共同理解：

for _, value := range items {
    // 显式传参让闭包持有自己的参数，不依赖模块版本猜测。
    go func(current User) {
        _ = current.Name
    }(value)
}

回滚、告警确认与复盘项

如果改成 &items[i] 后出现调用方意外修改原切片，回滚点不是退回 &value，而是改用循环体内的 item := items[i] 副本。两者的业务含义不同：一个共享原对象，一个保存独立快照。

我通常会把下面三项加入复查清单：

• 指针的目标是切片元素、循环副本，还是 map 按 key 管理的独立副本。
• 出问题的包实际属于哪个 go.mod，是否声明了 go 1.22 或更高版本。
• 闭包、并发任务和长期保存路径是否显式传值，是否有意共享原切片对象。

# 只检查模块声明和循环变量相关提示，不把编译器版本当作模块语义。
go env GOMOD
go vet ./...

结论是：看到多个地址相同，先定位地址归属，再决定用切片下标、循环体副本、map 回写还是闭包参数。Go 1.22 能减少一类循环变量复用问题，但清晰表达对象所有权，仍然是最可靠的修复方式。

相关问题

为什么 map 遍历里不能直接写 &userMap[key]？ Go 不允许对 map 索引表达式取地址；需要修改时按 key 取值、修改后再写回。

升级到 Go 1.22 后还要不要给闭包传参数？如果模块语义已切换，简单闭包捕获循环变量的风险会降低；但显式传参仍能表达独立数据边界，跨模块或库代码中更容易维护。