在go语言中，`for...range`循环在遍历数组或切片时，默认返回的是元素的“副本”而非原始元素的引用。这意味着直接在循环体内修改`range`返回的元素变量，并不会影响到原数组或切片中的对应元素。若需修改原始数据，正确的做法是利用`range`返回的索引来直接访问并修改数组或切片中特定位置的元素。
理解for...range的副本行为
Go语言的for...range循环在处理数组、切片或字符串时，其工作机制是为每次迭代创建一个元素的副本。这意味着，当你通过for _, e := range array这样的形式获取元素e时，e实际上是array中当前元素的独立拷贝。对e的任何修改都只会作用于这个副本，而不会反映到原始的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是MyType的一个副本，修改它不会影响array中的原始元素
}
// 遍历并打印元素，观察是否被修改
for _, e := range array {
fmt.Println(e.field) // 输出将是空字符串，因为原始元素未被修改
fmt.Println("--")
}
}运行上述代码，你会发现输出的field值都是空字符串，而不是我们期望的"foo"。这明确地证明了range返回的是元素的副本。
正确修改数组或切片元素的方法：使用索引
要修改数组或切片中的原始元素，我们必须直接通过其索引来访问它们。for...range循环除了返回元素值外，还可以返回元素的索引。利用这个索引，我们可以直接定位并修改原数组或切片中的元素。
立即学习“go语言免费学习笔记（深入）”；
以下是修改上述代码以实现预期功能的正确方法：
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" // 直接通过索引访问并修改array中的原始元素
}
// 遍历并打印元素，观察是否被修改
for _, e := range array {
fmt.Println(e.field) // 输出将是"foo"，因为原始元素已被修改
fmt.Println("--")
}
}现在，运行这段代码，你会看到field的值都被成功地修改为"foo"。这是因为array[idx]直接引用了数组中第idx个元素的内存地址，对其进行的修改会直接反映在原始数组上。
总结与注意事项
- 副本语义是核心： 记住for...range在遍历数组、切片和字符串时，总是返回元素的副本。这是Go语言设计的一部分，旨在简化内存管理和避免意外的副作用。
- 修改原始元素请使用索引： 如果你的目标是修改数组或切片中的原始元素，务必使用for idx := range collection的形式，并通过collection[idx]来访问和修改元素。
- 指针类型的情况： 值得注意的是，如果你的切片或数组存储的是指针类型（例如[]*MyType），那么range返回的e仍然是指针的副本。但是，由于这个副本指针和原始指针都指向同一个底层数据结构，通过e解引用并修改底层数据（例如e.field = "foo"），实际上会影响到原始数据。这是因为你修改的是指针所指向的内容，而不是指针本身。
- Map类型： 对于Map，for...range会返回键和值的副本。虽然值是副本，但Map本身提供了通过键直接修改值的能力（m[key] = newValue），因此无需索引即可修改Map中的值。
理解for...range的副本行为对于编写正确且高效的Go代码至关重要。始终明确你是在操作副本还是原始数据，可以帮助你避免常见的逻辑错误。
