条款14:在资源管理类中小心coping行为
在前一个条款,我们提出了RAII(资源获得即是初始化)技术,通过“对象管理资源”达到防止资源泄露,对于通过堆分配的内存,可以借助指针指针实现
,但系统中有很多资源不是堆分配:文件句柄,锁,网络套接字。这些资源就需要自己实现对象来管理。
看一个简单的实现互斥锁资源对象管理
class Mutex{};
void lock(Mutex* mutex) {} //锁住资源
void unlock(Mutex* mutex) {} //释放资源
class MyLock
{
public:
explicit MyLock(Mutex *mutex) :m_mutex(mutex)
{
lock(m_mutex);
}
~MyLock() {unlock(m_mutex);}
private:
Mutex *m_mutex;
};
调用
void process()
{
Mutex mutex;
MyLock mylock(&mutex);
//process
} //离开作用域,mylock执行析构函数,释放mutex
管理对象被复制了,会出现什么情况?
void process()
{
Mutex mutex;
MyLock mylock(&mutex);
MyLock mylock2(mylock); //调用默认拷贝构造函数,指向同一个资源
//process
} //离开作用域,mylock和mylock2执行析构函数,释放mutex两次
如何解决RAII对象被复制的情况呢?
①禁止复制;可以通过条款6的方法禁止类对象复制
class MyLock : private Uncopyable {};
②对底层使用“引用计数法”
使用shared_ptr成员变量,指向需要管理的资源,当引用计数为0时则delete掉资源,但非堆分配内存是不能delete操作,只需要释放,为此,shared_ptr提供一种方法,即删除器,在引用计数为0时执行
class Mutex{};
void lock(Mutex* mutex) {} //锁住资源
void unlock(Mutex* mutex) {} //释放资源
class MyLock
{
public:
explicit MyLock(Mutex *mutex) :m_mutexPtr(mutex, unlock)
{
lock(m_mutexPtr.get());
}
//~MyLock() {unlock(m_mutex);} //不用再定义析构函数,直接通过m_mutexPtr删除器释放资源
private:
std::tr1::shared_ptr<Mutex> m_mutexPtr;
};
调用
void process()
{
Mutex mutex;
MyLock mylock(&mutex); //m_mutexPtr引用计数为2
MyLock mylock2(mylock); //调用默认拷贝构造函数,指向同一个资源,m_mutexPtr引用计数为2
//process
} //离开作用域,成员对象mylock和mylock2的智能指针对象都执行析构函数且引用计数减为0,则调用删除器unlock()函数解除锁
③复制底部资源
有些时候可以对某些资源进行多份拷贝,如常用的string类,实现方法是前面说过的深拷贝
④转移底部资源的拥有权。
前面说过的auto_ptr就是采用这种技术.
记住
①复制RAII对象必须一并复制它所管理的资源,所以资源的copying行为决定RAII对象的copying行为.
②普遍而常见的RAII class copying行为是:抑制copying、施行引用计数法.不过其它行为也都可能被实现.
②普遍而常见的RAII class copying行为是:抑制copying、施行引用计数法.不过其它行为也都可能被实现.