本文深入探讨go语言中`range`循环的赋值机制，重点解析在迭代过程中如何将结果赋给不同的目标。我们将详细阐述使用`identifierlist :=`声明并赋值新变量（标识符）的方式，以及利用`expressionlist =`将结果赋给现有存储位置（表达式）的多种场景，包括直接修改指针指向的值或通过函数返回的指针进行赋值，帮助开发者更灵活地运用`range`循环。
Go语言range循环概述
range关键字是Go语言中用于迭代数组、切片、字符串、映射和通道等数据结构的关键特性。它允许我们在每次迭代中获取索引/键和对应的值。其赋值部分的语法结构由Go语言规范定义为：
RangeClause = ( ExpressionList "=" | IdentifierList ":=" ) "range" Expression .
这表明range循环的迭代结果可以被赋给两种不同的目标：标识符列表（IdentifierList）或表达式列表（ExpressionList），并分别使用:=或=运算符。理解这两种赋值方式的差异对于高效且准确地使用range循环至关重要。
赋值给标识符 (IdentifierList :=)
当使用IdentifierList :=语法时，range循环会为每次迭代的结果声明新的变量（即标识符），并将迭代结果赋给这些新变量。
-
特点：
立即学习“go语言免费学习笔记（深入）”；
- 声明新变量： :=操作符在此处起到了短变量声明的作用，它结合了变量声明和初始化的过程。
- 局部作用域： 这些标识符是循环体内部的局部变量，其生命周期仅限于当前的for循环块。
- 命名规则： 它们遵循Go语言的标识符命名规则（例如，必须是有效的Unicode名称，不能包含空格等）。
典型应用： 这是range循环最常见和推荐的用法，适用于需要独立处理每次迭代数据，且不希望影响外部现有变量的场景。
示例：声明并使用新的循环变量
package main
import "fmt"
func main() {
// 迭代一个整型切片，将索引赋给新的标识符 i
// i 是一个在循环体内声明的新变量
for i := range []int{1, 2, 3} {
fmt.Printf("当前索引: %d\n", i)
}
// 循环结束后，i 不再可访问或其值与循环内无关
fmt.Println("---")
// 迭代一个字符串，将索引和字符值赋给新的标识符 idx 和 charVal
// idx 和 charVal 也是在循环体内声明的新变量
for idx, charVal := range "Go" {
fmt.Printf("索引: %d, 字符: %c\n", idx, charVal)
}
}在上述示例中，i、idx和charVal都是在for循环每次迭代时声明并赋值的新标识符。它们的值在每次迭代中更新，且彼此独立。
赋值给表达式 (ExpressionList =)
与声明新变量不同，当使用ExpressionList =语法时，range循环会将迭代结果赋给一个或多个已经存在的存储位置，这些位置由表达式指定。
-
特点：
立即学习“go语言免费学习笔记（深入）”；
- 修改现有存储： 你不是在创建新变量，而是在修改现有变量的值，或者通过更复杂的表达式来指定赋值目标。
- 赋值操作符： 必须使用=操作符，因为它表示对已存在的变量或存储位置进行赋值。
- 灵活性： 这种方式提供了更大的灵活性，允许直接修改外部变量状态，尤其是在涉及指针操作时。
典型应用： 适用于需要直接修改循环外部的某个变量或存储位置的场景，例如通过指针间接修改全局变量或结构体字段。
示例一：通过指针修改外部变量 这种场景下，表达式通常是一个解引用指针，例如*p，其中p是一个指向外部变量的指针。range循环的迭代结果会被赋给p所指向的内存地址。
package main
import "fmt"
func main() {
var i = 0 // 声明一个外部变量 i
p := &i // p 是指向 i 的指针
fmt.Printf("循环前，i 的值为: %d\n", i) // 预期输出 0
// 将 range 循环的迭代结果（索引）赋给 *p，即修改 i 的值
// *p 是一个表达式，代表 i 的内存位置
for *p = range []int{1, 2, 3} {
fmt.Printf("循环内，i 的值为: %d\n", i)
}
fmt.Printf("循环后，i 的值为: %d\n", i) // 预期输出 2 (最后一次迭代的索引)
}在这个例子中，*p是一个表达式，它表示p指向的内存位置。range循环每次迭代时，会将其产生的索引值赋给i，从而直接改变i的值。
- 示例二：通过函数返回的指针修改外部变量 表达式也可以是函数调用返回的指针的解引用。这提供了更大的灵活性，允许动态地确定赋值目标。
package main
import "fmt"
var globalVar = 10 // 一个全局变量
// foo 函数返回 globalVar 的地址
func foo() *int {
return &globalVar
}
func main() {
fmt.Printf("循环前，globalVar 的值为: %d\n", globalVar) // 预期输出 10
// 将 range 循环的迭代结果（索引）赋给 *foo()，即修改 globalVar 的值
// *foo() 是一个表达式，每次迭代都会调用 foo() 获取地址并解引用
for *foo() = range []int{1, 2, 3} {
fmt.Printf("循环内，globalVar 的值为: %d\n", globalVar)
}
fmt.Printf("循环后，globalVar 的值为: %d\n", globalVar) // 预期输出 2
}此例中，*foo()是一个表达式，它首先调用foo()获取globalVar的地址，然后解引用该地址，将range的迭代结果赋给globalVar。这展示了通过函数间接操作外部变量的强大能力。
总结与注意事项
-
选择依据：
- IdentifierList :=： 如果你需要在循环体内使用新的局部变量来处理每次迭代的数据，且不希望影响外部现有变量，应使用此方式。这是range循环最常见和推荐的用法，代码意图清晰。
- ExpressionList =： 如果你需要直接修改循环外部的某个变量或存储位置（例如通过指针间接修改），那么此方式是合适的选择。这种用法相对高级，通常在特定场景下（如实现某些数据结构或优化）使用。
-
操作符：
- :=用于声明并赋值新变量。
- =用于赋值给现有表达式（即已存在的存储位置）。
类型匹配： 无论是标识符还是表达式，其类型都必须与range循环产生的迭代结果类型兼容，否则会导致编译错误。
可读性： 尽管ExpressionList =提供了强大的灵活性，但在使用时应权衡其对代码可读性的影响。过度使用复杂的表达式作为赋值目标可能会使代码难以理解和维护。在大多数情况下，通过IdentifierList :=声明局部变量来处理迭代数据，然后显式地将这些数据赋给外部变量，可能会提供更好的可读性。
