本文深入解析 go 语言中使用并行赋值实现双指针遍历的经典模式，以数组原地反转为例，阐明 for 循环三段式（初始化、条件判断、后置操作）如何协同工作，并强调其无逗号表达式、无自增/自减表达式的语言特性约束。
本文深入解析 go 语言中使用并行赋值实现双指针遍历的经典模式，以数组原地反转为例，阐明 for 循环三段式（初始化、条件判断、后置操作）如何协同工作，并强调其无逗号表达式、无自增/自减表达式的语言特性约束。
Go 的 for 循环语法结构为：
for 初始化语句; 条件表达式; 后置语句 {
// 循环体
}
与 C/Java 不同，Go 不支持逗号分隔的多表达式（如 i++, j--），也不支持 ++/-- 作为表达式（它们仅为语句）。因此，需借助并行赋值（parallel assignment） 实现多个变量的同步更新。
以 Effective Go 中的数组反转为例：
for i, j := 0, len(a)-1; i <p>我们逐段拆解：</p>
初始化部分
i, j := 0, len(a)-1
这是 Go 的多变量短声明：同时声明并初始化两个整型变量i（起始索引，指向首元素）和j（结束索引，指向末元素）。len(a)-1确保j是合法的最大下标（Go 切片/数组索引从 0 开始）。条件部分
i
控制循环继续的边界：仅当左指针i严格小于右指针j时执行循环。一旦i >= j（即两指针相遇或交错），说明所有对称位置均已交换完毕，循环自然终止。后置部分
i, j = i+1, j-1
利用并行赋值一次性更新两个变量：i向右移动一位，j向左移动一位。注意这不是i++, j--（语法错误），而是等价于先计算右侧两个表达式（i+1和j-1），再同时赋给左侧变量——整个过程原子且安全，无需临时变量。循环体
a[i], a[j] = a[j], a[i]
同样采用并行赋值完成元素交换。Go 保证右侧表达式全部求值完成后再统一赋值，因此不会出现覆盖问题（例如无需tmp := a[i]）。
✅ 关键优势：
- 原地操作，空间复杂度 O(1)；
- 时间复杂度 O(n/2) ≈ O(n)，高效简洁；
- 充分体现 Go “少即是多”的设计哲学——用语言原生特性（并行赋值）替代复杂语法糖。
⚠️ 注意事项：
- 并行赋值左右两侧变量数量必须严格一致，否则编译报错；
- 若
a为空切片（len(a) == 0）或单元素切片（len(a) == 1），j将为负数或0，但i 判断会立即失败，循环不执行，逻辑依然健壮； - 此模式适用于所有需双向遍历的场景，如回文判断、旋转数组、双指针搜索等。
掌握这一模式，不仅理解了 Effective Go 的示例，更抓住了 Go 在控制流设计上“显式、安全、简洁”的核心理念。
