这是我在阅读Effective c++中认为比较重要的部分,下面给出了我对这一节的理解,并写出对应的比较容易理解的代码。
当我们自己写一个使用RAII管理不在heap存储区中建立资源时,应该考虑当一个RAII对象被复制,会发生什么事情。大多数时候会选择两种可能:禁止复制 对底层资源祭出“引用计数法”
正常的非heap存储区的RAII管理类如下:
class Mutex {};
void lock(Mutex* pm) {}
void unlock(Mutex*pm) { delete pm; }
class Lock {// RAII类
public:
explicit Lock(Mutex*pm) : mutexPtr(pm){
lock(mutexPtr);
}
~Lock() {
unlock(mutexPtr);
cout << "lkqking" << endl;
}
private:
Mutex*mutexPtr = nullptr;
};
int main() {
Lock a(new Mutex);
}
禁止复制通过对RAII类private继承一个uncopyable类来完成,如下
class uncopyable {
public:
uncopyable(){}
~uncopyable(){}
private:
uncopyable(const uncopyable&);
uncopyable& operator = (const uncopyable&);
};
对底层资源祭出“引用计数法”,将RAII类管理的资源改为由shared_ptr管理,并在构造时提供删除器,并且不需要提供析构函数。因为class析构函数(不论使编译器生成,或用自定义的)都回自动调用其non-static成员变量的析构函数。而本例中的shared_ptr对象会在引用计数为0时自动调用指定的删除器。代码如下,注意get()的使用。
class Mutex {};
void lock(Mutex* pm) {}
void unlock(Mutex*pm) { cout<<"deleted"<<endl; }
class Lock {// RAII类
public:
explicit Lock(Mutex*pm) : mutexPtr(pm,unlock){
lock(mutexPtr.get());
}
private:
shared_ptr<Mutex>mutexPtr = nullptr;
};
int main() {
Mutex p;
Lock a(&p);
}
请记住
复制RAII对象必须一并复制它所管理的资源,所以资源的copying行为决定RAII对象的copying行为。
普遍而常见的RAII class copying行为是: 抑制copying 、施行引用计数法。不过其他行为也都可能被实现。