【C++11】【锁】C++11中的 std::lock_guard和std::unique_lock的差别

news/2024/6/29 11:48:59 标签: cpp, 指针, , c++11

@ 转载
看着这个老哥写的不错悄悄转过来

lock_guard

std::lock_guard使用起来比较简单,其在构造函数中对std::mutex变量进行定,在其析构函数中对std::mutex变量进行解,整个类没有对mutex进行解和加的对外接口,其源码如下:

template <class _Mutex>
class _LIBCPP_TYPE_VIS_ONLY lock_guard
{
public:
    typedef _Mutex mutex_type;
private:
    mutex_type& __m_;
public:
    _LIBCPP_INLINE_VISIBILITY
    explicit lock_guard(mutex_type& __m)
        : __m_(__m) {__m_.lock();}
    _LIBCPP_INLINE_VISIBILITY
    lock_guard(mutex_type& __m, adopt_lock_t)
        : __m_(__m) {}
    _LIBCPP_INLINE_VISIBILITY
    ~lock_guard() {__m_.unlock();}
private:
    lock_guard(lock_guard const&);// = delete;
    lock_guard& operator=(lock_guard const&);// = delete;
};

使用方法如下:

cpp">std::mutex g_mutex;
int g_var = 0;
void test_guard()
{
    std::lock_guard<std::mutex> guard(g_mutex);
    g_var ++;
}

unique_lock

unique_lock相比lock_guard,功能要多很多,其提供了对mutex的加(lock和try_lock)和解(unlock)操作,同时可以配合条件变量condition_variable使用:

cpp">template <class _Mutex>
class _LIBCPP_TYPE_VIS_ONLY unique_lock
{
public:
    typedef _Mutex mutex_type;
private:
    mutex_type* __m_;
    bool __owns_;
public:
    _LIBCPP_INLINE_VISIBILITY
    unique_lock() _NOEXCEPT : __m_(nullptr), __owns_(false) {}
    _LIBCPP_INLINE_VISIBILITY
    explicit unique_lock(mutex_type& __m)
        : __m_(&__m), __owns_(true) {__m_->lock();}
    _LIBCPP_INLINE_VISIBILITY
    unique_lock(mutex_type& __m, defer_lock_t) _NOEXCEPT
        : __m_(&__m), __owns_(false) {}
    _LIBCPP_INLINE_VISIBILITY
    unique_lock(mutex_type& __m, try_to_lock_t)
        : __m_(&__m), __owns_(__m.try_lock()) {}
    _LIBCPP_INLINE_VISIBILITY
    unique_lock(mutex_type& __m, adopt_lock_t)
        : __m_(&__m), __owns_(true) {}
    template <class _Clock, class _Duration>
    _LIBCPP_INLINE_VISIBILITY
        unique_lock(mutex_type& __m, const chrono::time_point<_Clock, _Duration>& __t)
            : __m_(&__m), __owns_(__m.try_lock_until(__t)) {}
    template <class _Rep, class _Period>
    _LIBCPP_INLINE_VISIBILITY
        unique_lock(mutex_type& __m, const chrono::duration<_Rep, _Period>& __d)
            : __m_(&__m), __owns_(__m.try_lock_for(__d)) {}
    _LIBCPP_INLINE_VISIBILITY
    ~unique_lock()
    {
        if (__owns_)
            __m_->unlock();
    }
private:
    unique_lock(unique_lock const&); // = delete;
    unique_lock& operator=(unique_lock const&); // = delete;
public:
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
    _LIBCPP_INLINE_VISIBILITY
    unique_lock(unique_lock&& __u) _NOEXCEPT
        : __m_(__u.__m_), __owns_(__u.__owns_)
        {__u.__m_ = nullptr; __u.__owns_ = false;}
    _LIBCPP_INLINE_VISIBILITY
    unique_lock& operator=(unique_lock&& __u) _NOEXCEPT
        {
            if (__owns_)
                __m_->unlock();
            __m_ = __u.__m_;
            __owns_ = __u.__owns_;
            __u.__m_ = nullptr;
            __u.__owns_ = false;
            return *this;
        }
#endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
    void lock();
    bool try_lock();
    template <class _Rep, class _Period>
        bool try_lock_for(const chrono::duration<_Rep, _Period>& __d);
    template <class _Clock, class _Duration>
        bool try_lock_until(const chrono::time_point<_Clock, _Duration>& __t);
    void unlock();
    _LIBCPP_INLINE_VISIBILITY
    void swap(unique_lock& __u) _NOEXCEPT
    {
        _VSTD::swap(__m_, __u.__m_);
        _VSTD::swap(__owns_, __u.__owns_);
    }
    _LIBCPP_INLINE_VISIBILITY
    mutex_type* release() _NOEXCEPT
    {
        mutex_type* __m = __m_;
        __m_ = nullptr;
        __owns_ = false;
        return __m;
    }
    _LIBCPP_INLINE_VISIBILITY
    bool owns_lock() const _NOEXCEPT {return __owns_;}
    _LIBCPP_INLINE_VISIBILITY
    _LIBCPP_EXPLICIT
        operator bool () const _NOEXCEPT {return __owns_;}
    _LIBCPP_INLINE_VISIBILITY
    mutex_type* mutex() const _NOEXCEPT {return __m_;}
};

