go 的 select 语句不支持单个 case 中同时接收多个通道值；但可通过协程+聚合通道（fan-in）模式模拟“所有通道同时就绪”的语义，避免死锁并保证原子性。
go 的 `select` 语句不支持单个 `case` 中同时接收多个通道值；但可通过协程+聚合通道（fan-in）模式模拟“所有通道同时就绪”的语义，避免死锁并保证原子性。
在 Go 中，select 的每个 case 仅能监听一个通道操作（如 通道通信是显式、独立且不可分割的同步事件。因此，“多个通道同时就绪”无法通过单一 select 分支原生表达，但可通过组合模式安全实现。
✅ 推荐方案：协程驱动的原子聚合（Fan-in + Coordinator）
核心思路是将“等待多个通道同时就绪”拆解为：
- 启动独立 goroutine，阻塞地依次从各目标通道接收值；
- 将收齐的一组值打包发送至一个聚合通道；
- 主循环通过 select 监听多个聚合通道，实现非抢占式、无竞态的分支调度。
以下为优化后的可运行示例（修复了原答案中 set2 分支的符号错误，并增强健壮性）：
package main import "fmt" // collect 原子性地从一组只读通道接收值，全部成功后发送切片到 ret func collect(ret chan<- []int, chans ...<-chan int) { vals := make([]int, len(chans)) for i, ch := range chans { vals[i] = <-ch // 阻塞等待该通道就绪 } ret <- vals // 所有值收齐后一次性投递 } func mynet(a, b, c, d <-chan int, res chan<- int) { set1 := make(chan []int, 1) // 缓冲区为1，避免 collect goroutine 永久阻塞 set2 := make(chan []int, 1) go collect(set1, a, b) go collect(set2, c, d) for { select { case vs := <-set1: if len(vs) == 2 { res <- vs[0] + vs[1] } case vs := <-set2: if len(vs) == 2 { res <- vs[0] - vs[1] // 修正：原问题需求为 v1-v2 } } } } func main() { a, b, c, d := make(chan int), make(chan int), make(chan int), make(chan int) res := make(chan int, 10) go mynet(a, b, c, d, res) // 注意顺序：必须确保每组通道均有值，否则对应 goroutine 会永久阻塞 go func() { a <- 5; b <- 7 }() // 触发 set1 go func() { c <- 5; d <- 7 }() // 触发 set2 fmt.Println(<-res) // 输出 12 (5+7) fmt.Println(<-res) // 输出 -2 (5-7) }⚠️ 关键注意事项
- 死锁预防：collect 中的
- 原子性保证：collect 确保 []int 中的每个元素均来自对应通道的最新一次发送，且整个收集过程对调用者表现为一个不可分割的操作。
- 扩展性设计：该模式天然支持任意数量通道的组合（如 collect(set3, a, c, d)），也便于构建 Petri 网中的变迁（transition）——每个 collect 对应一个需满足所有前置库所（places）令牌的变迁。
- 资源开销权衡：每个 collect 启动一个 goroutine，适用于通道数量可控的场景；若需高频、动态组合，可考虑复用 goroutine 池或使用更高级的并发原语（如 sync.WaitGroup + channel 关闭检测）。
? 总结
Go 不提供“多通道原子接收”的语法糖，但其简洁的并发原语（goroutine + channel）足以构建出等价、可验证且符合 CSP 理念的模式。真正的“同时就绪”，本质是协调多个独立同步点达成一致状态——而 collect 模式正是这一思想的优雅落地。对于 Petri 网等需要严格同步语义的场景，此模式不仅可行，更是推荐的标准实践。