sync.Cond是Go中用于goroutine间同步的条件变量，由锁、Wait()、Signal()/Broadcast()组成，需与互斥锁配合使用。等待时必须在for循环中检查条件以防止虚假唤醒，适用于共享状态的细粒度控制，如生产者-消费者模型中的有界队列。相比channel更高效于广播通知，但复杂度较高，应优先考虑channel，复杂场景下选用sync.Cond。
在Go语言中，sync.Cond 是一种用于协调多个goroutine之间同步的机制，常被称为“条件变量”。它允许goroutine等待某个特定条件成立后再继续执行，是实现复杂并发控制的重要工具。虽然 sync.Mutex 和 channel 能解决大部分同步问题，但在某些场景下，sync.Cond 更加高效和直观。
理解 sync.Cond 的核心组成
sync.Cond 由三部分构成：
- L (Locker)：一个实现了 Lock() 和 Unlock() 方法的锁，通常使用 *sync.Mutex 或 *sync.RWMutex。
- Wait()：使当前goroutine释放锁并进入等待状态，直到被唤醒。
- Signal() 和 Broadcast()：唤醒一个或所有等待中的goroutine。
关键点在于：调用 Wait() 前必须持有锁，而 Wait() 内部会自动释放锁，并在唤醒后重新获取锁。
基本使用模式
以下是使用 sync.Cond 的典型结构：
立即学习“go语言免费学习笔记（深入）”；
mu := &sync.Mutex{}
cond := sync.NewCond(mu)
// 等待方
cond.L.Lock()
for 条件不成立 {
cond.Wait()
}
// 执行后续操作
cond.L.Unlock()
// 通知方
cond.L.Lock()
// 修改导致条件成立的状态
cond.Signal() // 或 cond.Broadcast()
cond.L.Unlock()
注意：等待逻辑必须放在 for 循环中判断条件，而不是 if，以防出现虚假唤醒（spurious wakeup）。
实际应用场景：生产者-消费者模型
使用 sync.Cond 实现一个线程安全的有界缓冲区队列：
type Queue struct {
items []int
cond *sync.Cond
mu sync.Mutex
max int
}
func NewQueue(max int) *Queue {
q := &Queue{
items: make([]int, 0),
max: max,
}
q.cond = sync.NewCond(&q.mu)
return q
}
func (q *Queue) Put(item int) {
q.mu.Lock()
defer q.mu.Unlock()
// 队列满时等待
for len(q.items) >= q.max {
q.cond.Wait()
}
q.items = append(q.items, item)
q.cond.Broadcast() // 唤醒可能等待消费的goroutine
}
func (q *Queue) Get() int {
q.mu.Lock()
defer q.mu.Unlock()
// 队列空时等待
for len(q.items) == 0 {
q.cond.Wait()
}
item := q.items[0]
q.items = q.items[1:]
q.cond.Broadcast() // 唤醒可能等待写入的gorine
return item
}
在这个例子中，多个生产者和消费者可以安全地并发操作队列。Put 在队列满时阻塞，Get 在队列空时阻塞，通过 Broadcast 通知所有等待者重新检查状态。
与 channel 的对比与选择
Go中常用 channel 实现类似功能，但两者适用场景不同：
- sync.Cond 更适合共享状态的细粒度控制，比如多个goroutine等待同一条件变化。
- channel 更适合数据传递和流程控制，语义更清晰，也更容易避免死锁。
- 当需要广播通知多个等待者时，cond.Broadcast() 比多个channel操作更高效。
如果只是简单的同步，优先使用 channel；若涉及复杂状态判断或多路等待，sync.Cond 是有力补充。
基本上就这些。掌握 sync.Cond 的关键是理解其与锁的配合机制，以及始终在循环中检查条件。合理使用，能写出更高效的并发程序。
