c++ - std::condition_variable 的谓词是否在锁下执行？

Question

由于条件变量可以检查给定的谓词是否为真，并且只有在它为真时才返回(如下面的代码片段)，条件变量中是否包含在锁保护内运行的谓词(mutex m 在下面的片段中)？

std::condition_variable cv;
std::mutex m;
std::unique_lock<std::mutex> lk;

cv.wait(lk, []{/*predicate*/});

Answer 1

调用 cv.wait(lk, p) 由 [thread.condition.condvar] 定义为等效于:

while (!p())
    cv.wait(lk);

此外，wait的前提是调用线程持有锁。因此，是的，谓词检查确实发生在锁下。

除此行为之外的任何其他行为都没有多大意义，因为否则检查谓词会产生数据竞争，除非您为谓词提供单独同步机制。