std::scoped_lock是C++17引入的RAII工具,用于自动、安全地同时锁定多个互斥量,内置死锁规避机制,构造时加锁、析构时解锁,仅支持BasicLockable类型且不可拷贝或移动。

std::scoped_lock 是 C++17 引入的轻量级 RAII 工具,用来**自动、安全地同时锁定多个互斥量(mutex)**,避免死锁,也省去手动 unlock 的麻烦。
为什么不用 std::lock_guard?
std::lock_guard 只支持单个互斥量;若需锁多个,得自己调用 std::lock + lock_guard(带 defer_lock),容易出错。而 scoped_lock 内置了死锁规避策略——它会按**未定义但一致的内部顺序**对多个 mutex 调用 std::lock,保证所有线程以相同顺序加锁,从根本上防止循环等待。
- 不支持 move,只支持 copy(但实际是 deleted,即不可拷贝也不可移动)
- 构造即加锁,析构自动解锁,异常安全
- 支持任意数量的互斥类型(只要都满足 BasicLockable 要求)
基本用法:一次锁多个 mutex
最常见场景:保护共享数据结构中多个独立资源,比如两个容器、两个计数器。
std::mutex mtx1, mtx2;
int counter1 = 0, counter2 = 0;
void increment_both() {
std::scoped_lock lock(mtx1, mtx2); // 自动按安全顺序加锁
++counter1;
++counter2;
} // 离开作用域,自动解锁 mtx1 和 mtx2
注意:括号里传的是 mutex 对象(左值),不是指针或引用;它内部会完美转发并调用 std::lock。
立即学习“C++免费学习笔记(深入)”;
和 std::unique_lock 配合?一般不用
scoped_lock 设计目标就是“简单锁多把,立刻用完”。如果你需要延迟加锁、条件变量配合、或转移锁所有权,该用 std::unique_lock。scoped_lock 不提供 try_lock、unlock 或 release 接口——它只做一件事:构造时锁住全部,析构时全放掉。
- 需要超时?→ 用 std::unique_lock + try_lock_for
- 要和 std::condition_variable 一起用?→ 必须用 unique_lock
- 只是保护一段临界区且涉及多个 mutex?→ scoped_lock 最干净
小心:别传同一个 mutex 多次
虽然语法上允许(比如 scoped_lock{mtx, mtx}),但行为未定义(可能死锁或抛 system_error)。编译器不会报错,运行时可能卡住。确保传入的每个实参都是**不同对象的左值引用**。
如果逻辑上真要“重复保护”,说明设计有问题——应检查是否真需要多把锁,或考虑用单一粗粒度锁 + 更好的数据划分。
基本上就这些。scoped_lock 不复杂但容易忽略它的适用边界:它不是万能锁,而是专为“多锁 + 简单临界区”而生的现代替代方案。











