在 go 中遍历二维切片时，直接对 range 循环中的变量赋值无法修改原切片元素——因为 range 生成的是元素副本而非引用，必须通过索引显式赋值才能生效。
在 go 中遍历二维切片时，直接对 range 循环中的变量赋值无法修改原切片元素——因为 range 生成的是元素副本而非引用，必须通过索引显式赋值才能生效。
Go 的 range 关键字在遍历切片时，会将每个元素复制给循环变量（如 y 或 x），而非传递其内存地址。这意味着对这些变量的任何赋值操作，仅作用于该次迭代的临时副本，不会影响原始切片结构或内容。
以问题中的错误示例为例：
func Pic(dx, dy int) [][]uint8 {
pic := make([][]uint8, dy) // 创建长度为 dy 的空切片：[]*[]uint8（每个元素为 nil）
for _, y := range pic { // y 是 pic[i] 的副本（此时 pic[i] 为 nil）
y = make([]uint8, dx) // 只修改了局部变量 y，pic[i] 仍为 nil
for _, x := range y { // 此时 y 已分配，但 x 仍是 y[j] 的副本
x = uint8(1) // 修改 x 不影响 y[j]
}
}
return pic // 返回的 pic 中所有子切片仍为 nil，后续访问 pic[i][j] 必然 panic
}
该函数看似构建了 dy 行，实则 pic 中每个 pic[i] 均为 nil 切片。当外部代码尝试读取 pic[0][0] 时，因 pic[0] 为 nil，触发 index out of range panic。
✅ 正确做法是通过索引显式赋值，确保修改作用于原始切片：
func Pic(dx, dy int) [][]uint8 {
pic := make([][]uint8, dy)
for i := range pic { // i 是索引：0, 1, ..., dy-1
pic[i] = make([]uint8, dx) // 显式为 pic[i] 分配底层数组
for j := range pic[i] { // j 是 pic[i] 的索引
pic[i][j] = uint8(i*j + i + j) // 直接写入 pic[i][j]，非局部变量
}
}
return pic
}
⚠️ 关键注意事项：
- range slice 返回的是 (index, value)，其中 value 是只读副本；
- 若需修改原切片元素，必须使用 slice[index] = newValue；
- 初始化二维切片时，外层 make([][]T, rows) 仅分配行头指针，每行子切片需单独 make；
- 避免在 range 中对循环变量重新赋值（如 y = make(...)），这只会覆盖临时变量，对原结构无影响。
总结：Go 的值语义要求开发者明确区分“读取”与“修改”——遍历时用 range 获取索引或值用于计算；修改时务必通过索引定位到原始位置。这是理解 Go 切片行为与内存模型的重要一课。
