17370845950

`quit` 通道用于优雅终止正在递归遍历二叉树的 goroutine，避免资源泄漏和不必要的计算；它通过通道接收信号（关闭通知），使 `walk` 在中途安全退出，是 go 并发控制中“协作式取消”的典型实践。

在 Go Tour 的 binarytrees_quit.go 示例中，quit 通道并非用于“等待 goroutine 自然结束”，而是实现提前终止（early termination） 的关键机制。其核心思想是：当比较两棵二叉树是否相同时（Same 函数），一旦发现某个节点值不匹配，应立即停止对两棵树的后续遍历——否则，即使结果已确定为 false，Walk 仍会继续深度遍历整棵树，造成冗余计算与 goroutine

quit 的工作原理基于 Go 的协作式取消（cooperative cancellation） 模式：

• quit 是一个 chan struct{} 类型的无缓冲通道；
• Walk 函数在每次向输出通道 ch 发送节点值前，使用 select 同时监听 ch 和 quit：

  select {
  case ch <- t.Value:
      // 正常发送
  case <-quit:
      return // 收到退出信号，立即返回，停止递归
  }

• Same 函数在启动两个 Walk goroutine 后，通过 defer close(quit) 确保自身退出时关闭 quit 通道；
• 一旦 quit 被关闭，所有阻塞在 栈。

⚠️ 注意：仅依赖“通道未缓冲”并不能保证 goroutine 及时退出。未加 quit 控制时，Walk 会持续遍历至叶子节点才自然结束；而 Same 可能在中途就得出结论（如首节点即不同），此时若无 quit，另一侧的 Walk 仍会继续运行，浪费 CPU 且延迟释放资源。

✅ 正确用法示例：

func Same(t1, t2 *tree.Tree) bool {
    quit := make(chan struct{})
    defer close(quit) // 关键：确保退出时广播终止信号

    ch1 := Walk(t1, quit)
    ch2 := Walk(t2, quit)

    for {
        v1, ok1 := <-ch1
        v2, ok2 := <-ch2
        if v1 != v2 || ok1 != ok2 {
            return false
        }
        if !ok1 {
            return true
        }
    }
}

总结：quit 通道体现了 Go 并发设计哲学——goroutine 不可被强制杀死，但可通过通道通信实现安全、可控的协作式退出。它不是“保活机制”，而是“减负机制”；不是为了“让 goroutine 留住”，而是为了“让它们及时放手”。这是编写高效、健壮并发程序的必备模式。