条款 13：以对象管理资源

《Effective C++ 中文版第三版》读书笔记

** 条款 13：以对象管理资源 **

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

void t()
{
    Toby* pToby = CreateToby();
    ...
    delete pToby;
}

如果 “...” 中的代码含有 “return”、“goto” 或 “continue” 提早退出，还有可能是“...”区域内抛出异常，若真是这样，delete 语句就不会被执行。

也许我们自己不会去加这些 “return”，但是代码不是我们一个人的。因此单纯的想 “f 总是会执行 delete 语句” 是不可能的。

为确保 CreateToby() 返回的资源总是被释放，我们需要将资源放进对象中，这样，对象的析构函数会帮助我们自动释放这些资源。

void t()
{
    std::auto_ptr pToby(CreateToby());
    ...
}

这个简单的例子示范 “以对象管理资源” 的两个关键想法：

由于 auto_ptr 被销毁时会自动删除它所指之物，所以一定要注意别让多个 auto_ptr 同时指向同一个对象。为了预防这个问题，auto_ptr 有一个性质：若通过 copy 构造函数或 copy 赋值操作符复制他们，他们会变成 null，而复制所得的指针将取得资源的唯一拥有权！

auto_ptr 的替代方案是“引用计数型智慧指针”，即 RCSP。其实质也是一个智能指针，持续追踪共有多少对象指向某笔资源，并在无人指向它时自动删除该资源。RCSP 类似垃圾回收，不同的是 RCSP 无法打破环状引用，例如两个其实已经没被使用的对象彼此互指，因而好像还处在“被使用”状态。

TR1 的 tr1::shared_ptr 就是个 RCSP，例如：

void t()
{
    std::tr1::shared_ptr pToby(CreateToby());
    ...
}

这段代码看起来几乎和使用 auto_ptr 的代码相同，但是 shared_ptr 的复制行为正常多了。

请记住：

为了防止资源泄漏，请使用 RAII 对象，它们在构造函数中获得资源并在析构函数中释放资源。
两个常被使用的 RAII class 分别是 tr1::shared_ptr 和 auto_ptr。前者通常是较佳选择，因为其 copy 行为比较直观。若选择 auto_ptr，复制动作会使它（被复制物）指向 null。