17370845950

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 那样用非零值当 tru

用 for range 遍历切片、数组、map、channel 和字符串

for range 是 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 不影响 nums

range 遍历时取地址的常见错误

当你想在循环中保存元素的指针（比如存进切片或 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 正确性）

真正该花时间优化的，从来不是循环语法本身，而是循环体内的操作——比如是否触发了不必要的内存分配、是否在反复做相同计算、是否误用了接口导致逃逸。