Go 语言 select 用法详解

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

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

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

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

这段代码不会在每次 for 迭代中主动“检查”通道是否有数据。相反，当执行到 select 时，Go 运行时会：

1. 一次性求值所有 channel 操作数（如 done 和 ch 变量本身），但不触发接收动作；
2. 若任意通道已就绪（例如有数据可接收、或已关闭），则立即选择一个（伪随机）并执行对应分支；
3. 若无就绪通道且无 default 分支，则当前 goroutine 被挂起（park），交出 CPU，不消耗任何 CPU 资源；
4. 当某个相关通道后续发生状态变更（如发送、关闭），运行时自动唤醒该 goroutine 并完成通信。

这与以下两种低效替代方案形成鲜明对比：

• ❌ 手动轮询整型标志（如 atomic.LoadUint64(&flag) == 1）：
  即使加了 runtime.Gosched() 或 time.Sleep(1ns)，仍属忙等待，浪费 CPU、引入延迟、破坏调度公平性。

• ❌ 空 for {} + 条件判断：
  完全阻塞调度器，导致其他 goroutine 饥饿，且无法响应通道事件。

✅ 正确做法始终是：用 select 配合通道作为同步与通信的唯一接口。它由 Go 运行时深度优化——底层使用 epoll/kqueue/iocp 等系统级 I/O 多路复用机制管理通道就绪状态，时间复杂度为 O(1) 的事件注册与唤醒，无额外循环开销。

⚠️ 注意事项：

• <-ch 表达式中的 ch 变量只在 select 开始时求值一次，因此若 ch 在 select 执行期间被重新赋值，本次 select 仍作用于旧通道；
• 不要试图用 select { default: } 替代阻塞接收来“降低延迟”——这会退化为忙等待；如需超时，应使用 time.After 或 context.WithTimeout；
• 单个 select 中通道数量不影响性能（常数级开销），但应避免过度嵌套或滥用 select 替代简单同步（如 sync.Mutex）。

总之，select 是 Go 并发模型的基石设计，其 <-chan 操作零循环开销、零用户态轮询、全权交由运行时智能调度——这不是语法糖，而是经过深思熟虑的高效抽象。