死锁最常见于多线程按不同顺序获取同一组互斥锁，如线程A持mutex_a等mutex_b、线程B持mutex_b等mutex_a；应统一加锁顺序、用std::scoped_lock原子加锁、std::try_lock配合重试，或借助TSan及有序锁包装器检测。
死锁发生的典型场景：多个线程按不同顺序获取同一组互斥锁
最常见死锁不是因为锁没释放，而是因为线程 A 持有 mutex_a 并等待 mutex_b，而线程 B 持有 mutex_b 并等待 mutex_a。C++ 标准库不自动检测或中断这种等待，程序会永久挂起。
实操建议：
- 所有线程必须以**全局一致的顺序**获取多个锁，例如始终先锁 ID 小的
std::mutex，再锁 ID 大的；可对锁指针做std::less比较后统一排序 - 避免在持有锁期间调用可能阻塞或间接申请其他锁的函数（如
std::cout、自定义日志函数、虚函数调用） - 不要跨作用域传递裸
std::mutex*或std::mutex&，容易导致加锁顺序失控
用 std::scoped_lock 替代多个 std::lock_guard 手动加锁
std::scoped_lock 是 C++17 引入的工具，它能在构造时原子性地获取多个互斥量，内部使用“死锁避免算法”（如尝试加锁 + 退避重试），天然规避加锁顺序问题。
对比示例：
立即学习“C++免费学习笔记（深入）”；
// ❌ 危险：手动加锁顺序不一致易引发死锁 std::lock_guard<std::mutex> g1(mtx_a); std::lock_guard<std::mutex> g2(mtx_b); // 若另一处反着写，就死锁 // ✅ 安全：一次性加锁，无序依赖 std::scoped_lock lock(mtx_a, mtx_b); // 内部自动排序并加锁
注意：std::scoped_lock 要求所有参数类型支持可比较（std::mutex 满足），且不能是 std::recursive_mutex（除非显式指定策略）。
运行时检测：用 std::try_lock + 超时 + 回退逻辑主动防死锁
当无法保证加锁顺序（如模块解耦、插件系统），可用 std::try_lock 非阻塞尝试获取多个锁。失败时不卡住，而是释放已持锁并重试或报错。
关键点：
-
std::try_lock返回 -1 表示某锁已被占用，其余锁若已成功获取需手动unlock() - 搭配
std::chrono::steady_clock实现有限次重试，避免活锁 - 不要用
std::timed_mutex::try_lock_for单独判断——它只管一个锁，无法协调多个锁的原子性
简例：
for (int i = 0; i < 3; ++i) {
auto result = std::try_lock(mtx_a, mtx_b);
if (result == -1) {
std::this_thread::sleep_for(1ms); // 短暂退让
continue;
}
// 成功获得全部锁，执行临界区
return;
}
throw std::runtime_error("Failed to acquire locks after retries");
调试阶段启用锁顺序断言：借助 std::mutex 包装器或 sanitizer
Clang/GCC 的 ThreadSanitizer（TSan）能捕获潜在的锁顺序反转，但需编译时加 -fsanitize=thread 并禁用优化（-O0）。它不会阻止死锁发生，但会在复现路径中报告“potential deadlock due to inconsistent lock ordering”。
更轻量的方式是自定义带序号的锁包装器：
struct ordered_mutex {
std::mutex mtx;
const int order_id;
static thread_local int last_acquired = -1;
void lock() {
if (order_id <= last_acquired) {
std::cerr << "Lock order violation: " << last_acquired << " then " << order_id << "\n";
std::terminate();
}
mtx.lock();
last_acquired = order_id;
}
void unlock() { mtx.unlock(); last_acquired = -1; }
};
这种检查只在 debug 构建中启用，上线前应移除或关闭。
真正难排查的是嵌套调用链中的隐式锁依赖，比如 A 函数锁 X 后调用 B，B 又锁 Y —— 这类依赖必须靠代码审查+调用图分析，工具很难覆盖。
