理解for range循环的复制行为
当我们在go语言中使用for range循环遍历一个切片（slice）时，其行为对于值类型（如结构体struct）和引用类型（如指针、切片、映射、通道）是不同的。对于值类型元素，range循环会为每次迭代创建一个元素的副本，并将其赋值给循环变量。这意味着，如果你试图通过这个循环变量来修改元素，你实际上修改的是副本，而不是原始切片中的数据。
考虑以下示例：
package main
import "fmt"
type Account struct {
balance int
}
type AccountList []Account
func main() {
accounts := AccountList{
{balance: 10},
{balance: 20},
{balance: 30},
}
fmt.Println("Original accounts:", accounts)
// 错误的修改方式：'a' 是 Account 结构体的副本
for _, a := range accounts {
a.balance = 100 // 这里修改的是副本 'a' 的 balance
}
fmt.Println("After incorrect modification:", accounts) // 原始切片内容未改变
}运行上述代码，你会发现accounts切片中的balance值并未发生变化。这是因为在for _, a := range accounts循环中，变量a是accounts切片中每个Account结构体的一个独立副本。对a.balance的修改只作用于这个副本，而不会影响到原始切片中的Account实例。
正确修改切片元素的方法
为了正确地修改切片中的元素，我们需要直接访问到原始内存位置。Go语言提供了几种惯用的方式来实现这一点。
1. 通过索引直接访问元素
最直接且常用的方法是使用for range循环获取元素的索引，然后通过索引来访问并修改原始切片中的元素。
立即学习“go语言免费学习笔记（深入）”；
package main
import "fmt"
type Account struct {
balance int
}
type AccountList []Account
func main() {
accounts := AccountList{
{balance: 10},
{balance: 20},
{balance: 30},
}
fmt.Println("Original accounts:", accounts)
// 正确的修改方式：通过索引直接访问原始元素
for i := range accounts {
accounts[i].balance = 100 // 直接修改 accounts[i] 的 balance
}
fmt.Println("After correct modification (by index):", accounts) // 原始切片内容已改变
}这种方法是Go语言中修改切片元素的标准做法。有些人可能会担心accounts[i]这种索引访问会带来额外的性能开销。实际上，这种担心是不必要的。Go编译器通常会优化这种访问，它直接操作内存地址，效率非常高，甚至可能比复制整个结构体（如在for _, a := range accounts中发生的那样）的指令更少。
2. 获取元素的指针进行操作
如果你需要在循环内部对同一个切片元素执行多次操作，并且希望使用一个局部变量来引用它，而不是每次都通过accounts[i]来访问，你可以获取该元素的指针。
package main
import "fmt"
type Account struct {
balance int
}
type AccountList []Account
func main() {
accounts := AccountList{
{balance: 10},
{balance: 20},
{balance: 30},
}
fmt.Println("Original accounts:", accounts)
// 更灵活的修改方式：获取元素的指针
for i := range accounts {
a := &accounts[i] // 获取 accounts[i] 的指针
a.balance = 100 // 通过指针修改原始元素的 balance
// 可以在这里对 *a 进行更多操作，例如：
// a.someOtherField = newValue
}
fmt.Println("After correct modification (by pointer):", accounts) // 原始切片内容已改变
}这种方法同样有效，并且在需要对单个元素进行复杂或多次操作时，可以提高代码的可读性，避免重复的accounts[i]写法。变量a现在是一个指向原始Account结构体的指针，因此通过a进行的任何修改都会直接反映到切片中的原始元素上。
替代方案：切片中存储指针
另一种从根本上解决“副本”问题的方法是，让切片本身存储元素的指针，而不是元素的值。这样，无论你使用for _, p := range accounts还是for i := range accounts，你获取到的都将是指针的副本（或者直接是指针），而通过这个指针可以修改其指向的原始数据。
package main
import "fmt"
type Account struct {
balance int
}
// AccountListP 是一个存储 Account 指针的切片
type AccountListP []*Account
func main() {
accountsP := AccountListP{
&Account{balance: 10},
&Account{balance: 20},
&Account{balance: 30},
}
fmt.Println("Original accounts (pointers):", accountsP)
for _, acc := range accountsP {
fmt.Printf("{balance: %d} ", acc.balance)
}
fmt.Println()
// 遍历存储指针的切片，直接修改指针指向的值
for _, a := range accountsP {
a.balance = 100 // 'a' 是 Account 指针的副本，但指向的是原始 Account 结构体
}
fmt.Println("After modification (pointers):", accountsP)
for _, acc := range accountsP {
fmt.Printf("{balance: %d} ", acc.balance)
}
fmt.Println()
}这种方法的优点是，你可以直接在for _, a := range accountsP循环中修改a.balance，而无需关注索引。然而，它也改变了数据结构本身：切片现在存储的是指针，这意味着额外的内存开销（存储指针本身）和可能的垃圾回收负担（如果被指向的对象不再被引用）。选择哪种方案取决于具体的应用场景和设计权衡。如果你的结构体很大，或者需要避免不必要的复制，存储指针可能是一个好的选择。但对于大多数情况，通过索引或获取指针来修改值切片中的元素是更常见和推荐的做法。
总结
理解Go语言for range循环中值类型元素的复制行为是编写正确且高效代码的关键。当你需要修改切片中的值类型元素时，应避免直接修改for range循环变量的副本。相反，通过索引slice[i]直接访问元素，或者获取&slice[i]的指针进行操作，是Go语言中修改切片元素的标准和推荐做法。对于特殊场景，将切片设计为存储指针的类型也是一个可行的替代方案，但需权衡其对内存和性能的影响。
