go 的 range 循环中，遍历 slice 时获取的是元素副本而非引用，因此直接对副本调用方法修改其字段（如向结构体内嵌 slice 追加元素）不会影响原 slice 中的数据。
go 的 range 循环中，遍历 slice 时获取的是元素副本而非引用，因此直接对副本调用方法修改其字段（如向结构体内嵌 slice 追加元素）不会影响原 slice 中的数据。
在 Go 中，range 遍历 slice（如 for _, user := range users）时，每次迭代都会将当前元素按值复制到循环变量 user 中。这意味着 user 是 users[i] 的一个独立副本——对它的任何修改（包括调用 user.appendPost(p1)）都只作用于该副本，而不会反映回原始 slice 中的对应结构体。
以问题中的代码为例：
for _, user := range users {
user.appendPost(p1) // ❌ 修改的是 user 副本，users[0] 未被更新
}尽管 appendPost 方法接收 *User 指针接收者，但 user 本身是值类型副本，&user 指向的是栈上临时副本的地址，而非 users[i] 在底层数组中的真实内存位置。因此 u.Posts = append(u.Posts, post) 实际修改的是副本的 Posts 字段，原 users[0].Posts 仍为空 slice。
✅ 正确做法是通过索引直接访问原 slice 元素，确保操作目标是真实数据：
for i := range users {
users[i].appendPost(p1) // ✅ users[i] 是对原元素的可寻址引用
}
// 或等价写法：
for i := 0; i < len(users); i++ {
users[i].appendPost(p1)
}⚠️ 注意事项：
- 结构体字段若为 slice、map、chan、func 或指针，其本身是引用类型，但结构体整体仍是值类型；复制结构体时，这些字段的头部信息（如 slice 的 len/cap/ptr）会被复制，但底层数据仍共享——然而本例问题不在此，而在结构体副本无法反向更新原 slice 项。
- 若需在循环中批量修改 slice 元素，优先使用索引遍历；若逻辑复杂，也可考虑重构为接收 []*User（指针切片），但需注意内存分配和 nil 安全。
- append 操作本身可能触发底层数组扩容，但只要目标是 users[i].Posts，扩容后的新 slice 头部仍会正确赋值给原结构体字段。
总结：Go 的 range 设计强调不可变性与安全性，避免隐式引用副作用。理解“值传递”本质是规避此类陷阱的关键——当需就地修改 slice 中的结构体字段时，请始终通过索引或显式指针操作原始数据。
