std::scoped_lock通过原子性获取多个互斥量并统一加锁顺序，有效避免死锁；相比仅支持单锁的std::lock_guard，它在多锁场景下更安全可靠。
在C++多线程编程中，保护共享数据通常需要使用互斥量（mutex）。std::lock_guard 是最基础的RAII锁管理工具，而 std::scoped_lock 则是对它的功能增强，尤其在处理多个互斥量时展现出明显优势。本文将讲解二者区别、多锁管理中的死锁问题，以及 std::scoped_lock 如何帮助预防死锁。
基本用法对比：std::lock_guard 与 std::scoped_lock
std::lock_guard 只能管理单个互斥量，构造时加锁，析构时解锁，是简单的RAII封装：
std::mutex mtx;<br>std::lock_guard<std::mutex> lock(mtx); // 自动加锁，作用域结束自动释放
而 std::scoped_lock 支持同时锁定多个互斥量，并保证原子性地获取所有锁，避免中间状态导致的死锁：
立即学习“C++免费学习笔记（深入）”；
std::mutex mtx1, mtx2;<br>std::scoped_lock lock(mtx1, mtx2); // 同时安全地锁定两个互斥量
注意：从 C++17 开始，std::scoped_lock 被引入，支持可变参数模板，使得多锁管理变得简洁且安全。
多线程中死锁的常见场景
当多个线程以不同顺序尝试获取多个互斥量时，容易发生死锁。例如：
- 线程A先锁 mtx1，再尝试锁 mtx2
- 线程B先锁 mtx2，再尝试锁 mtx1
若两者几乎同时执行，可能形成循环等待：A持有mtx1等mtx2，B持有mtx2等mtx1 —— 死锁发生。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
根本原因在于：锁的获取顺序不一致，且没有全局协调机制。
std::scoped_lock 的核心优势：避免死锁
std::scoped_lock 在构造时会使用一种称为“**死锁避免算法**”（由 std::lock 实现）的技术，原子性地获取所有传入的互斥量。这意味着：
- 不会出现只锁住部分互斥量的情况
- 内部使用 std::lock() 函数，该函数采用系统级策略（如按地址排序）统一加锁顺序
- 确保多个线程即使传入顺序不同，实际加锁顺序也一致，从而避免死锁
示例说明：
std::mutex mtx_a, mtx_b;
线程1：std::scoped_lock lock(mtx_a, mtx_b);
线程2：std::scoped_lock lock(mtx_b, mtx_a);
尽管传入顺序相反，std::scoped_lock 内部会通过 std::lock 协调，按统一顺序（如地址从小到大）加锁，因此不会死锁。
何时使用 scoped_lock 替代 lock_guard
建议在以下情况优先使用 std::scoped_lock：
- 需要同时锁定两个或以上互斥量
- 无法保证所有线程以相同顺序加锁
- 希望代码更安全、可维护性强，减少人为错误
即使只锁一个互斥量，std::scoped_lock 也能工作，但通常仍推荐使用 std::lock_guard 以明确语义。多锁场景才是 scoped_lock 的主战场。
基本上就这些。std::scoped_lock 不仅提供了语法上的便利，更重要的是它集成了死锁预防机制，让多线程编程更安全。合理使用它，可以大幅降低并发程序中死锁的风险。
