Go 的 select 语句中，case c
go 的 select 语句中，`case c
在 Go 中，select 语句的设计目标是非阻塞地等待多个通道操作就绪。但其内部执行逻辑严格遵循表达式求值顺序：每个 case 子句中的表达式会在 select 判定“哪个 case 可立即执行”之前被完全求值。
我们来逐行分析原始出错代码的关键片段：
case c <p>根据 Go 语言规范，这是一个 <strong>SendStmt（发送语句）</strong>，语法结构为：</p><pre class="brush:php;toolbar:false;">Channel "<p>其中：</p>
-
Channel是c（一个已初始化的带缓冲 channel）； -
Expression是（对一个从未有 goroutine 发送数据的 channel 执行接收操作）。
⚠️ 关键点在于：Expression 部分必须先完成求值，才能进入发送逻辑。而 在无 sender 的情况下是永久阻塞的（即使 chan_never_used 是带缓冲 channel，也因从未写入而为空）。因此，程序卡死在此处，select 根本不会去检查其他 case（包括 ），整个 for 循环停滞，最终触发 fatal error: all goroutines are asleep - deadlock!。
相比之下，修复后的写法：
提升为 case 的接收语句（RecvStmt），而非嵌套在发送表达式中。此时：
-
select会将该case视为“等待从chan_never_used接收”，并与其他 case（如 timer）并发、公平地轮询就绪状态； - 若
chan_never_used暂无数据，select自动跳过该分支，转而尝试； - Timer 到期后，执行
c ，随后println( 成功打印，循环继续。
✅ 简单总结原则：
-
select的每个case应保持原子性与惰性求值：接收/发送操作本身应直接参与 select 调度，而非作为子表达式被提前强制求值； - 避免在
case中使用形如c 、c （其中f()阻塞）等结构； - 如需组合操作，请拆分为独立的
case分支或在case内部用普通语句实现。
附：可验证的最小安全示例（含超时兜底）：
-1
