本文详解 go 语言中遍历二维切片时常见的引用误区：range 循环中的变量是副本而非引用，直接赋值无法修改原切片结构，必须通过索引显式赋值。
本文详解 go 语言中遍历二维切片时常见的引用误区：range 循环中的变量是副本而非引用，直接赋值无法修改原切片结构，必须通过索引显式赋值。
在 Go 中，range 循环提供了一种简洁的遍历方式，但其行为与 C 或 Python 等语言有本质区别——range 迭代出的值是原元素的副本，而非引用或指针。这一特性在操作二维切片（即 [][]T）时尤为关键，稍不注意就会导致逻辑失效甚至运行时 panic。
以《Go Tour》中的 Pic(dx, dy int) [][]uint8 练习为例，目标是生成一个 dy × dx 的二维字节切片，每个元素初始化为 1。以下写法看似合理，实则错误：
func Pic(dx, dy int) [][]uint8 {
pic := make([][]uint8, dy)
for _, y := range pic { // ❌ y 是 pic[i] 的副本，不是引用
y = make([]uint8, dx) // ✅ 创建新切片，但只赋给了局部变量 y
for _, x := range y {
x = uint8(1) // ✅ 修改的是 x 的副本，不影响 y[i]
_ = x // 避免未使用警告
}
}
return pic // ⚠️ 返回的是 dy 个 nil 切片（长度为 0），访问时 panic
}
该函数会返回一个包含 dy 个 nil（或空）子切片的外层切片。因为 y = make([]uint8, dx) 只改变了局部变量 y 的指向，而 pic[i] 本身仍为 nil；后续对 y 的任何操作都不会反映到 pic 上。当调用方尝试访问 pic[0][0] 时，因 pic[0] 为 nil，触发 panic: runtime error: index out of range。
✅ 正确做法始终是通过索引显式赋值：
func Pic(dx, dy int) [][]uint8 {
pic := make([][]uint8, dy)
for i := range pic { // i 是索引，可安全用于赋值
pic[i] = make([]uint8, dx) // ✅ 直接赋值给 pic[i]
for j := range pic[i] {
pic[i][j] = uint8(j + i) // ✅ 可按需计算，如 (i+j), (i*j), etc.
}
}
return pic
}
? 关键原理：for i, y := range pic 中，y 是 pic[i] 的值拷贝（对于切片类型，拷贝的是 header 结构体：包含指针、长度、容量），修改 y 不会影响 pic[i]；若要修改底层数组内容，需通过 pic[i][j]；若要替换整个子切片，必须写 pic[i] = ...。
? 补充建议：
- 若仅需读取数据，range 安全高效；
- 若需修改结构（如重新分配子切片）或内容，务必使用索引；
- 可结合 len() 和传统 for 循环提升可读性与控制力；
- 使用 go vet 或静态分析工具可辅助发现潜在的无效果赋值。
掌握这一机制，不仅能避免 panic，更是理解 Go 值语义与内存模型的重要一步。
