C++ 解决多线程死锁风险的 std::lock 与 std::scoped_lock 选型与对比分析【干货】-C++-PHP中文网

std::lock不能自动释放锁，因为它只负责一次性获取多个互斥量且不持有锁对象、不管理生命周期；必须配合std::unique_lock（传defer_lock）手动确保每把锁的正确加锁与异常安全释放，而C++17起应优先使用RAII完备的std::scoped_lock。

c++ 解决多线程死锁风险的 std::lock 与 std::scoped_lock 选型与对比分析【干货】

std::lock 为什么不能自动释放锁

std::lock 只负责「一次性获取多个互斥量」，它本身不持有任何锁对象，也不管理生命周期。调用后你得自己用 std::unique_lock 或 std::lock_guard 分别包裹每个 std::mutex，否则一旦中间出异常或忘记 unlock，就可能漏释放。

常见错误现象：std::lock(m1, m2) 成功了，但后续某步抛异常，m1 已 lock、m2 没 lock，而你只对 m2 做了 lock_guard ——结果 m1 永远卡住。

实操建议：

必须配合 std::unique_lock（不能用 std::lock_guard，因后者不支持 defer_lock）
每把锁都要显式传入 std::defer_lock 构造，再统一 std::lock
异常安全依赖你手动写 try/catch 或确保所有路径都 unlock，容易漏

std::scoped_lock 是 C++17 起的真正替代方案

std::scoped_lock 是 std::lock_guard 的多锁升级版：构造时自动调用 std::lock，析构时自动 release 所有锁，RAII 完全闭环。

使用场景：只要需要同时锁两个及以上 std::mutex、std::shared_mutex 或任意兼容 Lockable 类型，就该无脑选它。

示例对比：

std::mutex m1, m2;
// ❌ 手动 std::lock + unique_lock（冗长且易错）
std::unique_lock<:mutex> lk1(m1, std::defer_lock);
std::unique_lock<:mutex> lk2(m2, std::defer_lock);
std::lock(lk1, lk2); // 注意：这里要传 lk，不是 m1/m2

// ✅ std::scoped_lock（简洁、异常安全、一行搞定）
std::scoped_lock lk(m1, m2);</:mutex></:mutex>

注意：std::scoped_lock 不接受运行时数量的锁（比如 vector），必须编译期确定个数。

性能与兼容性差异其实可以忽略

两者底层都用相同死锁规避算法（如按地址排序尝试 lock），实际耗时几乎一致。差别主要在代码维护成本上。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

参数差异：

std::lock 接受任意数量 Lockable 对象的左值引用，但不管理其生命周期
std::scoped_lock 模板参数推导锁类型，构造函数转发参数，支持 std::defer_lock 等标记，但不支持 move-only 的锁类型（如某些自定义锁）
C++14 及以前只能用 std::lock + unique_lock 组合

如果你项目已用 C++17+，没理由继续手写 std::lock 配套逻辑——多写三行、少查一次死锁，不划算。