class Investment{...};
Investment * createInvestment(); //一个工厂函数供应我们某个特定的Investment对象;
void f()
{
Investment * pInv =createInvestment();
...
delete pInv;
}
这看起来很妥当,但若干情况下"..."区域内的一个过早的return语句。如果这样一个return被执行起来,控制流就绝不会触及delete语句。类似的情况下发生在对createInvestment的使用及delete的动作位于某循环里面,而该循环由于某个continue或goto语句过早退出。最后一种可能是“...”区域内的语句抛出异常,这样就不会临幸delete。
为确保createInvestment返回的资源总是被释放,我们需要将资源放进对象内,当控制流离开f,该对象的析构函数会自动释放资源。
标准程序库提供的auto_ptr 正是针对这种形式而设计的特制产品。auto_ptr是个“类指针对象”,也是所谓的“智能指针”,其析构函数自动对其所指对象调用delete。
void f()
{
std::auto_ptr<Investment>pInv(createInvestment());
...
}
要注意两个关键想法
1.获得资源后立刻放进管理对象
2.管理对象运用析构函数确保资源被释放
由于auto_ptr被销毁时会自动删除它所指之物,所以一定要注意别让多个auto_ptr同时指向同一个对象。如果真是那样,对象会被删除一次以上,那将会导致错误。
为了预防这个问题,auto_ptrs有一个不寻常的性质:若通过赋值构造函数或者复制构造函数操作符来复制他们,他们就会变成NULL,而复制所得的指针将获得资源的唯一拥有权!
std::auto_ptr<Investment>pInv1(createInvestment()); //pInv1指向createInvestment返回物。
std::auto_ptr<Investment>pInv2(pInv1); //现在pInv2指向对象,pInv1被设为NULl
pInv1=pInv2; //现在pInv1指向对象,pInv2被设为null
但是auto_ptrs并非是管理动态分配的神兵利器,比如STL容器要求其元素发挥正常的复制行为,因此这些容器容不得auto_ptr。
auto_ptr的替代方案是“应用技术性智慧指针”也就是所谓的RCSP,持续追踪共有多少对象指向某笔资源,并在无人指向它时自动删除资源。RCSP提供的行为类似垃圾回收,不同的是RCSP无法打破环状引用,例如两个其实已经没有被使用的对象彼此互指,因此好像还处在“被使用”状态。
void f()
{
...
std::tr1::shared_ptr<Investment>pInv(createInvestment()); //TR1的tr1::shared_ptr就是个RCSP。
...
} //经由shared_pt析构函数自动删除pInv
void f()
{
...
std::tr1::shared_ptr<Investment>pInv1(creatInvestment());
std::tr1::shared_ptr<investment>pInv2(pInv1); //pInv1和pInv2指向同一个对象。
pInv1=pInv2; //同上
...
}
auto_ptr和tr1::shared_ptr两者都在其析构函数内做delete而不是delete[]动作,那就意味着动态分配而来的array身上使用auto_ptr或tr1::shared_ptr是个馊主意。
尽管如此,这样做还是能通过编译:
std::auto_ptr<std::string>aps(new std::string[10]);
std::tr1::shared_ptr<int> spi(new int[1024]);