本文深入解析 go 语言中 `range` 循环变量的内存行为：循环变量 `item` 在整个迭代过程中复用同一内存地址，直接取其地址会导致所有指针指向相同位置；通过显式拷贝值（如 `i := coll[idx]`）可获得独立地址，这是符合预期的正确做法。
在 Go 中，range 语句的迭代变量（如 for idx, item := range slice 中的 item）并非每次迭代都分配新内存，而是复用同一个栈变量地址。该变量在每次迭代时仅被重新赋值，其内存地址保持不变。这正是导致你原始代码返回重复指针的根本原因：
func (coll *Regions) ToModelList() []Model {
output := make([]Model, len(*coll))
for idx, item := range *coll {
output[idx] = &item // ❌ 错误：始终取同一个变量 item 的地址
}
return output
}尽管 item 的值在每次迭代中正确更新为 (*coll)[0]、(*coll)[1]……，但 &item 始终返回同一内存地址（例如 0xc000010240），因此 output 中所有元素实际指向同一个临时变量——最终表现为“所有指针相同”。
而你的修复方案之所以有效，是因为它绕过了循环变量复用机制：
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 是每次循环体中声明的新变量，Go 编译器为其分配独立的栈空间（即使优化后也可能复用，但语义上保证每次赋值产生新绑定），因此 &i 在每次迭代中指向不同的内存位置。
为直观验证这一机制，可运行以下最小示例：
package main
import "fmt"
func main() {
coll := []int{5, 10, 15}
fmt.Println("【循环变量 v 的地址（始终相同）】")
for i, v := range coll {
fmt.Printf("iter %d: &v = %p, v = %d\n", i, &v, v)
}
fmt.Println("\n【切片元素地址（各不相同）】")
for i := range coll {
fmt.Printf("iter %d: &coll[i] = %p, coll[i] = %d\n", i, &coll[i], coll[i])
}
}输出类似：
【循环变量 v 的地址（始终相同）】 iter 0: &v = 0xc0000140a0, v = 5 iter 1: &v = 0xc0000140a0, v = 10 iter 2: &v = 0xc0000140a0, v = 15 【切片元素地址（各不相同）】 iter 0: &coll[i] = 0xc000014090, coll[i] = 5 iter 1: &coll[i] = 0xc000014098, coll[i] = 10 iter 2: &coll[i] = 0xc0000140a0, coll[i] = 15
✅ 最佳实践建议：
- 若需将切片元素转为指针切片，优先使用索引访问 + 显式赋值（如 x := slice[i]; ptrs[i] = &x）；
- 或更简洁地直接取原切片元素地址（前提是元素本身可寻址，即非只读副本）：
func (coll *Regions) ToModelList() []Model { output := make([]Model, len(*coll)) for i := range *coll { output[i] = &(*coll)[i] // ✅ 直接取原切片中第 i 个元素的地址 } return output }此方式无需额外变量，且确保每个指针指向原数据的真实位置（注意：要求 Region 是可寻址类型，[]Region 切片底层数组支持取址）。
⚠️ 注意事项：
- 不要对 range 的值变量取地址并保存——这是常见陷阱；
- 若原切片后续可能被修改或重分配，需确认指针生命周期是否安全；
- 对于小结构体，考虑是否真需指针（值拷贝可能更高效且无悬垂风险）。
理解 range 变量的复用本质，是写出健壮 Go 指针代码的关键一步。
