本文深入解析 Go 语言中 for 循环的三段式语法，重点说明如何通过并行赋值同时初始化、更新多个变量，并以数组原地反转为例，阐明 i, j := 0, len(a)-1 和 i, j = i+1, j-1 的语义与执行机制。
本文深入解析 go 语言中 `for` 循环的三段式语法，重点说明如何通过并行赋值同时初始化、更新多个变量，并以数组原地反转为例，阐明 `i, j := 0, len(a)-1` 和 `i, j = i+1, j-1` 的语义与执行机制。
Go 的 for 循环是唯一循环结构，其语法为：
for 初始化语句; 条件表达式; 后置语句 {
// 循环体
}与 C/Java 不同，Go 不支持逗号分隔的多表达式（如 i++, j--），也不允许 ++/-- 作为表达式使用——它们只能是独立语句。因此，要同步控制多个变量，必须依赖 Go 特有的并行赋值（parallel assignment）机制。
以数组反转为例：
// Reverse a
for i, j := 0, len(a)-1; i < j; i, j = i+1, j-1 {
a[i], a[j] = a[j], a[i]
}我们逐段拆解：
-
初始化部分
i, j := 0, len(a)-1：
这不是“逗号操作符”，而是 Go 的短变量声明 + 并行赋值语法。它等价于：var i, j int i = 0 j = len(a) - 1
编译器会自动推导类型（此处均为
int），且两个变量作用域仅限于该for循环内。 条件部分
i：
控制循环继续的边界条件。当i从左向右、j从右向左逼近，一旦i >= j（即指针相遇或交错），循环终止，确保每个元素至多被交换一次。后置语句
i, j = i+1, j-1：
再次使用并行赋值——右侧所有表达式先全部求值，再一次性赋给左侧变量。这至关重要：i+1和j-1基于本轮迭代开始时的i、j值计算，避免了顺序赋值可能引发的逻辑错误（如先i++再用新i算j-1）。循环体
a[i], a[j] = a[j], a[i]：
同样是并行赋值的经典应用：交换两个元素无需临时变量，且保证原子性——右侧值在赋值前已全部读取，不会因左侧修改而受影响。
⚠️ 注意事项：
- 并行赋值要求左右侧变量数量、类型严格匹配；
- 初始化和后置语句中的变量必须在同一作用域内声明（不能在后置语句中“新声明”变量）；
- 若
a为空切片（len(a) == 0），len(a)-1为-1，但i=0 为 <code>false，循环直接跳过，安全无 panic； - 此模式适用于双指针类算法（如回文判断、两数之和优化版），是 Go 代码简洁性与安全性的典型体现。
总结：Go 用并行赋值替代传统“逗号运算符”，既消除了副作用隐患，又保持了多变量协同控制的表达力。理解 := 与 = 在多变量上下文中的统一语义，是写出地道 Go 循环的关键。
