Go 取 range 变量地址为什么得到重复指针

在 Go 代码里把 range 变量的地址收集到切片，看到多个指针打印出同一个地址，通常不是指针切片坏了，而是你取到的是循环变量，而不是原切片元素。还要注意 Go 1.22 引入了逐次迭代变量：用 := 声明的 range 变量，在采用 Go 1.22 语义的模块中每轮是独立变量；预先声明变量再用 = 赋值，仍然会复用同一个变量。

需要指向原切片元素时，最稳妥的写法是 &items[i]；只需要保存每轮的值副本时，使用 := 声明的 range 变量，并先确认 go.mod 的版本语义。

先看清 range 变量到底是哪块内存

假设有一组配置对象：

type Config struct {
    Name string
}

items := []Config{{Name: "api"}, {Name: "worker"}, {Name: "cron"}}
var ptrs []*Config

for _, item := range items {
    // item 接收的是元素值；它不是 items[i] 这个切片槽位本身。
    ptrs = append(ptrs, &item)
}

这里的 item 是 range 产生的迭代变量。它承接元素值，天然存在“副本”这一层；因此即使每轮地址不同，指针也只是指向副本，写回它不会修改 items。在 Go 1.21 及更早语义、或复用变量的写法里，多个指针还可能落到同一个变量地址，最后都读到最后一轮的值。

如果指针的职责是修改原切片中的对象，应该把索引留下来：

var ptrs []*Config
for i := range items {
    // i 定位原切片槽位，指针直接指向 items 的元素。
    ptrs = append(ptrs, &items[i])
}

ptrs[0].Name = "api-v2"
// items[0].Name 现在也是 api-v2。

这个写法不依赖“循环变量是否逐次创建”，因为地址表达式明确写出了目标对象。若切片后续会扩容并搬迁底层数组，也不要把这些元素指针当成可以跨越任意数据生命周期的句柄；必要时应重新建立指针集合。

Go 1.22 改变了 := range 变量的生命周期

Go 1.22 的语言变化解决了长期存在的循环变量捕获问题。官方规范说明，使用短变量声明的 for 或 range 迭代变量，在满足新语义的模块中每次迭代都有自己的变量。这个变化由模块的 go 行参与决定，所以不能只看本机安装的编译器版本。

因此，下面这段代码即使使用 Go 1.22 编译器，也不要把它当成“每轮自动新建变量”的写法：

var item Config
var ptrs []*Config

for _, item = range items {
    // 等号是给外部变量赋值，不会声明新的迭代变量。
    ptrs = append(ptrs, &item)
}

如果项目仍需兼容旧模块，可以在循环体中显式制造副本：

for _, item := range items {
    item := item // 旧语义下为本轮创建副本；Go 1.22+ 通常可由 go fix 移除
    ptrs = append(ptrs, &item)
}

不过这只解决“每轮保存一个独立副本”，不改变它不是原切片元素的事实。要判断项目到底采用哪套规则，先看 go.mod：

module example.com/range-demo

go 1.22

按指针真正要指向的对象改写

可以先问一句：这个指针以后要修改谁？如果答案是“切片里的那一项”，用索引地址；如果答案是“当前值的独立快照”，可以把值复制到函数参数或局部变量中，避免把地址语义藏在循环细节里。

func keepCopy(c Config) *Config {
    // 每次函数调用都有自己的参数存储，返回的是一份独立副本。
    return &c
}

var snapshots []*Config
for _, item := range items {
    snapshots = append(snapshots, keepCopy(item))
}

实战里还要注意两类误判：第一，打印指针地址相同只能说明它们指向同一个变量，不能说明切片元素本身被复用；第二，打印值不同也不代表指针指向原切片，因为 Go 1.22+ 的每轮变量可以是不同的副本。地址归属和业务意图要一起看。

用地址、值和原切片做最小检查

排查时不要只输出最后一项。把每轮的地址和值，以及原切片在修改后的结果放在一起看：

for i, item := range items {
    // 同时观察副本地址与原元素地址，避免把两者混为一谈。
    fmt.Printf("i=%d copy=%p element=%p name=%s\n", i, &item, &items[i], item.Name)
}

items[1].Name = "worker-v2"
fmt.Println("source:", items[1].Name)

检查清单很短：项目的 go 行是多少；循环变量是 := 还是 =；指针要指向副本还是原元素；后续是否会修改切片或让指针跨越切片生命周期。四项都明确后，重复指针通常就能定位。

Go range 变量地址常见问题

Go 1.22 以后 &v 还会得到重复地址吗？

如果 v 是 := 声明的 range 变量，并且模块采用 Go 1.22 及以上语义，每轮变量独立，通常不会因为迭代复用而得到同一地址。但它仍然是值副本，不等于 &items[i]。

为什么改了 &v 指向的对象，原切片没变化？

因为 v 接收的是元素值。需要写回原切片时，用索引访问并取 &items[i]，或者直接修改 items[i]。

把循环变量声明到外面有什么影响？

写成 var v T 后再用 for _, v = range items，每轮只是给同一个变量赋新值。若保存它的地址，多个指针会共享这块存储，应该改用索引地址或每轮创建独立副本。

旧项目里的 v := v 需要一直保留吗？

它是旧 Go 语义下常见的兼容写法。模块升级到 Go 1.22 语义后通常变得多余，可以结合测试和 go fix 的 forvar 分析器清理，但不要因此把它误认为原切片元素地址。

参考：Go 语言规范中的 For statements、Go 1.22 发布说明、LoopvarExperiment。