for range循环的副本行为
go语言中的for range循环在遍历切片（或数组）时，其工作机制是将当前迭代的元素值复制给迭代变量。这意味着，如果你有一个切片s，并使用for _, val := range s进行遍历，那么在每次迭代中，val都是s[i]的一个独立副本。对val的任何修改都只会影响这个副本本身，而不会反映到原始切片s中的对应元素上。
考虑以下示例代码，它试图在newStack函数中初始化一个Stack切片：
type Weight struct {
Spread float64
Val1 float64
Val2 float64
}
type Stack []Weight
func newStack(size int, startSpread float64) Stack {
stack := make(Stack, size)
for _, curWeight := range stack { // curWeight 是 stack[i] 的一个副本
// 尝试修改 curWeight 副本，但这不会影响 stack 中的原始元素
curWeight = Weight{startSpread, 0.0, 0.0} // 假设 rand.Float64() 替换为 0.0 便于理解
}
return stack
}在上述代码中，for _, curWeight := range stack这行代码会将stack切片中的每个Weight元素复制给curWeight。随后，curWeight = Weight{...}这行代码修改的是curWeight这个副本的值。由于这个副本在每次循环结束后就会被丢弃，并且其修改并未回写到stack切片中，因此Go编译器会识别到curWeight这个变量虽然被赋值了，但其值从未被“使用”（即没有被读取、传递或返回），从而发出“变量已声明但未使用”的警告。更重要的是，stack切片中的元素将保持其默认的零值（对于Weight结构体，其字段将是零值）。
正确修改切片元素的方法：使用索引
要正确地修改切片中的元素，你需要直接通过索引访问并赋值给原始切片元素。这通常通过传统的for循环结合索引变量来实现：
import "math/rand" // 假设 rand.Float64() 需要此包
type Weight struct {
Spread float64
Val1 float64
Val2 float64
}
type Stack []Weight
func newStack(size int, startSpread float64) Stack {
stack := make(Stack, size)
// 通过索引 i 直接访问并修改 stack[i]
for i := 0; i < size; i++ {
stack[i] = Weight{startSpread, rand.Float64(), rand.Float64()}
}
return stack
}在这个修正后的版本中，我们使用for i := 0; i
立即学习“go语言免费学习笔记（深入）”；
for range的适用场景
尽管for range在修改切片元素时存在陷阱，但在许多其他场景中它依然是非常有用和简洁的：
-
只读遍历： 当你只需要读取切片中的元素值而不需要修改它们时，for range是最推荐的方式。
for _, val := range mySlice { fmt.Println(val) // 只打印，不修改 } -
遍历指针切片并修改底层数据： 如果切片存储的是指针，那么for range提供的迭代变量是这些指针的副本。但由于这些指针指向的是相同的底层数据，你可以通过解引用这些指针来修改它们所指向的数据。
type Item struct { Value int } items := []*Item{{Value: 1}, {Value: 2}} for _, itemPtr := range items { itemPtr.Value *= 2 // 修改指针指向的底层 Item 结构体 } // items 现在是 [{Value: 2}, {Value: 4}] -
遍历映射（Map）： for range是遍历Go语言映射的标准方式，它会返回键和值。
myMap := map[string]int{"a": 1, "b": 2} for key, val := range myMap { fmt.Printf("Key: %s, Value: %d\n", key, val) }
总结与注意事项
理解Go语言中for range循环的副本行为是避免常见陷阱的关键。当你需要修改切片或数组的元素时，务必使用基于索引的传统for循环。for range适用于只读操作，或者当迭代变量本身是引用类型（如指针）且你需要修改其指向的底层数据时。始终牢记Go的值语义，这将帮助你编写出更健壮、更符合预期的代码。
