本文详细介绍了C++ STL中用于多线程同步的工具，包括mutex、recursive_mutex、lock_guard、unique_lock、scope_lock、condition_variable以及call_once。重点讨论了它们的使用场景、特点和操作方式，例如lock_guard的自动解锁、unique_lock的灵活性以及scope_lock对多个mutex的加锁管理。同时，提到了condition_variable在实现通知/等待逻辑中的作用和call_once在确保代码只执行一次的场景下如何工作。
1. mutex/recursive_mutex
最基础的同步工具，需要手动lock/unlock，一般不直接使用，特别对于不可预期的异常情况，可能会导致mutex不能释放
2. std::lock_guard/std::unique_lock/std::scope_lock
lock_guard/unique_lock有些相似，都是在构造中对mutex加锁，析构时释放。不过相对于lock_guard,unique_lock有更多的构造函数重载，所以功能相对强大一些。
先看lock_guard:
std::lock_guard - cppreference.com
lock_guard( mutex_type& m, std::adopt_lock_t t );
lock_guard只有一个重载构造， std::adopt_lock_t，表明lock_guard拥有了mutex的所有权，会再lock_gurad析构时解锁，所以要再构造之前确保mutex在当前线程已经lock。
lock_guard( const lo
最低0.47元/天 解锁文章
1572
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
