Go 语言的 for 循环语法相对简洁，但在需要同时更新多个变量时，不少写法会带来编译错误。要掌握正确的多变量更新方式，首先要理解 for 语句的语法结构：它由初始化语句、条件表达式和后置语句三部分组成，其中初始化和后置都只接受简单语句，而不是任意表达式。
for 循环的基础语法限制
在 Go 中，for 循环的标准写法为 for 初始化; 条件; 后置 { }。初始化语句和后置语句都必须是简单语句，比如短变量声明、赋值、函数调用等。Go 明确规定，后置语句中不能直接使用逗号来分隔多个独立的赋值表达式，例如 i = i + 1, j = j + 1 这样的写法是非法的。
很多从 C 或 Java 转过来的开发者会直觉地写下类似 for (i = 0, j = 10; i < j; i++, j--) 的结构。在 Go 里，如果用已有变量，初始化部分可以写成 i, j := 0, 10 吗？实际上短变量声明允许多变量，但后置部分若写成 i++, j-- 同样不被允许，因为逗号在后置语句中只能出现在同一条简单语句内，如函数多返回值赋值时，而不能连接两条递增语句。
正确的多变量声明与更新写法
如果变量是在 for 内首次声明，可以使用短变量声明一次性定义多个，并在后置语句中用同一个短变量声明做并行更新。但要注意，后置语句的“多变量更新”本质上仍是单条语句，例如通过函数返回多个新值再赋给原变量。更常见的合规写法是初始化用逗号声明，后置用逗号做同一条赋值语句更新。
下面给出一个正确且常用的示例：在循环里同时遍历两个相关的计数器，其中一个递增，另一个递减，并通过函数返回新值完成更新。
package main
import "fmt"
// 返回更新后的两个值
func step(a, b int) (int, int) {
return a + 1, b - 1
}
func main() {
// 初始化声明两个变量
i, j := 0, 10
// 条件判断
for i < j {
fmt.Println(i, j)
// 后置以单条多赋值语句完成多变量更新
i, j = step(i, j)
}
}
上面的代码在初始化时通过 i, j := 0, 10 声明了两个变量，循环体结束后用 i, j = step(i, j) 这一条多赋值语句更新二者，完全符合 Go 语法。如果不需要抽取函数，也可以直接写 i, j = i+1, j-1，这同样是一条合法的多变量赋值语句。
使用已有外部变量的写法
当变量在 for 循环外已经声明，就不能再用短变量声明，而应使用普通赋值。此时初始化部分可以留空，或写一个简单的赋值。后置部分依旧只能是一条简单语句，所以多变量更新必须写成并行赋值形式。
package main
import "fmt"
func main() {
var x, y int = 0, 5
for ; x < y; x, y = x+1, y-1 {
fmt.Printf("x=%d y=%dn", x, y)
}
}
这里初始化语句为空，条件为 x < y，后置语句 x, y = x+1, y-1 是单条多赋值，因此编译通过。注意不能写成 x = x+1, y = y-1，因为逗号在这里如果用于连接两个赋值表达式就超出了简单语句的范畴。
常见错误与规避方式
第一种典型错误是在后置语句里用逗号连接两个自增操作，如 i++, j--，编译器会报“expected boolean or range expression”或“syntax error”。第二种是把 C 风格的多变量声明直接搬过来，例如 for i := 0, j := 10; i < j; i++, j--，Go 不允许在初始化里出现两个独立的 := 声明。
规避这些错误的最直接办法是牢记：初始化与后置都只接受“一条”简单语句。多变量场景统一用逗号分隔的并行声明或并行赋值来处理。如果更新逻辑复杂，就像前文那样抽成返回多值的函数，既清晰又不会触碰语法红线。
总结对比
为了直观看到差异，我们可以用表格列出合法与非法写法：
| 场景 | 写法示例 | 是否合法 |
|---|---|---|
| 循环内声明双变量并并行更新 | i, j := 0, 10; ... i, j = i+1, j-1 | 合法 |
| 后置用逗号连接两个自增 | i++, j-- | 非法 |
| 初始化写两个独立短声明 | i := 0, j := 10 | 非法 |
| 外部变量并行赋值更新 | x, y = x+1, y-1 | 合法 |
只要把握住“简单语句”和“并行赋值”两个核心点，Go 中 for 循环的多变量更新就能写得既正确又易读，不再被编译器的语法检查拦在门外。