本文深入解析 go 语言中 `range` 循环中迭代变量的内存行为，阐明为何直接取 `&item` 会导致所有指针指向同一地址，并提供安全、高效的切片转接口切片方案。

在 Go 中，range 循环的迭代变量（如 for idx, item := range slice 中的 item）是一个在每次迭代中被复用的单一变量，而非为每个元素独立分配的新变量。它的内存地址在整个循环生命周期内保持不变，仅其值被依次覆盖。这正是导致你原始代码返回重复指针的根本原因：

func (coll *Regions) ToModelList() []Model {
    output := make([]Model, len(*coll))
    for idx, item := range *coll {  // ❌ item 是复用变量，地址恒定
        output[idx] = &item          // 所有 &item 指向同一地址！
    }
    return output
}

运行时，&item 始终返回同一个栈地址（例如 0xc000010240），因此 output 中所有元素实际都指向该地址上最后一次赋值的 Region 副本——造成数据“覆盖错觉”，看似两个不同区域，实则引用同一内存。

而你的修复方案之所以有效，是因为显式引入了一个作用域内新声明的局部变量 i：

func (coll *Regions) ToModelList() []Model {
    output := make([]Model, len(*coll))
    for idx := range *coll {              // ✅ 避免使用 item 变量
        i := (*coll)[idx]                 // ✅ i 是每次迭代新建的变量，有独立地址
        output[idx] = &i                  // ✅ &i 指向各自独立的副本
    }
    return output
}

这里 i := (*coll)[idx] 触发了对 (*coll)[idx] 的值拷贝，并在当前迭代作用域中为 i 分配新栈空间，因此每个 &i 都是唯一且正确的。

使用Go语言搭建家庭相册系统-相关课件

使用Go语言搭建家庭相册系统-相关课件

下载

⚠️ 重要注意事项：

• 此问题与 &slice[i] 直接取址不同：&(*coll)[idx] 是安全的（它取的是原切片元素的真实地址），但需确保原切片生命周期足够长；
• 若 Regions 是临时构造或可能被回收，使用 &i 方案会创建独立副本，更安全；
• 不要误以为这是 Go 的“bug”——这是明确设计的行为，旨在减少栈分配开销，开发者需主动规避陷阱。

✅ 推荐的最佳实践写法（清晰、安全、符合 Go 风格）：

func (coll *Regions) ToModelList() []Model {
    output := make([]Model, len(*coll))
    for i := range *coll {
        // 显式拷贝并取址，语义明确，无歧义
        regionCopy := (*coll)[i]
        output[i] = &regionCopy
    }
    return output
}

总结：Go 的 range 迭代变量复用是性能优化特性，而非缺陷。理解其内存模型是写出健壮指针操作代码的前提。始终牢记——&item ≠ &slice[i]`；当需要每个元素的独立地址时，务必通过显式赋值创建新变量再取址。