effective C++ 笔记:条款13 以对象管理资源

当我们在程序中分配资源时,一定要确保这个资源在应该被释放的时候能够正确地释放。查看以下代码:

class Investment{...}
void f(){
    Investment* p = createInvestment();  //createInvestment()是一个返回Investment对象指针的工厂方法
    ...
    delete p;

实际上,delete操作很有可能不会被执行,比如在delete之前有一个过早的return操作,类似的情况是在一个循环中早于delete的continue被调用而跳出循环导致的delete没有被调用。
虽然你可以谨慎地写代码,保证delete操作能被执行,但是当这段代码交由他人维护的时候,可能会导致以上的情况(比如添加了return),所以依靠“程序会执行到这一步”这个思想是行不通的。
大家都知道,一个局部资源在离开其作用域时会被自动释放,那么如果将资源放进对象中,然后离开作用域时,对象的析构函数就能自动释放资源。这就是auto_ptr的思想。

void f(){
    std::auto_ptr<Investment> p(createInvestment());
    ...
}

auto_ptr是一个模板(可以像指针一样使用),可以将指针放进特例化后的auto_ptr中,这样当auto_ptr离开作用域时,就能够自动析构,也就保证了资源的正确释放。
但是有个需要注意的地方,auto_ptr被销毁时会自动删除它所指向的资源,所以不要让多个auto_ptr指向同一个对象,因为一个对象绝对不能被删除一次以上!,所以auto_ptr有一个独特的性质,当你用复制构造函数或者operator=操作它们时,它们会变成null,而复制所得的指针会取得资源的所有权(就像转移所有权一样)。
还有一种智能指针:shared_ptr,这种智能指针的机制可以让多个shared_ptr指向同一个对象,它的机制依赖于“引用计数”的概念,当shared_ptr对象被析构时,引用计数减一,析构时检查引用计数,当引用计数变为0时这个对象内所含的资源会被释放。
有一个值得一提的事实,auto_ptr和shared_ptr在其析构函数内做的操作都是delete而不是delete[],这意味着这两种智能指针不能存储动态分配来的数组(因为不能被全部释放),但是如果你这么操作,编译器并不会报错!其实string和vector已经总是可以取代动态分配得来的数组,所以我在这里的理解是,这样设计的原因促使你使用更方便的vector和string,而不是使用C风格的字符串或者动态数组。如果你执意要使用动态数组的话,可以考虑以下boost::scoped_array和boost::shared_array。
最后,我们还要确保存储在智能指针内的资源是已经初始化的,这个问题会在条款18被提到。

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • C#、Java、python和go等语言中都有垃圾自动回收机制,在对象失去引用的时候自动回收,而且基本上没有指针的...
    StormZhu阅读 3,775评论 1 15
  • 1.C和C++的区别?C++的特性?面向对象编程的好处? 答:c++在c的基础上增添类,C是一个结构化语言,它的重...
    杰伦哎呦哎呦阅读 9,728评论 0 45
  • 3 资源管理 所谓资源就是,一旦用了它,将来必须还给系统。C++程序中最常使用的资源就是动态分配内存(如果分配内存...
    暗夜望月阅读 414评论 0 0
  • 原作者:Babu_Abdulsalam 本文翻译自CodeProject,转载请注明出处。 引入### Ooops...
    卡巴拉的树阅读 30,195评论 13 74
  • 1. 让自己习惯C++ 条款01:视C++为一个语言联邦 为了更好的理解C++,我们将C++分解为四个主要次语言:...
    Mr希灵阅读 2,871评论 0 13