unique_lock和lock_guard的区别

简单的说,unique_lock相对于lock_guard,会有更多特性。

  1. unique_lock和lock_guard都遵循RAII。

  2. unique_lock和lock_guard最大的不同是:unique_lock不需要始终拥有关联的mutex,而lock_guard始终拥有mutex。

这意味着unique_lock需要利用owns_lock()判断是否拥有mutex。
另外,如果要结合使用条件变量,应该使用unique_lock。

参考[StackOverflow]


http://www.niftyadmin.cn/n/729095.html

相关文章

剑指 Offer 25-----合并两个排序的链表

剑指 Offer 25-----合并两个排序的链表1. 递归2. 迭代输入两个递增排序的链表&#xff0c;合并这两个链表并使新链表中的节点仍然是递增排序的。 示例1&#xff1a; 输入&#xff1a;1->2->4, 1->3->4 输出&#xff1a;1->1->2->3->4->4限制&…

jQuery快速上手

这份指南是对jQeury库的介绍&#xff0c;它需要对JavaScript和文档对象模型(DOM)有基本的了解。它从零开始讲解并解释必要的细节。 该指南讲到了一个简单的hello world例子&#xff0c;selector和event基础&#xff0c;AJAX&#xff0c;FX以及使用和创作plugins。 这份指南不包…

C++11 自旋锁简单实现

C11 自旋锁简单实现前言一、自旋锁1.自旋锁实现2.测试前言 提示&#xff1a;todo 提示&#xff1a;以下是本篇文章正文内容&#xff0c;下面案例可供参考 一、自旋锁 1.自旋锁实现 自旋锁简单实现代码如下&#xff1a; class SpinlLock{atomic_flag flg;public:void lock…

14---最长公共前缀

14---最长公共前缀编写一个函数来查找字符串数组中的最长公共前缀。 如果不存在公共前缀&#xff0c;返回空字符串 “”。 示例 1&#xff1a; 输入&#xff1a;strs ["flower","flow","flight"] 输出&#xff1a;"fl"示例 2&#…

【『茴』的四种写法】 C++11 map和unordered_map遍历方法

map和unordered_map的遍历方法是相同的&#xff0c;不过遍历结果&#xff0c;map是有序的&#xff0c;unoredred_map遍历是无序的。 std:map 是个有序的关系容器&#xff0c;其完整原型如下&#xff1a; template<class Key,class T,class Comparestd::less<Key>,cla…

实战Mule:利用Mule调用XFire发布的Web服务

[b]下载和安装XFire和Mule[/b] 参考[url]http://hideto.iteye.com/blog/59750[/url]和[url]http://hideto.iteye.com/blog/64742[/url]对XFire和Mule的介绍 本文例子也以上述两篇文章的例子为背景。[b]利用XFire发布一个Web服务BookService[/b] 在Eclipse里新建项目webservice&…

静态库和动态库的区别

静态库和动态库的区别 1. 什么是库2. 静态库3. Linux下创建与使用静态库4. 动态库5. 总结1. 什么是库 库是写好的&#xff0c;现有的&#xff0c;成熟的&#xff0c;可以复用的代码。现实中每个程序都要依赖很多基础的底层库&#xff0c;不可能每个人的代码都从零开始&#xff…

【c++】熟悉c++的标准

【转载&#xff1a;Star.E】 熟悉C标准 知道目的才能找到脚下的路。 挺认可知乎上一个博主的说法&#xff1a; 需要多年时间锻炼出肌肉记忆&#xff1a; c03&#xff1a;主要是c&#xff0c;虚函数&#xff0c;继承&#xff0c;stl的容器。不需要懂实现。c11&#xff1a;R…