std::scoped_lock是C++17引入的RAII锁管理工具，自动按地址顺序加锁以避免死锁，支持任意数量兼容BasicLockable的互斥量，构造即全锁、析构即全解锁，简洁安全且强异常安全。
std::scoped_lock 是 C++17 引入的轻量级 RAII 工具，用于安全、自动地管理一个或多个互斥锁（如 std::mutex、std::recursive_mutex 等），它能避免死锁并简化代码。
自动规避死锁：按地址顺序加锁
当传入多个互斥量时，std::scoped_lock 会内部按对象地址升序排序，然后依次调用 lock() —— 这保证了所有线程以相同顺序获取锁，从根本上防止因加锁顺序不一致导致的死锁。
你不需要手动排序或关心锁的顺序，只要把它们一起传进去即可：
std::mutex m1, m2, m3;// 安全：内部自动按地址顺序加锁std::scoped_lock lock(m1, m2, m3); // ✅ 不会死锁
支持任意数量和类型的兼容互斥量
只要类型满足 BasicLockable 要求（即提供 lock()/unlock()/try_lock()），就可混用。例如：
立即学习“C++免费学习笔记（深入）”；
多个 std::mutex std::mutex + std::recursive_mutex std::timed_mutex（但注意：若含 timed_mutex，所有锁都需支持 try_lock_for/try_lock_until；否则编译失败）
不支持 std::shared_mutex（因其 lock() 非无异常，且接口不完全匹配 BasicLockable）。
比 std::lock + std::lock_guard 更简洁
以前常用 std::lock 配合多个 std::lock_guard，写法冗长且易出错：
// 旧方式（C++11）std::lock(m1, m2);std::lock_guard g1(m1, std::defer_lock);std::lock_guard g2(m2, std::defer_lock);
而 std::scoped_lock 一行搞定，自动管理生命周期，离开作用域自动 unlock：
{ std::scoped_lock lock(m1, m2); // 构造即加锁，析构即解锁 // 临界区操作...} // ✅ 自动释放 m1 和 m2
不能延迟加锁，也不支持手动释放
std::scoped_lock 没有 defer_lock 构造选项，也不提供 unlock() 方法 —— 它的设计哲学是“全有或全无”：构造成功则全部已加锁，析构时全部释放。
如果需要延迟加锁或分步控制，应改用 std::unique_lock。
注意：构造时若任一锁抛异常（如被 interrupt 或系统资源不足），已加锁的其他互斥量会自动回滚释放，保证强异常安全。
基本上就这些。用 std::scoped_lock 管理多锁，既安全又干净，是 C++17 多线程编程的推荐实践。
以上就是C++如何使用std::scoped_lock管理多个互斥锁？（C++17）的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1489551.html
微信扫一扫 
支付宝扫一扫 
