go语言的`range`循环在遍历数组或切片时，默认提供的是元素的副本而非其内存地址。这意味着直接在`range`循环内部修改迭代变量不会影响原始数组或切片中的元素。要正确修改数组或切片中的元素，必须通过元素的索引进行操作。
理解go语言range循环的机制
在Go语言中，for…range循环是一种遍历数组、切片、字符串、映射或通道的强大构造。然而，对于数组和切片，理解其工作原理至关重要，尤其是在尝试修改元素时。
当range循环遍历一个数组或切片时，它会为每个元素生成一个副本（copy）。这意味着，每次迭代时，你得到的迭代变量e（在for _, e := range Array中）是当前元素的独立副本。对这个副本的任何修改都不会反映到原始的数组或切片中。
让我们通过一个示例来具体说明这个问题：
package main import "fmt" type MyType struct { field String } func main() { var array [10]MyType // 声明一个包含10个MyType结构体的数组 // 尝试通过range循环修改元素 for _, e := range array { e.field = "foo" // 这里的'e'是array[i]的副本，修改它不会影响原始数组 } // 打印数组元素，会发现它们并未被修改 for _, e := range array { fmt.Println(e.field) // 输出将是空字符串，因为MyType的零值 fmt.Println("--") } }
在上述代码中，尽管我们尝试在第一个for循环中将e.field设置为”foo”，但当第二个循环打印时，所有field的值仍然是其零值（空字符串）。这是因为e是array中每个MyType结构体的独立副本。
立即学习“go语言免费学习笔记（深入）”；
正确修改数组/切片元素的方法：使用索引
要修改数组或切片中的元素，你需要直接访问其在原始数据结构中的位置。在range循环中，这意味着你需要获取元素的索引，并通过该索引来修改原始数组或切片。
range循环可以同时返回索引和值。通过使用索引，我们可以直接引用并修改原始数组或切片中的元素。
以下是修改后的正确代码示例：
package main import "fmt" type MyType struct { field string } func main() { var array [10]MyType // 声明一个包含10个MyType结构体的数组 // 通过索引修改数组元素 for idx, _ := range array { // 获取索引'idx' array[idx].field = "foo" // 使用索引直接修改原始数组的元素 } // 打印数组元素，现在它们已被成功修改 for _, e := range array { fmt.Println(e.field) // 输出将是"foo" fmt.Println("--") } }
在这个修正后的版本中，我们使用for idx, _ := range array来获取每个元素的索引idx。然后，我们通过array[idx]直接访问并修改了原始数组中的MyType结构体。这样，第二个循环打印时，所有field的值都将是”foo”。
注意事项与总结
- 值拷贝的本质：记住，range循环总是提供元素的副本。对于基本类型（如int、string、bool等）和结构体，这意味着你得到的是一个完全独立的值。
- 指针类型和引用类型：如果数组或切片中存储的是指针（例如*MyType）或引用类型（如切片本身、映射或通道），那么range提供的仍然是指针或引用本身的副本。虽然你不能改变这个指针或引用的值（即让它指向另一个地址），但你可以通过这个指针或引用去修改它所指向或引用的底层数据。不过，如果你的目标是替换数组或切片中的整个元素（例如将一个int替换为另一个int，或者将一个MyType结构体替换为另一个MyType结构体），那么使用索引仍然是必要且最直接的方式。
- 性能考量：对于大型数组或切片，如果仅需读取元素而不进行修改，使用for _, e := range array是完全可以接受的，因为它避免了额外的索引操作。但如果需要修改，使用索引是唯一的直接途径。
总而言之，在Go语言中，当你需要修改数组或切片中的元素时，务必通过range循环提供的索引来操作，而不是直接修改迭代变量，以避免修改副本而无法影响原始数据。