Go 语言 select 用法详解

Go 的 select 语句在进入时仅对通道操作数（如 <-ch）求值一次，而非每次循环迭代重复检查；其底层基于运行时调度器的非忙等机制，零开销轮询，性能远优于原子变量轮询或空 for 循环。

Go 的 `select` 语句在进入时**仅对通道操作数（如 `<-ch`）求值一次**，而非每次循环迭代重复检查；其底层基于运行时调度器的非忙等机制，零开销轮询，性能远优于原子变量轮询或空 for 循环。

在 Go 中，select 并非“轮询”通道，而是一种协作式、事件驱动的并发原语。以常见模式为例：

for {
    select {
    case <-done:
        return
    case v := <-ch:
        process(v)
    }
}

这段代码不会在每次 for 迭代中主动探测通道状态。相反，当执行到 select 时，Go 运行时会：

1. 一次性求值所有通道操作数（如 done 和 ch 变量本身），但不触发接收动作；
2. 若任意通道已就绪（例如有值可收、或已关闭），则立即执行对应分支；
3. 若无就绪通道且无 default 分支，则当前 goroutine 被挂起（park），交出 CPU，不消耗任何 CPU 资源；
4. 仅当目标通道发生发送/关闭事件时，运行时才唤醒该 goroutine 并完成通信。

这与以下两种低效模式形成鲜明对比：

• ❌ 手动轮询整型变量（伪代码）：

  for !atomic.LoadBool(&done) { // 高频内存读，可能引发缓存抖动
      runtime.Gosched() // 主动让出，但仍是忙等变体
  }

• ❌ 空 for 循环 + 条件判断：

  for i := 0; i < 1000000; i++ {
      if ch != nil && len(ch) > 0 { /* 错误！len(ch) 不是原子操作，且无法反映接收就绪性 */ }
  }

⚠️ 重要注意事项：

• <-ch 表达式本身不参与循环条件判断，它只是 select 的一个 case 分支；它的“检查”由运行时异步完成，与 for 循环频率完全解耦；
• 性能核心在于：无就绪通道时，goroutine 处于阻塞态（Gwaiting），零 CPU 占用；而 atomic.LoadUint64() 等轮询方式始终处于运行态（Grunnable），持续消耗资源；
• select 的随机公平性（步骤 2 中的 uniform pseudo-random selection）可避免饥饿，但若需确定性顺序，应使用 default + 显式优先级逻辑。

✅ 最佳实践总结：
在等待通道事件时，应始终优先使用 select + <-ch，而非任何形式的轮询。它既是语义最清晰的并发等待方式，也是 Go 运行时深度优化的高性能原语——其开销接近于“无”，而可靠性与可维护性远超手工同步方案。