quit 通道用于在 `same` 函数提前退出时，主动通知正在递归遍历二叉树的 goroutine 停止工作，防止其继续无意义执行、阻塞或泄漏，是 go 并发中“协作式取消”的典型实践。
在 Go Tour 的 binarytrees_quit.go 示例中，quit 是一个 chan struct{} 类型的通道，其核心作用并非简单“等待结束”，而是实现可中断的、协作式的遍历取消机制。虽然 Go 不支持强制杀死 goroutine（这是有意设计：为避免线程局部性破坏并发模型），但可通过通道通信让 goroutine 主动检查退出信号并及时返回。
关键在于 walk 函数中的 select 语句：
func walk(t *tree.Tree, ch chan int, quit chan struct{}) {
if t.Left != nil {
walk(t.Left, ch, quit)
}
select {
case ch <- t.Value:
// 成功发送节点值
case <-quit:
return // 收到退出信号，立即终止递归
}
if t.Right != nil {
walk(t.Right, ch, quit)
}
}此处 select 非阻塞地尝试向 ch 发送当前节点值；若 ch 暂不可写（如接收方已退出），且此时 quit 通道被关闭（即 <-quit 可立即读取空结构体），则 goroutine 立即返回，停止后续左右子树遍历——从而避免无效计算和潜在的 channel panic（向已关闭 channel 发送数据）。
而 Same 函数通过 defer close(quit) 确保自身退出前关闭 quit 通道，所有正在运行的 walk goroutine 将在下一次 select 中感知到该信号并优雅退出：
func Same(t1, t2 *tree.Tree) bool {
quit := make(chan struct{})
defer close(quit) // 关键：Same 结束时广播退出
w1, w2 := Walk(t1, quit), Walk(t2, quit)
for {
v1, ok1 := <-w1
v2, ok2 := <-w2
if v1 != v2 || ok1 != ok2 {
return false
}
if !ok1 { // 任一树遍历完成，说明两棵树结构/值相同
return true
}
}
}⚠️ 注意事项：
- quit 不能省略。若仅依赖 ch 关闭来判断退出，walk 在 ch <- t.Value 处可能永久阻塞（因 Same 已退出，无人接收），导致 goroutine 泄漏；
- quit 使用 struct{} 类型，零内存开销，且关闭后所有 <-quit 操作立即返回，语义清晰；
- 这是 Go “不要通过共享内存来通信，而应通过通信来共享内存”理念的直接体现：goroutine 之间不共享状态，仅通过通道协调生命周期。
总结来说，quit 通道不是冗余设计，而是 Go 并发模型中实现可控、可组合、无副作用的协程生命周期管理的关键基础设施——它让遍历逻辑保持惰性、按需执行，同时确保资源及时释放，是编写健壮并发程序的必备模式。
