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::shared_mutex(因其 lock() 非无异常,且接口不完全匹配 BasicLockable)。
以前常用 std::lock 配合多个 std::lock_guard,写法冗长且易出错:
// 旧方式(C++11) std::lock(m1, m2); std::lock_guard<std::mutex> g1(m1, std::defer_lock); std::lock_guard<std::mutex> 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)的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号