C++ condition_variable死锁预防 _ wait_for用法详解【干货】-C++-PHP中文网

condition_variable::wait_for可能死锁的根本原因是它不自动释放锁、不校验唤醒源、也不保证条件真值，仅等待指定时间或被唤醒；若唤醒后条件未满足且未重检查，线程可能持锁继续执行，导致资源竞争或永久等待。

c++ condition_variable死锁预防 _ wait_for用法详解【干货】

为什么 `condition_variable::wait_for` 仍可能死锁

根本原因不是函数本身有问题，而是它不自动释放锁、不校验唤醒源、也不保证条件真值——它只负责“等一段时间或被唤醒”。如果唤醒后条件仍不满足，又没重检查，线程就可能带着锁退出等待，后续逻辑误以为条件已成立，导致资源竞争或永久等待。

典型死锁链：wait_for 返回 cv_status::timeout → 忽略返回值继续用旧状态 → 下次循环又加锁调用 wait_for → 但此时条件永远无法满足（比如生产者崩溃），而消费者反复抢锁、等待、超时、再抢锁……锁被持续占用，其他线程无法修改共享状态。

必须检查 wait_for 返回值，cv_status::timeout 不代表“可安全继续”，只代表“时间到了”
唤醒不等于条件成立：notify_one 可能发生在条件变更前，或被虚假唤醒打断
wait_for 不接管 unique_lock 生命周期：锁必须由你显式管理，且必须在调用前已锁定

`wait_for` 正确用法：带谓词的重载才是默认选择

别手写裸循环判断条件 + wait_for。标准库提供了带谓词的重载：wait_for(lock, rel_time, pred)，它内部自动做“检查→等待→再检查”三步，且只在 pred() 为 true 时才返回（无论因唤醒还是超时）。这才是防死锁的第一道防线。

示例：等待队列非空，最多等 100ms

<pre class="brush:php;toolbar:false;">std::queue<int> q;
std::mutex mtx;
std::condition_variable cv;

// ... 生产者 push 后调用 cv.notify_one()

std::unique_lock<:mutex> lk(mtx);
if (cv.wait_for(lk, 100ms, [&] { return !q.empty(); })) {
    int val = q.front();
    q.pop();
    // 安全消费
} else {
    // 超时，q 仍为空 —— 不做任何假设，不尝试 pop
}
</:mutex></int>