本文详解go中无缓冲channel如何在生产者与消费者goroutine间实现天然同步,解释为何生产者会阻塞等待消费完成,并提供安全、可终止的实现方案。
在Go的并发模型中,chan int 默认创建的是无缓冲通道(unbuffered channel)——它不存储任何值,其核心语义是“通信即同步”(Communicating Sequential Processes, CSP)。这意味着每次向无缓冲通道发送数据(msgs 必须等待另一个goroutine同时执行接收操作(;反之亦然。这正是你观察到生产者“卡住”的根本原因。
回顾你的原始代码:
var msgs = make(chan int) // 无缓冲!等价于 make(chan int, 0)
func produce() {
for i := 0; i < 10; i++ {
msgs <- i // ⚠️ 此处阻塞,直到 consumer 执行 <-msgs
}
fmt.Println("Before closing channel") // ← 永远不会执行到第10次之后!
close(msgs)
done <- true
}
当 produce 尝试发送 i=0 时,consume 的 msg := ain 永远等待
✅ 正确做法是:让消费者主动控制循环退出条件,而非依赖生产者关闭通道后消费者“感知到关闭”。推荐使用 for range 遍历通道,它会在通道关闭且所有已发送值被接收后自动退出: