最佳答案
我对使用 std::condition_variable
有点困惑。我知道我必须在 mutex
上创建一个 unique_lock
,然后才能调用 condition_variable.wait()
。我找不到的是,在调用 notify_one()
或 notify_all()
之前,我是否也应该获得一个唯一的锁。
关于 Cppreference.com的例子是相互矛盾的。例如,通知 _ 一页给出了这个例子:
#include <iostream>
#include <condition_variable>
#include <thread>
#include <chrono>
std::condition_variable cv;
std::mutex cv_m;
int i = 0;
bool done = false;
void waits()
{
std::unique_lock<std::mutex> lk(cv_m);
std::cout << "Waiting... \n";
cv.wait(lk, []{return i == 1;});
std::cout << "...finished waiting. i == 1\n";
done = true;
}
void signals()
{
std::this_thread::sleep_for(std::chrono::seconds(1));
std::cout << "Notifying...\n";
cv.notify_one();
std::unique_lock<std::mutex> lk(cv_m);
i = 1;
while (!done) {
lk.unlock();
std::this_thread::sleep_for(std::chrono::seconds(1));
lk.lock();
std::cerr << "Notifying again...\n";
cv.notify_one();
}
}
int main()
{
std::thread t1(waits), t2(signals);
t1.join(); t2.join();
}
这里锁不是为第一个 notify_one()
获得的,而是为第二个 notify_one()
获得的。通过查看其他带有示例的页面,我看到了不同的东西,大多数都没有获得锁。
notify_one()
之前锁定互斥锁吗? 为什么要锁定它?notify_one()
没有锁,而对于后续调用却有锁。这个例子是错误的,还是有一些合理的解释?