Go 语言仅支持 for 循环,不提供 while 和 do-while;其三种形式(for init; cond; post、for cond、for)是同一语法的省略变体,统一语义,消除歧义。

Go 里没有 while 和 do-while,只有 for
Go 语言刻意简化了循环语法:不存在 while 或 do-while,所有循环逻辑都统一用 for 实现。这看似受限,实则更清晰——避免了多种写法带来的语义混淆。你写 for,就代表“循环”,没有歧义。
它的三种常见形态本质是同一语法的不同省略形式:
-
for init; condition; post:类 C 风格,如for i := 0; i -
for condition:省略初始化和后置语句,等价于 while,如for count -
for:完全省略,变成无限循环,需靠break或return退出
注意:init 和 post 只能是简单语句(比如赋值、自增),不能是函数调用或复合表达式;condition 必须是布尔表达式,不支持像 C 那样用非零值当 true。
用 for range 遍历切片、数组、map、channel 和字符串
for range 是 Go 中最常用、最安全的遍历方式,它自动处理边界和类型适配,但行为因数据类型而异,容易踩坑。
立即学习“go语言免费学习笔记(深入)”;
关键点:
- 遍历
[]int或[3]int:返回索引和元素值(值拷贝) - 遍历
map[string]int:返回键和值,但顺序不保证(Go 运行时故意打乱) - 遍历
string:返回 Unicode 码点(rune)和字节偏移,不是单个字节(所以别用byte接收) - 遍历
chan int:阻塞等待,直到有值可读;通道关闭后循环自动退出 - 如果只想要索引,用
for i := range s;只想要值,用for _, v := range s;两个都要就写全
nums := []int{10, 20, 30}
for i, v := range nums {
nums[i] = v * 2 // 修改原切片元素(i 是索引,v 是拷贝)
}
// 注意:v 是副本,直接改 v 不影响 numsrange 遍历时取地址的常见错误
当你想在循环中保存元素的指针(比如存进切片或 map),直接对 v 取地址会得到同一个内存地址——因为 v 在每次迭代中被复用。
典型错误写法:
values := []int{1, 2, 3}
pointers := []*int{}
for _, v := range values {
pointers = append(pointers, &v) // ❌ 全是指向最后一个 v 的地址
}
// 最终 pointers 中三个指针都指向 3正确做法是显式声明新变量,或取原底层数组/切片的地址:
- 方案一:用索引访问再取地址 ——
&values[i] - 方案二:在循环内声明新变量并赋值 ——
val := v; pointers = append(pointers, &val)
这个陷阱在结构体切片中尤其危险,可能引发静默数据污染。
性能与边界:for 和 for range 的实际开销差异
对切片或数组使用 for i := 0; i 和 for range s,底层生成的汇编几乎一致,性能无差别。Go 编译器已做充分优化。
但要注意几个实际影响点:
-
len(s)在传统 for 中若写成i ,每次迭代都调用len—— 对切片是 O(1),但对某些自定义类型(如包装了Len()方法的 struct)可能有开销;建议提前提取n := len(s) -
for range遍历 map 时,底层会复制当前哈希表快照,大 map 下内存和时间开销略高;高频更新场景慎用 - 字符串遍历用
for range是安全的,但若你明确知道全是 ASCII,且追求极致性能,可改用for i := 0; i 直接按字节访问(但会破坏 Unicode 正确性)
真正该花时间优化的,从来不是循环语法本身,而是循环体内的操作——比如是否触发了不必要的内存分配、是否在反复做相同计算、是否误用了接口导致逃逸。










