目录
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]);//相同问题