在go语言的`range`循环中，迭代结果可以赋值给两种不同的目标：标识符和表达式。标识符用于声明新的循环变量，而表达式则用于将值赋给现有的存储位置，如已声明的变量或通过指针引用的内存地址。理解这两种赋值方式的差异对于正确高效地使用`range`循环至关重要。
Go语言的range关键字提供了一种简洁高效的方式来遍历各种数据结构，如数组、切片、字符串、映射和通道。在range循环中，每次迭代都会产生一个或两个值（通常是索引/键和元素值），这些值可以被赋值到循环变量中。根据Go语言规范，range子句的赋值部分有两种形式：
RangeClause = ( ExpressionList "=" | IdentifierList ":=" ) "range" Expression .
这两种形式的核心区别在于赋值操作符（= 或 :=）以及其左侧的赋值目标——是标识符列表还是表达式列表。
标识符作为赋值目标
当使用IdentifierList :=形式时，range循环会为每次迭代产生的值声明并初始化新的变量。这些变量是循环体内部的局部变量，其生命周期仅限于当前的循环迭代。这种方式最为常见，适用于需要引入新变量来接收迭代结果的场景。
特点：
立即学习“go语言免费学习笔记（深入）”；
- 使用:=操作符进行短变量声明。
- 左侧必须是有效的Go标识符列表，遵循Go语言的命名规则（如不能包含空格、不能以数字开头等）。
- 声明的变量在循环的每次迭代中都是独立的，不会影响循环外部的同名变量。
示例： 以下示例展示了如何使用标识符i来接收切片的索引值。每次迭代，都会声明一个新的i并赋值。
package main
import "fmt"
func main() {
// 遍历切片，i 接收索引值
for i := range []int{10, 20, 30} {
fmt.Printf("索引: %d\n", i)
}
fmt.Println("---")
// 遍历映射，k 接收键，v 接收值
m := map[string]int{"apple": 1, "banana": 2}
for k, v := range m {
fmt.Printf("键: %s, 值: %d\n", k, v)
}
}输出：
索引: 0 索引: 1 索引: 2 --- 键: apple, 值: 1 键: banana, 值: 2
在这个例子中，i、k和v都是标识符，它们在每次循环迭代时被声明并赋值。
表达式作为赋值目标
与标识符不同，当使用ExpressionList =形式时，range循环会将迭代产生的值赋给现有的存储位置。这意味着左侧的表达式必须能够解析为一个可寻址的内存位置，例如已声明的变量、解引用的指针或返回指针的函数调用。这种方式不会声明新变量，而是修改现有变量或内存地址的值。
特点：
立即学习“go语言免费学习笔记（深入）”；
- 使用=操作符进行赋值。
- 左侧必须是能够解析为可寻址存储位置的表达式（L-value）。
- 通常用于更新外部变量或通过指针间接修改数据。
示例：
1. 赋值给解引用的指针： 你可以将range迭代的值赋给一个通过指针解引用的内存地址。这允许你直接修改指针所指向的变量。
package main
import "fmt"
func main() {
var sharedVal int = 0 // 一个外部变量
p := &sharedVal // p 是指向 sharedVal 的指针
fmt.Println("初始 sharedVal:", sharedVal)
// 遍历切片 []int{1,2,3}，range 会产生索引 (0, 1, 2)
// 每次迭代，将当前的索引值赋给 *p (即 sharedVal)
for *p = range []int{1, 2, 3} {
fmt.Printf("循环内 sharedVal: %d\n", sharedVal)
}
fmt.Println("最终 sharedVal:", sharedVal)
}输出：
初始 sharedVal: 0 循环内 sharedVal: 0 循环内 sharedVal: 1 循环内 sharedVal: 2 最终 sharedVal: 2
在这个例子中，*p是一个表达式，它表示p指针所指向的内存位置。range循环的索引值（0, 1, 2）被依次赋值给sharedVal。
2. 赋值给返回指针的函数调用： 如果一个函数返回一个指针，你可以解引用这个函数调用的结果，并将其作为赋值目标。
package main
import "fmt"
var globalVal int = 0 // 一个全局变量
// foo 函数返回 globalVal 的地址
func foo() *int {
return &globalVal
}
func main() {
fmt.Println("初始 globalVal:", globalVal)
// 遍历切片，将迭代值赋给 *foo() (即 globalVal)
// 每次循环都会调用 foo() 获取 globalVal 的地址，然后解引用并赋值
for *foo() = range []int{10, 20, 30} {
fmt.Printf("循环内 globalVal: %d\n", globalVal)
}
fmt.Println("最终 globalVal:", globalVal)
}输出：
初始 globalVal: 0 循环内 globalVal: 0 循环内 globalVal: 1 循环内 globalVal: 2 最终 globalVal: 2
这里，*foo()是一个表达式，它在每次循环迭代时被求值，返回globalVal的地址，然后将range产生的索引值赋给globalVal。
总结与注意事项
理解Go语言中range循环的两种赋值机制对于编写健壮和高效的代码至关重要：
-
标识符（IdentifierList :=）：
- 作用：用于声明新的局部变量来接收range迭代的值。
- 特点：这些变量在每次迭代中都是独立的，生命周期限于当前迭代。
- 适用场景：适用于需要处理每次迭代的独立值，且不影响外部变量的场景。这是最常见和推荐的用法。
-
表达式（ExpressionList =）：
- 作用：用于将range迭代的值赋给已存在的、可寻址的存储位置。
- 特点：这不会创建新变量，而是修改现有变量或通过指针间接修改内存。
- 适用场景：当明确需要累积、更新外部状态或直接操作特定内存位置时。
选择建议：
- 优先使用标识符（:=）：在大多数情况下，使用标识符声明新变量是更清晰、更安全的做法，因为它避免了意外的副作用，并保持了循环变量的局部性。
- 谨慎使用表达式（=）：仅当明确需要修改循环外部的变量或通过指针操作特定内存时，才考虑使用表达式作为赋值目标。确保表达式确实解析为一个可寻址的存储位置（即一个L-value）。过度使用复杂的表达式可能降低代码的可读性和维护性，并可能引入难以追踪的副作用。
在处理并发或需要精细控制内存访问的场景下，对这两种赋值机制的清晰理解尤为重要。
