Go语言的range循环是遍历数组、切片、映射、字符串、通道等数据结构的便捷语法，其核心的赋值机制是很多开发者容易混淆的点，尤其是循环中的标识符和表达式在赋值过程中的行为存在明显差异，理解这些差异能避免很多常见的逻辑错误。
range循环的基本语法结构
range循环的常见形式如下，其中左侧的接收部分可以是标识符，也可以是表达式：
// 基本语法
for 接收部分 := range 可遍历对象 {
// 循环体
}
// 遍历数组示例
arr := [3]int{1, 2, 3}
for idx, val := range arr {
fmt.Printf("索引: %d, 值: %dn", idx, val)
}
标识符在range循环中的赋值机制
当range循环左侧使用标识符接收值时，Go会为每个迭代创建一个新的变量，该变量是循环作用域内的局部变量，每次迭代都会重新初始化，赋值为当前迭代对应的值。
下面的示例展示了标识符的赋值行为：
package main
import "fmt"
func main() {
arr := []int{10, 20, 30}
var val int
for i, val := range arr {
// 这里的val是循环内新创建的局部变量，每次迭代赋值当前元素值
fmt.Printf("第%d次迭代，val值: %dn", i, val)
// 修改val不会影响原切片元素
val = val * 2
}
fmt.Println("原切片内容:", arr) // 输出 [10 20 30]
}
上述代码中，val是标识符，每次迭代都会被赋值为当前切片元素的值，修改val只是修改了这个局部变量，不会影响原切片的底层数据。
表达式在range循环中的赋值机制
当range循环左侧使用表达式（比如解引用指针、索引访问等）接收值时，赋值会直接作用于表达式指向的目标，而不是创建新的局部变量。
常见的表达式接收场景示例如下：
package main
import "fmt"
func main() {
arr := []int{10, 20, 30}
// 左侧使用解引用表达式，直接修改指针指向的原数据
for i := range arr {
// 这里的*(&arr[i])是表达式，赋值会直接修改原切片元素
*(&arr[i]) = arr[i] * 2
}
fmt.Println("修改后的切片内容:", arr) // 输出 [20 40 60]
// 映射遍历中使用表达式修改值
m := map[string]int{"a": 1, "b": 2}
for k := range m {
// 直接对映射的键做索引访问是表达式，赋值会修改映射的对应值
m[k] = m[k] * 3
}
fmt.Println("修改后的映射内容:", m) // 输出 map[a:3 b:6]
}
标识符与表达式的异同对比
相同点
- 都可以作为range循环的左侧接收部分，接收当前迭代对应的值或索引。
- 都需要符合Go语言的赋值规则，左侧接收的类型要和range返回的值类型匹配。
不同点
| 对比维度 | 标识符 | 表达式 |
|---|---|---|
| 变量创建 | 每次迭代创建新的局部变量，赋值为当前迭代值 | 不会创建新变量，直接对表达式指向的目标赋值 |
| 对原数据的影响 | 修改标识符的值不会影响原遍历对象的数据 | 修改表达式指向的值会直接修改原遍历对象的数据 |
| 常见使用场景 | 临时使用遍历得到的值，不需要修改原数据 | 需要直接修改原遍历对象的元素或值 |
常见误区与注意事项
很多开发者会误以为range循环中直接修改接收的标识符值就能改变原数据，这正是因为混淆了标识符和表达式的赋值机制。如果需要修改原切片或数组的元素，应该使用索引作为标识符，再通过索引表达式访问原数据修改：
package main
import "fmt"
func main() {
arr := []int{1, 2, 3}
// 正确修改原切片元素的方式：用索引标识符，再通过表达式修改
for i := range arr {
arr[i] = arr[i] * 2
}
fmt.Println(arr) // 输出 [2 4 6]
}
另外需要注意，range遍历映射时，迭代顺序是不确定的，使用表达式修改映射值的时候不要依赖迭代顺序做逻辑判断。
总结
Go语言range循环中，标识符的赋值是创建新的局部变量接收值，修改不影响原数据；表达式的赋值是直接作用于表达式指向的目标，修改会同步到原数据。在实际开发中，需要根据是否需要修改原遍历对象来选择使用标识符还是表达式作为接收部分，避免因为机制混淆导致的逻辑错误。