[Effective C++ --013]以对象管理资源

时间:2023-03-08 16:09:42

这一节基本讲述的是将资源放进管理对象,防止忘记释放资源。

1.一般New和Delete使用场景

void fun() {
SimpleClass* pSimpleClass1 = new SimpleClass;
.... // 如果这中间发生异常返回,则delete pSimpleClass1将不会被执行,造成内存泄漏 delete pSimpleClass1;
SimpleClass* pSimpleClass2 = createSimpleClass();
.... // 如果这中间发生异常返回,则delete pSimpleClass1将不会被执行,造成内存泄漏
delete pSimpleClass2;
}

即使通过严守规约使“...”没有会产生异常的代码,或者对异常的情况进行特殊处理。但是随着代码的不断维护,“...”很容易就会被加入会产生异常的代码,而delete的处理也就很容易被忽略了。
针对这样的情况,条款13要求,以对象管理资源。

2.如果不清楚资源将以什么方式来释放,我们可以使用自动指针auto_ptr与shared_ptr来实现:

auto_ptr使用场景

void funAutoPtr() {
std::auto_ptr<SimpleClass> pSimpleClass1(new SimpleClass);
....
std::auto_ptr<SimpleClass> pSimpleClass2(createSimpleClass());
....
}

shared_ptr使用场景

void funAutoPtr_shared() {
std::tr1::shared_ptr<SimpleClass> pSimpleClass1(new SimpleClass);
....
std::tr1::shared_ptr<SimpleClass> pSimpleClass2(createSimpleClass());
....
}

两者的区别:

auto_ptr:如通过拷贝构造函数湖泊拷贝赋值操作符赋值他们,自动指针将变成NULL,而复制所得的指针将取得指针指向的资源唯一拥有权

shared_ptr:拷贝完后两者都指向同一资源

auto_ptr复制行为场景

void funAutoPtrCopy() {
std::auto_ptr<SimpleClass> pSimpleClass1(createSimpleClass); //pSimpleClass1指向createSimpleClass返回的实例
std::auto_ptr<SimpleClass> pSimpleClass2(pSimpleClass1); //现在pSimpleClass2指向实例,而pSimpleClass1被设为null
pSimpleClass1 = pSimpleClass2; //现在pSimpleClass1指向实例,而pSimpleClass2被设为null
}

shared_ptr复制行为场景

void funAutoPtrCopy_shared() {
std::tr1::shared_ptr<SimpleClass> pSimpleClass1(createSimpleClass); //pSimpleClass1指向createSimpleClass返回的实例
std::tr1::shared_ptr<SimpleClass> pSimpleClass2(pSimpleClass1); //现在pSimpleClass1和pSimpleClass2同时指向实例
pSimpleClass1 = pSimpleClass2; //同上,无任何改变
}

3.自动指针不智能的时候

auto_ptr针对Array使用的错误场景

void funAutoPtrError() {
std::auto_ptr<std::string> pStringArray(new std::string[]);
....
std::auto_ptr<int> pIntArray(new int[]);
....
}

shared_ptr针对Array使用的错误场景

void funAutoPtrError_shared() {
std::tr1::shared_ptr<std::string> pStringArray(new std::string[]);
....
std::tr1::shared_ptr<int> pIntArray(new int[]);
....
}

这是为什么呢?

因为auto_ptr与shared_ptr两者在析构函数内做的都是delete而不是delete[]操作。这就意味着动态分配得到的数组是不能完全得到释放的。

◆总结

1.为防止资源泄露,请使用RAII(Resourse Acquisition Is Initialization)"资源取得时机便是初始化时机"对象,它们在构造函数中获得资源并在析构函数中释放资源。

2.两个常用的RAII class分别是shared_ptr和auto_ptr,前者通常是较佳选择,因为其copy行为比较直观。若选择auto_ptr,复制动作会使它(被复制物)指向NULL。