本文深入探讨了在 Go 语言中使用 range 迭代切片并修改元素值的常见问题。重点解释了 range 循环的工作原理，以及为什么直接修改迭代变量无法改变原始切片中的值。同时，提供了通过索引修改切片元素的正确方法，并通过示例代码和内存地址分析，帮助读者更好地理解这一机制，从而编写更高效、更可靠的 Go 代码。
在 Go 语言中，使用 range 循环遍历切片是一种常见的操作。然而，当需要在循环中修改切片元素时，很多开发者可能会遇到困惑。这是因为 range 循环的行为与直觉有所不同。
range 循环的工作原理
range 循环会复制切片中的元素，这意味着在循环体内修改迭代变量实际上修改的是副本，而不是原始切片中的元素。
以下代码展示了 range 循环的这一特性：
package main
import "fmt"
type Attribute struct {
Key, Val string
}
type Node struct {
Attr []Attribute
}
func main() {
n := Node{
Attr: []Attribute{
{Key: "href", Val: "original"},
{Key: "name", Val: "value"},
},
}
fmt.Println("Before:", n.Attr)
for _, attr := range n.Attr {
if attr.Key == "href" {
attr.Val = "modified"
}
}
fmt.Println("After:", n.Attr)
}运行结果显示，range 循环并没有修改原始切片中的元素：
Before: [{href original} {name value}]
After: [{href original} {name value}]如何正确地修改切片元素
要正确地修改切片元素，需要使用索引来访问原始切片。
以下代码展示了如何使用索引修改切片元素：
package main
import "fmt"
type Attribute struct {
Key, Val string
}
type Node struct {
Attr []Attribute
}
func main() {
n := Node{
Attr: []Attribute{
{Key: "href", Val: "original"},
{Key: "name", Val: "value"},
},
}
fmt.Println("Before:", n.Attr)
for i := range n.Attr {
if n.Attr[i].Key == "href" {
n.Attr[i].Val = "modified"
}
}
fmt.Println("After:", n.Attr)
}运行结果显示，通过索引成功修改了原始切片中的元素：
Before: [{href original} {name value}]
After: [{href modified} {name value}]range 循环与内存地址
为了更深入地理解 range 循环的工作原理，我们可以打印迭代变量和原始切片元素的内存地址。
package main
import "fmt"
func main() {
x := make([]int, 3)
x[0], x[1], x[2] = 1, 2, 3
for i, val := range x {
fmt.Printf("&x[%d]: %p, &val: %p\n", i, &x[i], &val)
}
}运行结果显示，迭代变量和原始切片元素的内存地址是不同的：
&x[0]: 0xc00001a0b0, &val: 0xc00001a0e0 &x[1]: 0xc00001a0b8, &val: 0xc00001a0e0 &x[2]: 0xc00001a0c0, &val: 0xc00001a0e0
这进一步证实了 range 循环会复制切片中的元素。
总结与注意事项
- range 循环会复制切片中的元素，因此直接修改迭代变量无法改变原始切片中的值。
- 要修改切片元素，需要使用索引来访问原始切片。
- 理解 range 循环的工作原理对于编写高效、可靠的 Go 代码至关重要。
- 在需要修改切片元素时，务必使用索引，避免出现意料之外的错误。
