RAII：互斥量

最新推荐文章于 2023-06-23 21:23:36 发布

liuxuejiang158

最新推荐文章于 2023-06-23 21:23:36 发布

阅读量1.8k

点赞数

CC 4.0 BY-SA版权

分类专栏： Linux多线程编程 Linux多线程编程C++ 文章标签： RAII互斥量

本文链接：https://blog.youkuaiyun.com/liuxuejiang158blog/article/details/13169359

Linux多线程编程同时被 2 个专栏收录

28 篇文章

订阅专栏

Linux多线程编程C++

25 篇文章

订阅专栏

本文深入探讨了RAII（资源获取即初始化）技术的基本原理，通过实例展示了如何使用RAII来有效管理资源，确保资源在对象生命周期内得到正确处理。重点介绍了在不同异常情况下，RAII机制如何自动释放资源，避免资源泄露。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

RAII(资源获取即初始化)基本技术原理很简单，如果希望保持对某个重要资源的跟踪，那么创建一个对象，并将资源的生命期和对象的生命期相关联。这样的话，就可以利用c++复杂老练的对象管理机制来管理资源。最简单的形式是，当你构造一个对象的时候，其构造对象会获得一份资源，而析构函数则释放这份资源。采用对象管理资源，即使碰到意外的return、异常(C++保证如果抛出了异常，局部对象就会被销毁)甚至是邪恶的goto，均可以释放资源。

#include<iostream>
#include<exception>
#include<pthread.h>
#include<unistd.h>
#include<string>
#include<boost/noncopyable.hpp>
using namespace std;
using namespace boost;
class Mutex:noncopyable{
    public:
        Mutex(){
            pthread_mutex_init(&mutex,NULL);
        }
        void lock() const{
            pthread_mutex_lock(&mutex);
        }
        void unlock() const{
            pthread_mutex_unlock(&mutex);
        }
        ~Mutex(){
            cout<<"Mutex::unlock"<<endl;
            pthread_mutex_destroy(&mutex);
        }
    private:
        mutable pthread_mutex_t mutex;
};
class MutexLockGuard:noncopyable{
    public:
        explicit MutexLockGuard(Mutex& mutex):mutex_(mutex){//显示构造
            mutex_.lock();
        }
        ~MutexLockGuard(){
            mutex_.unlock();
        }
    private:
        Mutex& mutex_;//注意这里是引用！
};
Mutex mutex;
pthread_mutex_t mutex_=PTHREAD_MUTEX_INITIALIZER;
void fun(){
    pthread_mutex_lock(&mutex_);
    MutexLockGuard lock(mutex );//这里开始时犯了一个错误MutexLockGuard(mutex)...汗
    throw 1;
    pthread_mutex_unlock(&mutex_);
    cout<<"pthread_mutex_unlock"<<endl;//由于抛出异常该句不执行，可见某些情况让lock和unlock不配对
}
int main(){
    try{//throw抛出异常时会清理该块内的对象
        fun();
    }catch(int &temp){//catch会将将抛出的异常对象复制拷贝，如果catch参数是传值的，则拷贝构造一个新的对象作为catch语句的参数的值。在该catch语句结束时，先析构catch的传值的参数对象，然后析构throw语句抛出的异常对象。引用参数是为了效率。throw抛出的异常对象和catch实行严格匹配，不允许类型转换。
        cout<<"异常对象:"<<temp<<endl;
    }
    return 0;
}

执行结果：

异常对象:1
Mutex::unlock