C++多线程中如何实现可重入的互斥锁-C++-PHP中文网

c++标准库中可重入互斥锁是std::recursive_mutex；它支持同一线程多次加锁，内部维护持有计数和线程id，而std::mutex不可重入，重复lock会导致未定义行为。

c++多线程中如何实现可重入的互斥锁

可重入互斥锁在 C++ 标准库中不存在

标准 C++ 的 std::mutex 和 std::recursive_mutex 都是线程安全的，但只有 std::recursive_mutex 支持同一线程多次加锁——它就是 C++ 标准提供的「可重入互斥锁」。很多人误以为 std::mutex 可重入，实际不是：同一线程重复调用 lock() 会导致未定义行为（通常是死锁或程序终止）。

std::mutex：不可重入，轻量，性能略优，适用于明确无递归调用场景
std::recursive_mutex：可重入，内部维护持有计数和持有线程 ID，开销稍大，但语义安全
POSIX 的 PTHREAD_MUTEX_RECURSIVE 或 Windows 的 CRITICAL_SECTION 也属可重入，但 C++ 应优先用标准类型

std::recursive_mutex 的正确用法与常见错误

用错的关键往往不在声明，而在生命周期管理和异常安全。它不像 std::mutex 那样“容易 forgiving”，一旦忘记匹配解锁或提前 return，极易引发后续加锁失败。

C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。

下载

必须成对使用 lock()/unlock()，或更推荐用 std::lock_guard<:recursive_mutex></:recursive_mutex> / std::unique_lock<:recursive_mutex></:recursive_mutex> 管理作用域
不能跨线程转移所有权：std::unique_lock 可移动，但移动后原对象变为未持有状态；std::lock_guard 不可移动，也不可复制
若函数 A 调用 B，两者都尝试加同一把 std::recursive_mutex，B 中抛异常未 catch，而 A 的 guard 已析构，则无问题；但如果手动 lock() 后没配对 unlock()，就会卡住

示例错误写法：

void bad_func() {
    mtx.lock();  // 第一次
    if (cond) return;  // 忘了解锁！
    mtx.lock();  // 第二次
    // ...
    mtx.unlock(); mtx.unlock();
}

性能差异真的值得担心吗？

在绝大多数业务逻辑中，std::recursive_mutex 的额外开销（多一次线程 ID 比较、计数器增减）可以忽略。只有在极高频（纳秒级）临界区且确定无递归调用时，才值得为省几个周期换 std::mutex。

典型 x86-64 下，std::recursive_mutex::lock() 比 std::mutex::lock() 慢约 5–15 纳秒（取决于是否已持有）
真正影响性能的是临界区长度，而不是锁类型本身；过长的临界区下，换锁类型毫无意义
如果怀疑瓶颈在此，先用 profiler（如 Linux 的 perf 或 VTune）确认，不要凭直觉替换