select 语义、公平性与 default 陷阱¶
30 秒版（开场）¶
select 在多个 channel 操作上择一执行；多路就绪时 伪随机公平（
fastrand打乱顺序）。default 使 select 非阻塞，易 忙等 CPU 或 丢事件。生产关键词：超时分支、nil case 禁用、单 select 多 case 持锁范围。
3 分钟版（精讲深度）¶
- 是什么：语法级多路复用；每个 case 必须是 send/recv（含
case <-ch）。 - 为什么：避免层层嵌套阻塞；与 context、timer、done 信号统一模式。
- 怎么做：编译为
selectgo；按随机顺序尝试各 case；均不可行则阻塞或走 default。
10 分钟版（原理 + 图示）¶
flowchart TD
Start[select 入口] --> Shuffle[伪随机排列 case]
Shuffle --> Try{依次尝试非阻塞}
Try -->|某 case 成功| Done[执行该 case]
Try -->|均失败且无 default| Park[gopark 入 sudog 链表]
Try -->|均失败有 default| Def[执行 default]
Park --> Wake[任一 channel 就绪唤醒]
Wake --> Done公平性：长期运行各 case 概率近似均等，但 不保证严格公平；高负载下仍可能饥饿（极少见，了解即可）。
nil channel：对应 case 永不就绪，常用于动态关闭某分支。
与 for-select 模式：事件循环标准写法；注意 break 只跳出 select 不跳出 for。
timer 陷阱：time.After 在高频循环里每次都会创建 timer，可能造成大量分配。Go 1.23+（且主模块语言版本为 1.23+）可回收不再引用的未触发 timer，且 timer channel 改为同步 channel；旧语义下未触发 timer 不能提前回收。需要复用、Reset 或主动停止时使用 time.NewTimer，并按目标 Go 版本遵守 Stop/Reset 规则。
生产场景¶
- RPC 超时：
select { case res := <-ch: case <-ctx.Done(): } - 多源合并：metrics/log 从多个 chan 写入 ES
- 非阻塞投递：
select { case q <- x: default: drop/count }做降级
排查与工具¶
- CPU profile：
selectgo占比高 → 检查 default 忙等 - goroutine：大量卡在
select正常；结合业务看是否缺超时
架构取舍¶
| 模式 | 适用 |
|---|---|
| blocking select | 长连接、事件驱动 |
| default + sleep | 简单轮询（慎用） |
| epoll/netpoller | 高并发网络（库内已用） |
| channel merge | 中等规模 fan-in |
不宜：用 for { select { default: } } 替代 condition variable 做精确等待。
深挖问答¶
- 多个 case 同时就绪？ → 随机选一个执行，其余本轮不执行。
- select 与 priority？ → 语言无优先级，需多层 select 或独立 goroutine。
- 空 select
select{}？ → 永久阻塞，常用于 main 挂起。 - select 会复制接收值吗？ → recv 与单独
<-ch一样，复制T。 - context.Done 为何常用？ → 关闭后永远就绪，可作取消分支。
反模式与事故¶
- default 轮询导致 一核 100%，监控却显示「QPS 正常」。
- 高频循环无脑
time.After→ 旧语义下 timer 堆积，新语义下也会制造分配与调度压力。 - 在 select 里持锁做重逻辑，放大锁竞争。
代码示例¶
timer := time.NewTimer(deadline)
defer timer.Stop()
select {
case v := <-result:
return v, nil
case <-ctx.Done():
return zero, ctx.Err()
case <-timer.C:
return zero, ErrTimeout
}
Channel 基础见 basis/channel/main.go。