为什么解锁 unique_lock 会导致我的程序崩溃?

Why does unlocking a unique_lock cause my program to crash?

关于 unique_lock,我 运行 有一些奇怪的行为。创建它之后,我尝试调用 unlock,但它使我的程序崩溃。我已经创建了一个最小的示例,该示例在解锁功能上始终崩溃(使用 gdb 进行确认)。

#include <iostream>
#include <string>
#include <mutex>
#include <thread>
#include <chrono>

std::mutex myMutex;

void lockMe()
{
  std::unique_lock lock(myMutex);
  std::cout << "Thread\n";
}

int main()
{
  std::unique_lock lock(myMutex);
  auto c = std::thread(lockMe);
  std::this_thread::sleep_for(std::chrono::seconds(1));
  std::cout << "Main\n";
  myMutex.unlock();
  c.join();
  return 0;
}

谁能解释为什么会这样?

通过创建 std::unique_lock lock(myMutex);,您将向锁定对象授予互斥锁定/解锁控​​制权。如果您在互斥锁仍在 lock 对象的控制下时手动解锁它,您将违反该约束并且 lock 析构函数将执行双重解锁尝试。

它类似于所有 RAII 包装器 - 一旦您将资源控制权授予 RAII 对象,您就不应通过手动处置资源来干扰它。

请注意,std::unique_lock 提供了一种在范围结束之前解锁锁定的互斥锁的方法,不会导致问题:

lock.unlock();