本文详解 Go 语言中 for range 循环内对循环变量取地址导致指针意外共享的问题，阐明其根本原因（复用栈变量），并提供安全、高效的替代方案，包括基于索引的访问、显式切片元素取址及结构化状态管理。
本文详解 go 语言中 `for range` 循环内对循环变量取地址导致指针意外共享的问题，阐明其根本原因（复用栈变量），并提供安全、高效的替代方案，包括基于索引的访问、显式切片元素取址及结构化状态管理。
在 Go 的 for range 循环中，循环变量（如 i）是每次迭代被重新赋值的同一个栈变量，而非每个元素的独立副本地址。这意味着 &i 始终指向同一内存地址，其值随迭代不断更新——这正是你观察到 p 在第二次迭代开始时已指向 {2} 的根本原因。
以下代码直观展示了问题本质：
package main
import "fmt"
type t struct {
val int
}
func main() {
l := []t{{1}, {2}}
var p *t
for _, i := range l {
fmt.Printf("i=%v, &i=%p\n", i, &i) // 地址始终相同！
p = &i
fmt.Printf("p points to: %v\n", *p)
}
}
// 输出示例（地址一致）：
// i={1}, &i=0xc000014080
// p points to: {1}
// i={2}, &i=0xc000014080 ← 同一地址！
// p points to: {2}✅ 正确做法：始终对切片/数组的元素本身取地址
若需保存前一个元素的指针（如实现“当前项与上一项对比”逻辑），应使用带索引的 for 循环，并对 slice[index] 取址：
func findAdjacentPair(l []t) (*t, *t) {
if len(l) < 2 {
return nil, nil
}
var prev *t
for i := 0; i < len(l); i++ {
curr := &l[i] // ✅ 安全：指向切片中真实元素的地址
if i > 0 {
return prev, curr // 返回上一项与当前项的指针
}
prev = curr
}
return nil, nil
}⚠️ 注意事项与最佳实践
- 避免 &loopVar：for _, v := range s 中的 v 是只读副本，&v 永远无效；
- 索引优先：当逻辑依赖相邻元素、下标运算或需稳定地址时，优先选用 for i := range s 或 for i := 0; i
- 切片扩容风险：若切片后续可能扩容（如追加元素），原元素地址可能失效——此时应确保切片生命周期可控，或改用索引访问值而非依赖指针；
- 结构体较大时的权衡：若结构体过大且需频繁传递，指针确实可提升性能，但务必通过 &s[i] 获取，而非 &v；
- goroutine 场景更危险：在循环中启动 goroutine 并传入 &i 会导致所有 goroutine 共享最终值（经典闭包陷阱），必须用 v := i; go f(&v) 或 &s[i] 显式捕获。
总结
Go 的 for range 设计初衷是简化遍历，但其隐式变量复用机制与指针语义存在天然冲突。真正的“元素地址”永远属于 slice[index]，而非循环变量。掌握这一底层机制，不仅能规避静默错误，更能写出更健壮、可预测的 Go 代码。在需要指针语义的场景中，请坚定选择索引式循环——它更清晰、更安全、也更符合 Go 的工程哲学。
