c++中如何使用std::scoped_lock同时锁定多个互斥量_c++17用法【详解】_技术教程

std::scoped_lock是C++17引入的多互斥量RAII锁管理器，支持一次性安全锁定多个互斥量并自动避免死锁；它以单一对象统一管理所有锁，构造时调用std::lo
ck保证顺序与异常安全，析构时自动逆序解锁，要求参数均为非const左值引用且类型满足Lockable概念。

std::scoped_lock 是 C++17 引入的多互斥量自动锁管理器

它比 std::lock_guard 更进一步：原生支持同时构造并锁定多个互斥量，且自动避免死锁（内部调用 std::lock），还保证异常安全。不是简单包装多个 std::lock_guard，而是单一 RAII 对象管理全部锁。

基本用法：传入多个互斥量引用即可

构造时直接传入所有要锁定的 std::mutex（或兼容的 Lockable 类型）左值引用，无需手动调用 lock()；析构时自动解锁全部。

std::mutex mtx1, mtx2, mtx3;

void safe_access() {
    std::scoped_lock lock(mtx1, mtx2, mtx3); // 一次性锁定三个
    // 此处 mtx1、mtx2、mtx3 全部已加锁，顺序由 std::lock 决定
    do_something();
} // 自动按加锁逆序解锁（或实现定义的安全顺序）

参数必须是左值引用，不能传临时对象或右值
所有互斥量类型需满足 Lockable 概念（std::mutex、std::shared_mutex 等都满足）
不支持 move-only 的互斥量（如某些自定义类型若禁用了拷贝/复制构造，可能编译失败）

和 std::lock_guard + std::lock 的区别在哪

你**不能**用多个 std::lock_guard 达到同样效果——它们各自独立生命周期，无法协同避免死锁；而 std::scoped_lock 在构造阶段就统一调度加锁顺序。

std::lock(mtx1, mtx2) + 两个 std::lock_guard 手动构造：可行但冗长，且若第一个 lock_guard 构造成功、第二个失败，需手动回滚
std::scoped_lock 把「尝试加锁全部 + 异常安全回退」封装进构造函数，失败则全部未锁定，不会产生部分加锁状态
性能上无明显差异，但 scoped_lock 更简洁、更难出错

常见错误：传递方式不对或类型不匹配

最典型的编译错误是试图传入右值或 const 引用：

// ❌ 错误示例
std::scoped_lock lock(std::mutex{}, mtx2); // 临时对象，无法绑定非 const lvalue 引用
std::scoped_lock lock(const_cast(mtx1), mtx2); // const 引用不满足 Lockable 要求