本文解析go中因for-range循环变量复用引发的结构体指针误引用问题，说明为何多次append仅保留最后一个元素，并提供安全初始化、显式拷贝和容量预设等正确实践。
在Go语言中，for range循环的迭代变量（如pview）是单个可复用变量，每次迭代只是对其值进行覆盖，而非创建新变量。当代码中执行prod = &pview.Product时，prod实际指向的是该栈上同一块内存地址——而这个地址在每次迭代后都会被下一个pview的值覆盖。更关键的是，pview.Product本身是Product类型的值（非指针），它在每次构造ProductAttrValView{ Product: p, ... }时都被按值复制，因此所有pview.Product字段都独立持有p的副本，但它们的AttrVals字段初始均为空切片（[]string{}），底层指向各自的零长度底层数组。
问题核心在于：首次迭代中prod = &pview.Product使prod指向第一个副本的地址，并重置其AttrVals为make([]string, 0, 4)；但第二次迭代时，pview被赋值为第二个副本，&pview.Product变成另一个内存地址，此时prod若未重新赋值（而原代码中if prod == nil仅在首次生效），prod仍指向第一个副本——然而后续代码却错误地假设prod始终有效指向当前pview.Product，导致prod.AttrVals被反复操作于不同底层数组，最终仅最后一次append生效。
✅ 正确做法：避免隐式地址复用
最清晰可靠的方案是不依赖循环变量地址，而是显式构造目标结构体：
func main() {
p := Product{Id: 1, Title: "test", AttrVals: []string{}}
prodViews := []ProductAttrValView{
{Product: p, Attr: "text1"},
{Product: p, Attr: "text2"},
{Product: p, Attr: "text3"},
{Product: p, Attr: "text4"},
}
// 显式初始化目标Product，避免指针歧义
prod := &Product{
Id: p.Id,
Title: p.Title,
// 预分配容量，提升append性能
AttrVals: make([]string, 0, len(prodViews)),
}
// 安全追加，不再依赖pview.Product地址
for _, pview := range prodViews {
if pview.Attr != "" {
prod.AttrVals = append(prod.AttrVals, pview.Attr)
}
}
fmt.Printf("%+v\n", prod) // 输出：&{Id:1 Title:"test" AttrVals:["text1" "text2" "text3" "text4"]}
}⚠️ 关键注意事项
- 不要写 prod = &pview.Product：这是陷阱根源。pview是循环变量，其地址固定，但内容持续变更；取其字段地址会导致指针悬空或指向错误副本。
- make([]T, 0, n) 中的 0 是长度（len），n 是容量（cap）：原代码误写为 make([]string, len(prodViews)) 会创建长度为4的切片（含4个零值），后续append将从索引4开始写入，导致前4个位置为空——务必使用 make([]string, 0, len(...))。
- 若必须从视图构建产品，优先使用值语义：直接复制pview.Product字段（如示例中的Id/Title），而非冒险取地址。
- 调试技巧：打印&pview和&pview.Product的地址，可直观验证循环中地址不变而内容变化的事实。
通过显式初始化、值拷贝和容量预设，即可彻底规避Go循环变量复用带来的隐蔽bug，确保切片追加行为符合预期。
立即学习“go语言免费学习笔记（深入）”；
