Go 问答：range 循环变量取地址为什么容易踩坑，Go 1.22 后还要复制吗

Go 里有一个经典问题：在 for range 里对循环变量取地址，为什么最后拿到的指针可能都指向同一个值？到了 Go 1.22 以后，这个问题是不是就完全不用管了？

答案要分开看：Go 1.22 确实调整了循环变量语义，官方发布说明和 loop variable 说明都提到，每次迭代会使用新的循环变量；但如果你的目标是拿到原切片元素地址，&v 仍然不是最稳的写法。官方资料可参考 Go 1.22 Release Notes 和 Loopvar Experiment。

适合人群

适合正在写 Go 业务代码、从旧项目升级到 Go 1.22+、排查闭包或指针问题的开发者。你只需要了解切片、结构体、指针和 for range 的基本用法。

目录

• 问题现象：为什么指针看起来不对
• 旧语义下的问题根因
• Go 1.22 后变了什么
• 什么时候仍然要用索引取址
• 常见建议和结论

问题现象：为什么指针看起来不对

先看一个常见写法：

type User struct {
    ID   int
    Name string
}

func collect(users []User) []*User {
    var result []*User
    for _, v := range users {
        result = append(result, &v)
    }
    return result
}

很多老项目里，这段代码会导致非常隐蔽的问题：v 是循环变量，不是切片里的那个元素本身。旧语义下，循环变量会被重复使用，所以多个 &v 可能指向同一个变量位置。

下面这张图把问题拆成两条线：旧语义下变量复用，指针容易重复；Go 1.22 后每轮变量独立，但 &v 依然更像是“副本地址”。

旧语义下的问题根因

旧语义可以简单理解为：for _, v := range users 中的 v 是一个被重复赋值的临时变量。循环走到下一轮时，v 的内容变了，但你之前保存的是 v 的地址。

因此，下面两个场景都容易出问题：

• 把 &v 放进切片或 map。
• 在闭包里直接使用 v，后面才运行闭包。

旧项目中更稳的写法是显式复制一份变量，或者直接使用索引访问原切片元素。

for _, v := range users {
    item := v
    result = append(result, &item)
}

这能解决“多个指针指向同一个循环变量”的问题，但注意：这里指向的是 item 这份副本，不是 users 里的原始元素。

Go 1.22 后变了什么

从 Go 1.22 开始，循环变量按每次迭代创建新变量的语义处理。它主要减少了闭包和取地址场景里的旧坑，尤其是测试用例、goroutine、回调函数里捕获循环变量的问题。

但工程上还要注意两个点：

• 老模块是否启用新语义，要看项目的 Go 版本设置和构建条件。
• &v 即使不再重复指向同一变量，也不代表它是原切片元素地址。

如果只是想把每轮的值保存成独立对象，Go 1.22 后风险小很多。如果想修改原切片里的元素，就不能依赖 &v。

什么时候仍然要用索引取址

当你需要指向切片里的真实元素，应该使用索引：

func collectOriginal(users []User) []*User {
    result := make([]*User, 0, len(users))
    for i := range users {
        result = append(result, &users[i])
    }
    return result
}

这段代码表达得很清楚：我要的不是循环变量副本，而是 users[i] 这个原始元素的地址。如果后续通过指针修改字段，也能直接改到原切片。

下面这张图给出判断路径：只读保存值可以复制变量；要改原切片就用索引；闭包里要传参或确认模块版本；最后补单测验证。

常见建议和结论

第一，旧项目不要只靠记忆判断。 先看 go.mod 的 Go 版本，再看构建环境，确认是否使用新语义。

第二，需要原元素地址时，优先写 &users[i]。 这比 &v 更直接，也更容易让代码审查的人理解意图。

第三，闭包里捕获循环变量时，建议显式传参。 即使新语义减少了问题，显式传参仍然能让代码含义更清楚。

for _, v := range users {
    go func(u User) {
        println(u.Name)
    }(v)
}

第四，升级 Go 版本后补一组单测。 尤其是老代码里存在 &v、闭包、goroutine、回调时，单测比肉眼检查更可靠。

总结

Go 1.22 之后，for range 循环变量的旧坑少了很多，但这不等于 &v 就适合所有场景。核心判断只有一句话：如果你要的是本轮值的独立副本，复制变量可以；如果你要的是原切片元素地址，用 &users[i]。

把这个规则固定下来，range 变量、闭包和指针相关的问题会少很多，代码审查时也更容易看出真实意图。