《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<Toby> pToby(CreateToby());
...
}
这个简单的例子示范 “以对象管理资源” 的两个关键想法:
- 获得资源后立刻放进管理对象内,“资源取得时机便是初始化时机”(RAII);
- 管理对象运用析构函数确保资源被释放。
由于 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<Toby> pToby(CreateToby());
...
}
这段代码看起来几乎和使用 auto_ptr 的代码相同,但是 shared_ptr 的复制行为正常多了。
请记住:
- 为了防止资源泄漏,请使用 RAII 对象,它们在构造函数中获得资源并在析构函数中释放资源。
- 两个常被使用的 RAII class 分别是 tr1::shared_ptr 和 auto_ptr。前者通常是较佳选择,因为其 copy 行为比较直观。若选择 auto_ptr,复制动作会使它(被复制物)指向 null。