在 go 并发编程中，若 goroutine 向有限长度通道写入数据后退出，而主逻辑提前终止读取，未被消费的通道值本身不会造成泄漏，但发送方 goroutine 可能因阻塞在发送操作上而永久挂起——必须通过上下文取消或 quit 通道显式通知其退出。
在 Go 的并发实践中，一个常见误区是认为“只要通道有界、生产者只发有限个值，不读完也无妨”。事实并非如此：如果生产者 goroutine 在向无缓冲通道（或已满的有缓冲通道）发送值时阻塞，且无人接收，它将永远等待，导致 goroutine 泄漏。这与通道值是否“被消费”无关，而取决于发送操作是否能完成。
以《A Tour of Go》中 Same 函数为例——它需对比两棵树的中序遍历序列是否完全一致。Walk 函数通常以 goroutine 形式启动，并通过通道输出节点值。若在中途发现不匹配（如 v1 != v2）就直接 return false，而未通知 Walk goroutine 停止，后者可能仍在尝试向已无人接收的通道发送后续值，从而卡死。
✅ 正确做法是引入 quit 通道（chan struct{}）作为协作式取消信号：
func Same(t1, t2 *tree.Tree) bool {
quit := make(chan struct{})
defer close(quit) // 确保函数退出时关闭 quit，通知所有监听者终止
w1 := Walk(t1, quit)
w2 := Walk(t2, quit)
for {
v1, ok1 := <-w1
v2, ok2 := <-w2
if v1 != v2 || ok1 != ok2 {
return false
}
if !ok1 { // 两者同时关闭，说明遍历完成且全部相等
return true
}
}
}对应地，Walk 函数需支持 quit 通道并主动检测：
func Walk(t *tree.Tree, quit chan struct{}) <-chan int {
ch := make(chan int)
go func() {
defer close(ch)
walkImpl(t, ch, quit)
}()
return ch
}
func walkImpl(t *tree.Tree, ch chan<- int, quit chan struct{}) {
if t == nil {
return
}
select {
case ch <- t.Value:
case <-quit:
return
}
walkImpl(t.Left, ch, quit)
select {
case <-quit:
return
default:
}
walkImpl(t.Right, ch, quit)
}⚠️ 注意事项：
- quit 通道应为 chan struct{}（零内存开销），且由调用方统一管理生命周期（如本例中 defer close(quit)）；
- 生产者 goroutine 必须在每次可能阻塞的发送前，使用 select 配合 quit 进行非阻塞检查；
- 不要依赖 recover 或超时硬杀 goroutine——Go 不提供强制终止机制，协作式取消是唯一可靠方式；
- 即使通道有缓冲，也建议使用 quit 通道：缓冲仅缓解阻塞，不能消除逻辑上“不应再发送”的语义。
总结：有限 ≠ 可忽略清理。Go 的通道模型强调“通信胜于共享”，而健壮的通信必然包含明确的生命周期协同。始终为可能长期运行的生产者 goroutine 设计退出信号，这是生产环境 Go 代码的必备实践。
