条款13.以对象管理资源

目录

1.前言

2.例子解析

3实现方法

3.1.auto_ptr实现对象管理资源

3.2 引用计数型智慧指针（RCSP）

---

1.前言

所谓资源，表示一旦用了它，就必须还给系统。如果不这样，糟糕的事情就会出现。c++中最常使用的资源就是动态内存分配（如果给变量分配内存后却不曾归还它，会导致内存泄漏）。反过来，内存只是必要管理的众多资源之一，其他常见的资源还包括文件描述器（file descriptors）/互斥锁（mutex locks）/图形界面中的字型和笔刷/数据库连接/网络socket。当不再使用这些资源时，必须将它还给系统。

2.例子解析

假设我们创建了一个塑模投资行为（例如股票/债卷等等）的程序库，其中各式各样的投资类型继承自一个基类Investment:

class Investment
{
    ....//"投资行为"继承体系中的基类
}

进一步假设，该程序库通过一个工厂函数（factory function）供应我们某特定的Investment对象：

Investment* createInvestment();//返回指针，指向Investment继承体系内的动态分配对象。调用者有责任删除它

如注释上所言，creteInvestment的调用端使用了函数返回的对象后，有责任删除它。现在考虑存在个f函数履行这个责任：

voif f()
{
    Investment* pInv=creteInvestment();//调用factory函数
    ...
    delete pInv;删除pInv所指对象
}

这样看起来妥当，但程序运行抛出异常的情况下，f()函数可能无法删除它得自creteInvestment的投资对象-或许因为“....”区域内的一个过早的return语句，导致控制流不会接触到delete语句。类似情况发生在对creteInvestment的使用及delete操作位于某循环内，而该循环由于某个continue或者goto语句过早退出。总而言之，不管delete如何未被执行，我们泄漏的不只是内含函数内使用的那块内存，还包括那些函数内部所保存的所有资源。

谨慎的编写程序可以防止这一类错误，但代码可能会在后面被修改，更可怕的是被另一个人修改。一旦代码开始接受维护，其他人可能就没体会到代码逻辑的深层含义，会添加return语句或者continue语句而未能全然领悟它对函数的资源管理策略所造成的后果。所以单纯依靠“f总是会执行delete语句”该类做法是行不通的。

3实现方法

3.1.auto_ptr实现对象管理资源

  为了确保creteInvestment返回的资源总是被释放，我们需要将资源放进对象内，当控制流离开f，该对象的析构函数会自动释放那些资源。把资源放进对象内，我们便可以依赖c++的“析构函数自动调用机制”确保资源被释放。

        编写函数时，许多资源被动态分配于heap（堆）内后，被用于单一区块或函数内，它们应该在控制流离开那个区块或函数时被释放。标准程序库中提供的auto_ptr正是针对这种情况而设计的。auto_ptr是个“类指针对象”，也就是所谓的“智能指针”，其析构函数自动对其所指对象调用delete。相关例子如下：

void f()
{
    std::auto_ptr<Investment> pInv(createInvestment());
          //调用factory函数
           //一如既往的使用pInv
            //经由auto_ptr的析构函数自动删除pInv
}

该例子体现了“以对象管理资源”的两个关键想法：

1.获得资源后立刻放进管理对象。即资源取得时机便是初始化时机（RALL）；

2.管理对象（managing object）运用析构函数确保资源被释放。即无论控制流如何离开ia区块，当对象离开作用域，其析构函数会被自动调用，于是资源被释放。

由于auto_ptr被销毁时会自动删除它所指之物，所以不能让多个auto_ptr同时指向同一对象。为了预防这个问题，auto_ptrs有一个不寻常的性质：若通过copy构造函数或者copy assignment操作符复制它们，它们会变得null，而复制所得的指针将取得资源的唯一拥有权。

std::auto_ptr<Investment> pInv(createInvestment());//pInv指向createInvestment返回物
std::auto_ptr<Investment> pInv2(pInv1);//pInv2指向对象，pInv1被设为null
pInv1=pInv2；//现在pInv1指向对象，pInv2被设为null

该特点也表明auto_ptr并非资源管理的最好工具，因为它不能允许多个auto_ptr指向同一对象，不能有“正常的”复制行为。因此引入了替代方案。

3.2 引用计数型智慧指针（RCSP）

所谓RCSP也是智能指针，持续追踪共有多少对象指向某笔资源，并在无人指向它时自动删除该资源。

trl::shared_ptr也是RCSP,于是可以这样写：

void f()
{
    trl::share_ptr<Investment> pInv(createInvestment());//调用factory函数，同时用pInv变量接收返回的对象
//经由share_ptr析构函数，自动删除
}

上述这段代码和auto_ptr几乎一样，但share_ptr的复制行为正常多了：

void f()
{
    ...
    std::trl::shared_ptr<Investment> pInv1(createInvestment());pInv1指向createInvestment返回物
    std::trl::shared_ptr<Investment> pInv1=pInv2;//pInv1和pInv2指向同一对象，同上，无任何改变
    pINV1=pInv2;//同上
    

}//pInv1和pInv2被销毁，他们所指的对象也就被自动销毁.

 auto_ptr和trl::shared_ptr两者都在其析构函数内做delete而不是delete[]动作。那意味着在动态分配而得的array身上使用aoto_ptr或trl::shared_ptr是个馊主意。尽管如此，这样做依然能够通过编译：

std::suto_ptr<std::string> aps(new std::string[10]);//馊主意，会用上错误的delete形式
std::trl::shared_ptr<int> spi(new int[1024]);//相同问题