Go语言中for-range循环内变量复用导致切片追加异常的解决方案

本文解析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，确保切片追加行为符合预期。