C++ std:：condition_变量真的在阻塞之前解锁给定的唯一_锁对象吗？

正如参考文献所说：

我有以下代码：

#include <iostream>
#include <thread>
#include <condition_variable>

std::mutex mutex_;
std::condition_variable condVar;
std::unique_lock<std::mutex> lck(mutex_); //purposely global to check return of owns_lock() in main

void waitingForWork()
{
    std::cout << "Before wait, lck.owns_lock() = " << lck.owns_lock() << '\n';

    condVar.wait(lck);

    std::cout << "After wait, lck.owns_lock() = " << lck.owns_lock() << '\n';
}

int main()
{
  std::thread t1(waitingForWork);

  std::this_thread::sleep_for(std::chrono::seconds(10));

  std::cout << "In main, lck.owns_lock() = " << lck.owns_lock() << '\n';
  condVar.notify_one();

  t1.join();
  return 0;
}

但根据参考资料，我希望在等待时解锁互斥锁，即：

In main, lck.owns_lock() = 0

---

有人能告诉我为什么会这样吗？

你需要进一步阅读：

解除阻止后，无论原因如何，都会重新获取锁并等待退出。如果此函数通过异常退出，则也会重新获取锁

---

所以，总是可以保证在退出等待时，会重新获得锁。

但我要问，为什么程序没有观察到同样的情况？输出与参考文档不一致。main中的cout在等待退出之前执行。实际上，代码中存在数据竞争。您正在从两个线程访问

lck

，但

std:：unique_lock

不是为此而设计的。很容易检查

mutex\uuu

是否已解锁：尝试在

main

的

sleep\u之后立即获取
的mutex。
In main, lck.owns_lock() = 0