std::scoped_lock是C++17引入的安全简洁的多互斥量自动锁管理工具，按全局一致顺序加锁防死锁，构造原子性保证异常安全，不支持手动解锁。
std::scoped_lock 是 C++17 引入的工具，用来**安全、简洁地同时锁定多个互斥量（mutex）**，并保证在作用域结束时自动释放所有锁——无论是否发生异常。它本质上是 std::lock_guard 的多锁升级版，解决了手动调用 std::lock + 多个 std::lock_guard 的繁琐和易错问题。
避免死锁：自动按唯一顺序加锁
当需要锁住多个互斥体时，如果不同线程以不同顺序加锁（比如线程 A 先锁 mtx1 再锁 mtx2，线程 B 反过来），就极易引发死锁。std::scoped_lock 内部调用 std::lock，后者会使用“避免死锁算法”（如尝试不同顺序或回退重试），确保所有互斥量被以**全局一致的内部顺序**获取，从而从机制上杜绝该类死锁。
你不需要关心哪个 mutex 先锁、哪个后锁，传进去就行：
std::mutex mtx1, mtx2, mtx3;
{
std::scoped_lock lock(mtx1, mtx2, mtx3); // 安全！自动防死锁
// 访问共享资源...
} // 自动解锁全部
异常安全：一次构造，全程保障
传统写法中，若用多个 std::lock_guard，中间某个构造失败（比如第二个 mutex 被占用且不支持超时），前面已成功的锁不会自动回滚，容易导致资源泄漏或状态不一致。std::scoped_lock 的构造函数是原子性的：要么全部成功锁定，要么一个都不锁（抛出异常前不持有任何锁）。
立即学习“C++免费学习笔记（深入）”；
这意味着：
- 即使某 mutex 不可立即获取（且未指定策略），它也不会部分加锁；
- 任意位置 throw 异常，析构函数仍能正确释放已持锁（实际因构造失败，根本没持锁）；
- 无需手动 try-catch 或 cleanup 逻辑。
比 std::lock_guard + std::lock 更简洁清晰
对比 C++11 的经典多锁写法：
// C++11 风格（冗长且易漏） std::lock(mtx1, mtx2); std::lock_guard<std::mutex> g1(mtx1, std::defer_lock); std::lock_guard<std::mutex> g2(mtx2, std::defer_lock); // 忘记 defer_lock？可能立刻阻塞或报错
std::scoped_lock 把「加锁」和「守卫」合二为一，语义明确、代码紧凑：
std::scoped_lock lock(mtx1, mtx2); // 一行搞定，意图清晰
它还支持任意数量的可锁定类型（只要满足 Lockable 概念），包括 std::recursive_mutex、自定义锁类型等。
不支持延迟锁定或手动解锁
std::scoped_lock 是 RAII 封装，设计目标就是“构造即锁、析构即放”。它没有 unlock() 或 try_lock() 成员函数，也不接受 std::defer_lock 等标记。如果你需要更精细的控制（例如先尝试加锁、失败则跳过），应改用 std::unique_lock 配合 std::lock 或 std::try_lock。
简言之：要简单、安全、自动的多锁 → 用 scoped_lock；要灵活、可转移、可手动管理 → 用 unique_lock。
