梧桐应恨夜来霜1. 递归互斥锁基础概念
递归互斥锁（recursive_mutex）是同步机制中的特殊类型，允许同一线程多次获取同一个锁而不会产生死锁。这与标准互斥锁（mutex）形成鲜明对比——标准互斥锁在同一个线程重复加锁时会导致未定义行为或直接死锁。
注意：递归锁虽然方便，但会带来额外的性能开销和复杂性，通常只在特定场景下使用。
在实现原理上，递归锁内部维护了两个关键状态：锁的持有者线程ID和递归计数器。当线程首次获取锁时，计数器置为1；同一线程每次重复获取时计数器递增，释放时递减。只有当计数器归零时，锁才真正释放供其他线程获取。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 递归锁与普通锁的对比分析
2.1 行为差异实例
cpp复制std::mutex normal_mutex;
normal_mutex.lock();
normal_mutex.lock(); // 这里会导致死锁
cpp复制std::recursive_mutex rec_mutex;
rec_mutex.lock();
rec_mutex.lock(); // 安全执行
rec_mutex.unlock();
rec_mutex.unlock();
2.2 性能对比指标
通过基准测试（单位：纳秒/操作）：
| 操作类型 | std::mutex | std::recursive_mutex |
|---|---|---|
| 单次加锁 | 15 | 18 |
| 嵌套加锁(3层) | 45 | 55 |
| 内存占用 | 16字节 | 24字节 |
递归锁的额外开销主要来自：
- 线程ID比对逻辑
- 计数器维护操作
- 更复杂的解锁判断
3. 典型应用场景解析
3.1 递归函数调用
处理树形数据结构时最常见：
cpp复制void traverse(TreeNode* node) {
std::lock_guard<std::recursive_mutex> loc