浅析 C++ 之 RAII
1.什么是RAII 技术?(参见百度百科相关条目)
RAII(Resource Acquisition Is Initialization)是一种利用对象生命周期来控制程序资源(如内存、文件句柄、网络连接、互斥量等等)的简单技术。
RAII 的一般做法是这样的:在对象构造时获取资源,接着控制对资源的访问使之在对象的生命周期内始终保持有效,最后在对象析构的时候释放资源。借此,我们实际上把管理一份资源的责任托管给了一个对象。这种做法有两大好处:
不需要显式地释放资源。
采用这种方式,对象所需的资源在其生命期内始终保持有效。
2.实战应用
2.1 scope lock (局部锁技术) (参见 ACE ACE_Gaurd 模板类的实现)
在很多时候,为了实现多线程之间的数据同步,我们会使用到 mutex,critical section,event,singal 等技术。但在使用过程中,由于各种原因,有时候,我们会遇到一个问题:由于忘记释放(Unlock)锁,产生死锁现象。
采用RAII 就可以很好的解决这个问题,使用着不必担心释放锁的问题. 示例代码如下:
My_scope_lock 为实现 局部锁的模板类.
LockType 抽象代表具体的锁类 .如 基于 mutex 实现 mutex_lock 类.
template <class LockType>
class MyScopeLock {
public:
MyScopeLock(LockType& lock)
: _lock(lock) {
_lock.occupy();
}
~MyScopeLock() {
_lock.release();
}
protected:
LockType _lock;
};
开发中使用示例:
假设对Data 类中的数据操作需要 互斥控制.
class Data
{
public:
Data();
~Data();
bool getdata();
bool savedata();
bool update();
private:
mutex_lock m_mutex_lock;
}
在Update 方法中使用了局部锁 (scope_lock) .在Update 函数中我们声明了 My_Scope_Lock 局部变量.在My_Scope_Lock 的构造函数中我们 已经下达了对数据加以了保护的”命令”. 大家都知道,当函数推出的时候,局部变量会自动被回收,也就是说 My_Scope_Lock 的析构函数会被自动的调用,即自动释放锁.这样永远都不会出现死锁现象.如果不使用局部锁技术,我们就要在函数的每一个出口处去释放锁,这样很容易出错,且代码不优雅不易维护.
bool class Data::Update()
{
My_scope_lock l_lock(m_mutex_lock);
if()
{
return false;
}
else
{
// execute
}
return true;
}
我们可以根据上面的这个例子类推出好多这样例子. 如,读写文件的时候,很容易忘记关闭文件,如果借用 RAII技术,就可以规避这种错误.再如对数据库的访问,忘记断开数据库连接等等,都可以借助RAII 技术也解决.
2.2 资源释放
资源释放方面,RAII有其特有的优势:如果使用scope(exit)的话,每个资源分配之后都需要用一个scope(exit)跟在后面保护起来;而如果用RAII的话,一个资源申请就对应于一个RAII对象的构造,释放工作则被隐藏在对象的析构函数中,从而使代码主干保持了清爽。
尤其,当我们 使用 exception 异常处理机制时,RAII 会给我们带来很大的帮助.
参考资料: