在Go中，向无缓冲通道（unbuffered channel）发送数据会立即阻塞当前goroutine，直到有另一个goroutine执行对应的接收操作——这是通道同步语义的核心设计，而非缺陷，旨在保障goroutine间安全、确定的通信时序。
在go中，向无缓冲通道发送数据会立即阻塞当前goroutine，直到有另一个goroutine执行对应的接收操作——这是通道同步语义的核心设计，而非缺陷，旨在保障goroutine间安全、确定的通信时序。
Go语言的通道（channel）不仅是数据传输管道，更是同步原语。无缓冲通道（即 make(chan T)）本质上是一个同步点（synchronization point）：它强制发送方与接收方必须“同时就绪”才能完成一次通信。这种设计源于CSP（Communicating Sequential Processes）理论，强调“通过通信共享内存”，而非“通过共享内存通信”。
在你的示例中：
func l(ch chan int) {
println("l being")
ch <- 1 // ⚠️ 此处永久阻塞：无其他goroutine接收，且通道无缓冲
println("l after write") // 永不执行
time.Sleep(time.Second * 1)
println("l goroutine down")
}
func main() {
c := make(chan int) // ← 无缓冲通道（容量为0）
go l(c)
println("main")
time.Sleep(time.Second * 9)
println("main down")
}ch 执行时，因通道为空且无缓冲，运行时检查到<strong>无活跃接收者</strong>，于是将 goroutine <code>l 置为 waiting 状态，并将其从调度队列移出；而 main goroutine 继续运行并退出，整个程序在 l 仍阻塞时结束——因此你只看到 "main" 和 "l being"，后续日志永不输出。
✅ 关键机制：
立即学习“go语言免费学习笔记（深入）”；
- 无缓冲通道的
send操作 = “等待配对的recv”； -
recv操作 = “等待配对的send”； - 双方必须同时到达通道两端，通信才原子完成。
? 若需避免阻塞，可选择：
-
使用缓冲通道（推荐用于解耦发送/接收节奏）：
c := make(chan int, 1) // 缓冲区容量为1 go l(c) // 主goroutine可稍后接收，或由其他goroutine处理 <-c // 接收后，l 中的 ch<-1 才能继续
-
配合
select+default实现非阻塞发送：select { case ch <- 1: println("sent successfully") default: println("channel full or no receiver — skip") }
? 总结：阻塞不是性能缺陷，而是Go并发模型的基石。它天然防止竞态、简化状态管理，并使控制流清晰可推理——正如Effective Go所强调：“Channels are not just for passing data; they are for synchronizing.” 正确理解并善用这一特性，是写出健壮Go并发程序的前提。
