std::condition_variable::wait() 误解[重复]

Question

为什么必须使用while() 和std::condition_variable::wait() 在这个code:

#include <iostream>           // std::cout
#include <thread>             // std::thread
#include <mutex>              // std::mutex, std::unique_lock
#include <condition_variable> // std::condition_variable

std::mutex mtx;
std::condition_variable cv;
bool ready = false;

void print_id (int id) {
  std::unique_lock<std::mutex> lck(mtx);
  while (!ready) cv.wait(lck);
  // ...
  std::cout << "thread " << id << '\n';
}

void go() {
  std::unique_lock<std::mutex> lck(mtx);
  ready = true;
  cv.notify_all();
}

int main ()
{
  std::thread threads[10];
  // spawn 10 threads:
  for (int i=0; i<10; ++i)
    threads[i] = std::thread(print_id,i);

  std::cout << "10 threads ready to race...\n";
  go();                       // go!

  for (auto& th : threads) th.join();

  return 0;
}

据我所知，如果 std::condition_variable::wait() 阻塞了当前线程，并且该线程正在等待暂停，直到另一个线程调用 notify..() 函数

Answer 1

为什么必须在 std::condition_variable::wait() 中使用 while()

wait 可以返回 ready 是否为真。如果我们只想在ready 为真时继续，那么我们必须检查它，并继续等待以防万一。循环是一种方便的控制结构，用于重复操作直到满足条件。

---

为什么 wait() 可能会看似虚假地返回

因为标准说它可以：

效果：

• 以原子方式调用 lock.unlock() 并阻止 *this。
• 解除阻塞时，调用lock.lock(（可能在锁上阻塞），然后返回。
• 当调用notify_­one() 或调用notify_­all()，或虚假发出信号时，该函数将解除阻塞。