Go range 取变量地址的行为怎样避免误用

我在排查“指针列表里的值为什么重复”时，通常先看 range 循环里取地址的对象，而不是先给 & 运算符贴上危险标签。关键区别有三个：range 得到的值往往是元素副本，&item 取的是这个副本的地址；如果循环变量提前声明再用 = 接收，多个迭代还可能复用同一个变量；如果真正需要原切片元素的地址，应写成 &items[i]。

Go 1.22 又改变了用 := 声明的循环变量语义：每次迭代拥有自己的变量。这个变化能消除一类闭包和并发误用，但不能把 range 的值副本变成源切片元素，也不能替你判断业务到底要“保存副本”还是“修改原对象”。

先问“指针应该指向谁”：要保存当前值，用明确的副本；要修改或保存切片里的原对象，用索引取地址；不要把 &item 误读成 &items[i]。

先把 range 变量、源集合元素和指针指向对象分开

对切片使用 for _, item := range items 时，item 是从集合中取出的值。若元素是结构体，item 本身就是结构体副本；对它取地址，只会得到这份副本的地址。它可以用于“保存当时的值”，但不会让后续对指针的字段修改自动回写到 items。

所以看到 &item 时，先确认它是否只是一个快照。对于字符串、数字等值类型，保存副本通常正是目的；对于结构体、切片元素或需要回写的对象，就要继续追问地址是否指向源集合。

用声明方式定位“地址重复”的根因

旧代码里最容易误判的是循环变量的声明位置。下面的写法把变量放在循环外，再用 = 接收 range 值；每轮只是给同一个 item 重新赋值，因此保存的地址都指向同一个变量。

type User struct {
	Name string
}

func collectBad(users []User) []*User {
	var item User // 循环外只有一个变量，后面的 = 会反复复用它。
	ptrs := make([]*User, 0, len(users))
	for _, item = range users {
		ptrs = append(ptrs, &item) // 保存的是同一个循环变量地址。
	}
	return ptrs
}

这类代码的排查线索是：循环结束后多个指针表现出相同内容，或者调试时发现它们的地址一致。修复时不要只把变量名换成另一个名字，要先决定目标。

如果只是给每轮保存一份独立值，可以让循环变量由 := 声明，并在项目的语言版本语义下理解它。Go 1.22 及对应语言版本中，每轮有自己的迭代变量；需要兼容更早语义时，显式复制一份更容易读懂：

func collectSnapshots(users []User) []*User {
	ptrs := make([]*User, 0, len(users))
	for _, item := range users {
		copyOfItem := item // 显式保存当前值，避免把意图交给版本语义猜测。
		ptrs = append(ptrs, ©OfItem) // 指针指向本轮独立副本。
	}
	return ptrs
}

需要指向原切片元素时改用索引取地址

如果需求是修改用户、给元素补字段，或者长期保存切片元素的地址，最清晰的写法是遍历索引。items[i] 明确表达“源切片中的第 i 个元素”，不会把 range 的值副本伪装成原对象。

func collectElements(users []User) []*User {
	ptrs := make([]*User, 0, len(users))
	for i := range users {
		ptrs = append(ptrs, &users[i]) // 取源切片元素地址，后续字段修改可回写。
	}
	return ptrs
}

这里还有一个实际边界：指针保存的是切片底层数组中的元素地址。如果后续对切片追加导致底层数组扩容，切片本身会指向新的数组，但已经保存的指针仍指向旧元素存储位置。需要稳定对象身份时，可以在更高层使用独立对象或明确的生命周期管理，而不是只依赖切片地址。

Go 1.22 之后，哪些误用仍然存在

Go 官方规范说明，使用短变量声明的循环变量在 Go 1.22 语言语义下每次迭代有自己的变量；这解决了闭包捕获同一个循环变量的经典问题。但以下三件事没有因此改变：

• item 仍可能是源切片元素的值副本，&item 不等于 &items[i]。
• 显式预声明变量并用 = 接收值时，仍要警惕变量复用带来的地址和闭包边界。
• 遍历 map 时拿到的是键和值的迭代值，不能把 &value 当成 map 内部值的可回写地址。

因此，代码审查可以沿着三个问题走：这个指针要保存快照还是原对象？变量由 := 还是 = 得到？源容器是否允许通过索引或其他稳定身份定位元素？这比笼统地说“range 取地址一定有问题”更准确。

常见疑问

&item 一定会得到重复地址吗？不一定。声明方式、Go 语言版本语义和代码作用域都会影响变量生命周期；即使地址不同，它也可能只是元素副本。

为什么修改 *item 后原切片没变化？因为 item 可能是结构体值副本。需要修改源切片时，用索引遍历并操作 &items[i] 或直接写 items[i].Field。

Go 1.22 后还要手动复制循环变量吗？闭包捕获场景通常不再需要为旧语义做同样的防护，但显式复制仍能表达“我要保存快照”的意图；它不能替代对源元素地址的判断。

range map 的值可以取地址后更新 map 吗？不可以把它当成 map 元素地址。需要更新 map，应修改副本后用键重新赋值。

小结

Go range 取变量地址是否误用，核心不在 & 本身，而在地址目标。&item 通常指向迭代值副本；预声明变量配合 = 可能复用同一地址；想指向切片原元素就用 &items[i]。再结合项目的 Go 语言版本、容器类型和对象生命周期复查，才能把“指针重复”和“修改不生效”分开处理。