Go语言中没有while循环：正确使用for循环替代while的完整指南

Go语言不支持while关键字，所有循环必须使用for语句实现；此外，变量赋值语句不能出现在函数体外，且for循环条件无需括号——掌握这三点可彻底解决“non-declaration statement outside function body”等常见语法错误。

Go语言不支持while关键字，所有循环必须使用for语句实现；此外，变量赋值语句不能出现在函数体外，且for循环条件无需括号——掌握这三点，那些让人头疼的“non-declaration statement outside function body”错误基本就能彻底告别。

先聊聊Go循环里那个最容易让人懵圈的点：Go里压根没有 while 关键字。不少刚从C、Ja va或Python转过来的同学，第一反应就是敲个 while，结果编译器立刻甩出一串莫名其妙的报错：比如“syntax error: unexpected =, expecting }”、“non-declaration statement outside function body”、“syntax error: unexpected }”。

这些错误看着像括号或缩进没写好，但其实根源是——编译器压根不认识 while 这个“外来词”。在Go中 while 不是保留字，所以它会尝试把 while(...) 解析成类型转换或函数调用表达式。比如 while(low <= high) 会被理解成以 while 为类型的强制转换（类似 while(x)），但 while 本身没定义过，后面再遇到 =、{、} 自然就连续报错，整个语法解析彻底崩掉。

那正确的做法是什么？统一用 for 来承载 while 的逻辑。Go的 for 语句非常灵活，有三种形式，其中最常见、也最贴近传统 while 的写法是：

for condition {
    // 循环体
}

注意：条件前面不需要括号，直接跟在 for 后面，也没有分号。就是这么简洁。

拿一个二分查找的片段来举例，修正后的标准Go写法应该是这样的：

func Solution(A []int, B []int, K int) int {
    const MaxInt32 = 1<<31 - 1
    res := MaxInt32
    low := 0
    high := Min(900, largestId) // 注意：largestId 需在作用域内定义
    mid := 0
    for low <= high { // ✅ 替换 while(...) 为 for ...
        mid = (low + high) / 2 // ✅ 去掉花括号：{low + high} → (low + high)
        if isA vailable(K, mid) {
            res = Min(res, mid) // ❌ 错误：res := ... 是新声明，会遮蔽外层 res
            high = mid - 1      // ❌ 错误：high := ... 同样是新声明
        } else {
            low = mid + 1       // ❌ 错误：low := ... 亦为新声明
        }
    }
    return res
}

这里有一个非常容易掉进去的陷阱——变量重声明。 := 这个符号在Go里是“声明并初始化”，如果变量 res、high、low 在当前作用域已经声明过，必须改用 = 赋值，否则会创建同名的新变量，而且这个新变量只在 if/else 分支内有效，外部根本看不见。后果就是循环永远停不下来，或者结果完全不对。

另外再说两个小细节：

• 条件括号完全多余：for low <= high 完全合法，而 for (low <= high) 反而是语法错误。Go就是这么任性，不加括号不仅没问题，反而是标准写法。
• 没有 do-while、until 之类的变种：所有循环逻辑都得用 for + 条件 + 可选的初始化/后置语句来组合。如果想实现“先执行一次再判断”的效果，可以用无限循环加条件跳出：

  // 类似 do-while：先执行，再判断
  for {
      // 执行逻辑
      if !condition {
          break
      }
  }

最后总结几条铁律：

1. 彻底忘掉 while、do-while、until 这些关键字，Go里只有 for；
2. 把 :=（声明）和 =（赋值）分清楚，否则作用域和遮蔽问题会让你怀疑人生；
3. 条件表达式不加括号，for x < y { ... } 是唯一合法格式；
4. 当编译器抛出“non-declaration statement outside function body”这种看似离谱的错误时，别慌，大概率是前面某个语法灾难的连锁反应——优先检查关键字拼写、括号匹配，以及是不是误用了非Go的语法结构。

把这些规则吃透，写出来的Go循环既符合语言规范，又清晰易读，基本不会出幺蛾子。