单线程下重复锁同一互斥量，std::scoped_lock能否避免死锁？

关于std::scoped_lock的自死锁问题 #

• 若哈希表桶使用的是不可重入互斥量（如std::mutex），当你尝试用std::scoped_lock同时锁定同一个互斥量两次时，会直接触发自死锁。因为std::mutex不允许同一线程重复获取锁，第二次调用lock()会导致线程阻塞，单线程环境下没有其他线程能解锁，最终陷入永久等待。
• 若桶使用的是可重入互斥量（如std::recursive_mutex），std::scoped_lock可以安全处理重复锁定的情况，不会发生死锁。这类互斥量允许同一线程多次获取锁，只要后续解锁次数与锁定次数匹配即可。

解决lock_guard作用域不足的问题 #

你之前通过if创建第二个lock_guard导致作用域不够的问题，可以用以下两种方案处理：

方案一：用unique_lock实现延迟初始化 #

借助std::unique_lock支持延迟初始化的特性，把锁声明在需要保持锁定的外层作用域：

// 假设bucket1、bucket2是哈希表桶的指针/引用
std::unique_lock<std::mutex> lock1(bucket1->mutex);
std::unique_lock<std::mutex> lock2;

if (bucket1 != bucket2) {
    lock2 = std::unique_lock<std::mutex>(bucket2->mutex);
}

// 此处lock1和lock2（若已初始化）均保持锁定，直到当前作用域结束
// 执行哈希表操作逻辑

方案二：对互斥量去重后使用scoped_lock #

针对C++17及以上版本，先判断两个互斥量是否为同一实例，再分情况用std::scoped_lock管理：

std::mutex* mtx1 = &bucket1->mutex;
std::mutex* mtx2 = &bucket2->mutex;

if (mtx1 == mtx2) {
    std::scoped_lock lock(*mtx1);
    // 执行同一桶的操作
} else {
    std::scoped_lock lock(*mtx1, *mtx2);
    // 执行不同桶的操作
}

这种方式避免了向scoped_lock传入同一互斥量两次的问题，同时保证锁的作用域覆盖整个操作流程。

内容的提问来源于stack exchange，提问作者jaduuuui