何时我们需要智能指针?
有三种典型的情况适合使用智能指针:
资源所有权的共享
要编写异常安全的代码时
避免常见的错误,如资源泄漏
共享所有权是指两个或多个对象 需要同时使用第三个对象的情况。这第三个对象应该如何(或者说何时)被释放?为了确保释放的时机是正确的,每个使用这个共享资源的对象必须互相知道对方, 才能准确掌握资源的释放时间。从设计或维护的观点来看,这种耦合是不可行的。更好的方法是让这些资源所有者将资源的生存期管理责任委派给一个智能指针。当 没有共享者存在时,智能指针就可以安全地释放这个资源了。
异常安全,简单地说就是在异常 抛出时没有资源泄漏并保证程序状态的一致性。如果一个对象是动态分配的,当异常抛出时它不会自动被删除。由于栈展开以及指针离开作用域,资源可以会泄漏直 至程序结束(即使是程序结束时的资源回收也不是由语言所保证的)。不仅可能程序会由于内存泄漏而耗尽资源,程序的状态也可能变得混乱。智能指针可以自动地 为你释放这些资源,即使是在异常发生的情况下。
避免常见的错误。忘记调用 delete
是书本中最古老的错误(至少在这本书中)。一个智能指针不关心程序中的控制路径;它只关心在它所指向的对象的生存期结束时删除它。使用智能指针,你不再需要知道何时删除对象。并且,智能指针隐藏了释放资源的细节,因此使用者不需要知道是否要调用 delete
, 有些特殊的清除函数并不总是删除资源的。
安全和高效的智能指针是程序员的军火库中重要的武器。虽然C++标准库中提供了 std::auto_ptr
, 但是它不能完全满足我们对智能指针的需求。例如,auto_ptr
不能用作STL容器的元素。Boost的智能指针类填充了标准所留下来的缺口。
本章主要关注 scoped_ptr, shared_ptr, intrusive_ptr, 和 weak_ptr. 虽然剩下的 scoped_array
和 shared_array
有时候也很有用,但它们用的不是很多,而且它们与已讨论的非常相近,这里就不重复讨论它们了。