C++中的std::scoped_lock怎么用？C++17多互斥锁安全管理【并发编程】

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++免费学习笔记（深入）”；

标签： 工具 ai c++ 并发编程 作用域 为什么 asic