c++ - 确保当前线程持有 C++11 互斥锁

Question

有没有办法判断 C++11 中的当前线程是否持有互斥锁？特别是我想确保类中的某些函数仅在调用线程持有锁时被调用(通过 std::lock_guard、std::unique_lock 或类似的东西)对于对象，std::mutex 是一个成员变量。

为了避免在对象被广泛使用时重复锁定和解锁，锁定mutex的责任需要由调用者负责，不能在每个单独的函数中，如果当前当调用这些函数中的任何一个时，线程没有锁定 mutex，我想抛出异常。

看来我不能只使用 std::try_lock 然后根据需要进行解锁，因为如果当前线程 std::try_lock 的行为是未定义的已经持有锁。

Answer 1

我建议这样做的方法是让只能在持有互斥锁时调用的函数引用 std::unique_lock 或 std::lock_guard。在 unique_lock 的情况下，您可能还想断言它实际上持有锁。

这将利用编译器来执行您的要求。

大概这些函数是您的类的内部/私有(private)函数，并且您有面向用户的函数获取锁然后调用这些函数。如果是这样，有一个额外的参数不会污染面向用户的 API。

沿着这些线的东西:

// public
void A::public_function() {
   std::lock_guard<std::mutex> l(m_mutex);
   // ... do stuff
   b(l);
   // ... do more stuff
}

// private
void A::b(std::lock_guard const& l) {
   // ... do stuff that requires holding the mutex
}

如果需要使用unique_lock相反，只需断言 l.owns_lock() 在您的函数中为真(以防您想要抛出异常)。

我对递归互斥锁的经验是，它们很容易让你不认真对待你的锁策略和所有权。而且他们以后可能会咬你。参见 this发布。