Go语言中for-range循环变量复用导致切片只保留最后一个元素的问题解析

本文详解go中for-range循环内变量复用引发的指针与切片行为陷阱，通过分析`prod = &pview.product`导致的多次地址覆盖问题，揭示为何`attrvals`仅保留最后一次append的值，并提供安全、清晰的修复方案。

在Go语言中，for range循环的迭代变量（如pview）在整个循环生命周期内是同一个变量的地址复用——每次迭代只是更新该变量的值，而非创建新变量。这在配合取地址操作（&pview.Product）时极易引发隐蔽的bug。

回顾原代码关键问题：

for _, pview := range prodViews {
    if prod == nil {
        prod = &pview.Product  // ⚠️ 危险！每次循环都取同一个栈变量 pview 的地址
        prod.AttrVals = make([]string, 0, len(prodViews))
    }
    if pview.Attr != "" {
        prod.AttrVals = append(prod.AttrVals, pview.Attr)
    }
}

问题根源在于：

• pview 是循环变量，其内存地址固定（如 0xc000010240），但内容随每次迭代被覆写；
• 第一次迭代：prod 指向 pview.Product（此时是 prodViews[0].Product 的副本）；
• 第二次迭代：pview 被赋值为 prodViews[1]，其 .Product 字段仍是原始 p 的独立副本，但 prod 仍指向同一个栈地址 → 实际上 prod 现在指向的是 prodViews[1].Product 的副本；
• 更致命的是：prodViews[i].Product 全部基于同一个初始 p 值构造，而 p.AttrVals 是空切片 []string{}（底层 nil 或长度0）。当 prod.AttrVals = make(...) 后，后续 append 可能触发底层数组扩容，但下一次迭代 pview 覆写后，prod 又指向另一个 Product 副本（其 AttrVals 仍是原始空切片），导致之前追加的数据“丢失”。

✅ 正确做法：避免对循环变量取地址，显式构造目标结构体

立即学习“go语言免费学习笔记（深入）”；

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"},
    }

    // ✅ 安全初始化：不依赖循环变量地址
    prod := &Product{
        Id:    p.Id,
        Title: p.Title,
        // 预分配容量，提升性能
        AttrVals: make([]string, 0, len(prodViews)),
    }

    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"]}
}

? 进阶提示：若需从 []ProductAttrValView 动态聚合多个不同产品，应先按 Product.Id 分组，再逐组构建 Product 实例，避免共享同一基础结构体。

⚠️ 注意事项：

• make([]string, 0, N) 设置的是容量（capacity），不是长度（length）；append 会自动管理长度增长；
• 切片是引用类型，但其头信息（指针、长度、容量）是值传递；直接赋值切片变量不会共享底层数组，除非源自同一 make 或 append 链；
• 在循环中使用 &pview 类操作前，务必确认 pview 是否会被后续迭代覆写——若不确定，用 pview := pview 显式创建副本（仅适用于需要保留当前迭代值的场景）。

总结：Go的for-range设计以性能优先，但开发者需时刻警惕变量复用带来的副作用。坚持“不取循环变量地址”原则，并显式初始化目标对象，可彻底规避此类静默错误。