多线程中condition variable及wait函数相关技术疑问

1. 为什么wait()内部要调用unlock？ #

这是避免死锁+保证条件能被其他线程更新的核心设计：

• 调用wait()的前提是你已经持有锁，目的是等待某个共享条件满足。如果wait()不释放锁，其他线程根本没法获取锁去修改这个共享条件，你的线程会永远等下去——这就是死锁。
• wait()在把线程挂起前自动解锁，让其他线程有机会操作共享数据、触发条件；当线程被唤醒时，又会自动重新获取锁，这样你醒来后就能安全地访问共享数据，不用手动处理锁的释放和重新获取。

2. 为什么wait()必须传unique_lock而不是直接传mutex？ #

核心原因是wait()需要灵活的锁状态管理：

• mutex本身是“独占式”的锁，它的lock()和unlock()直接绑定自身状态，没法在外部灵活控制锁的临时释放与重新获取——这正是wait()需要的能力。而unique_lock是锁的包装器，天生支持这种灵活的锁状态切换。
• wait()需要先检查调用者是否真的持有锁（通过lk.owns_lock()），如果直接传mutex，根本没法做这个检查，一旦调用者没锁就调用wait，会直接触发未定义行为。
• 另外，unique_lock支持移动语义等特性，能适配更多场景，而mutex本身没法被移动或拷贝，灵活性差很多。

3. wait()的伪代码大概是什么样的？ #

基础版本的wait()（不带谓词）伪代码可以这么写：

void wait(std::unique_lock<std::mutex>& lk) {
    // 第一步：检查是否持有锁，不持有就抛异常或触发未定义行为
    if (!lk.owns_lock()) {
        throw std::system_error(std::make_error_code(std::errc::operation_not_permitted));
    }

    // 保存关联的mutex，暂时释放unique_lock对它的控制权
    std::mutex* mutex_ptr = lk.mutex();
    lk.unlock(); // 释放锁，让其他线程能操作共享数据

    // 将当前线程加入条件变量的等待队列
    add_thread_to_wait_queue(this_thread::id());
    // 挂起线程，等待通知
    block_thread();

    // 被唤醒后，重新获取锁
    mutex_ptr->lock();
    // 恢复unique_lock的持有状态
    lk.lock();

    // 注：实际标准库实现会处理虚假唤醒，配合谓词的wait会循环检查条件
}

带谓词的wait(lk, pred)伪代码则是在基础版本外套一个循环：

template<class Predicate>
void wait(std::unique_lock<std::mutex>& lk, Predicate pred) {
    while (!pred()) {
        wait(lk); // 调用基础版wait
    }
}

补充：为什么需要调用lk.owns_lock()？ #

这是前置条件检查，用来确保调用wait()的线程确实持有锁：

• wait()的整个逻辑都是基于“调用者持有锁”的前提设计的：解锁、挂起、重新加锁这些操作，只有在当前线程持有锁的情况下才合法。
• 如果线程没持有锁就调用wait()，内部的unlock()操作会直接导致未定义行为（比如程序崩溃、数据竞争）。owns_lock()就是用来提前拦截这种错误，避免后续的非法操作。

内容的提问来源于stack exchange，提问作者roi_saumon