《C++ Concurrency in Action》笔记13 std::recursive_mutex

对于一个std::mutex对象，如果你已经锁定它了，那么在unock()之前你就不可以再次对他执行lock()函数。但在有些情况下，可能希望在解锁前多次锁定一个mutex。对于这种情况，C++标准库提供了std::recursive_mutex。他与std::mutex用法一样，除了可以在一个线程中多次lock一个recursive_lock。但是它要求，在其他线程使用这个lock前，你必须保证使用的lock次数和unlock的次数是一样的。对于这点，正确使用std::lock_guard<std::recursive_mutex>和unique_lock<std::recursive_mutex>可以达到目的。

通常情况下，如果你想要使用std::recursive_mutex，都要改变程序的设计。一种常见的情况是，一个类需要保护共享数据，所有的公有函数都锁定一个mutex。但有时候一个公有函数需要调用另一个公有函数，这样，另一个公有函数也需要去锁定mutex，这会导致重复锁定同一个mutex，产生未定义行为。一种投机取巧的办法是将mutex换成std::recursive_mutex，使得另一个函数可以毫无顾忌的执行锁定操作。

但是，这种做法是不提倡的。因为这是一种草率的做法、不成熟的设计。保持一个锁状态去意味着类的稳定性被破坏了，也就是说第二个公有函数是在类的稳定性被破坏的前提下被调用的。更好的做法是，提取出一个被两个个公有函数调用的私有函数，这个私有函数无需锁定mutex。