头文件: "boost/scoped_ptr.hpp"
boost::scoped_ptr 用于确保能够正确地删除动态分配的对象。scoped_ptr 有着与std::auto_ptr类似的特性,而最大的区别在于它不能转让所有权而auto_ptr可以。事实上,scoped_ptr永远不能被复制或被赋值!scoped_ptr 拥有它所指向的资源的所有权,并永远不会放弃这个所有权。
下面是scoped_ptr的摘要,以及对它的成员的简要描述:
namespace boost { template<typename T> class scoped_ptr : noncopyable { public: explicit scoped_ptr(T* p = 0); ~scoped_ptr(); void reset(T* p = 0); T& operator*() const; T* operator->() const; T* get() const; void swap(scoped_ptr& b); }; template<typename T> void swap(scoped_ptr<T> & a, scoped_ptr<T> & b); }
explicit scoped_ptr(T* p=0)
构造函数,存储p的一份拷贝。注意,p 必须是用operator new分配的,或者是null. 在构造的时候,不要求T必须是一个完整的类型。当指针p是调用某个分配函数的结果而不是直接调用new得到的时候很有用:因为这个类型不必是完整的,只需要类型T的一个前向声明就可以了。这个构造函数不会抛出异常。
~scoped_ptr()
删除被指物。类型T在被销毁时必须是一个完整的类型。如果scoped_ptr在它被析构时并没有保存资源,它就什么都不做。这个析构函数不会抛出异常。
void reset(T* p=0);
重置一个 scoped_ptr 就是删除它已保存的指针,如果它有的话,并重新保存 p. 通常,资源的生存期管理应该完全由scoped_ptr自己处理,但是在极少数时候,资源需要在scoped_ptr的析构之前释放,或者scoped_ptr要处理它原有资源之外的另外一个资源。这时,就可以用reset,但一定要尽量少用它。(过多地使用它通常表示有设计方面的问题) 这个函数不会抛出异常。
T& operator*() const;
返回一个到被保存指针指向的对象的引用。由于不允许空的引用,所以解引用一个拥有空指针的scoped_ptr将导致未定义行为。如果不能肯定所含指针是否有效,就用函数get替代解引用。这个函数不会抛出异常。
T* operator->() const;
返回保存的指针。如果保存的指针为空,则调用这个函数会导致未定义行为。如果不能肯定指针是否空的,最好使用函数get。这个函数不会抛出异常。
T* get() const;
返回保存的指针。应该小心地使用get,因为它可以直接操作裸指针。但是,get使得你可以测试保存的指针是否为空。这个函数不会抛出异常。get通常用于调用那些需要裸指针的函数。
operator unspecified_bool_type() const
返回scoped_ptr是否为非空。返回值的类型是未指明的,但这个类型可被用于Boolean的上下文中。在if语句中最好使用这个类型转换函数,而不要用get去测试scoped_ptr的有效性
void swap(scoped_ptr& b)
交换两个scoped_ptr的内容。这个函数不会抛出异常。
scoped_array
头文件: "boost/scoped_array.hpp"
需要动态分配数组时,通常最好用std::vector来实现,但是有两种情形,看起来用数组更应该: 一种是为了优化,用vector多少有一些额外的内存和速度开销;另一种是为了某种原因,必须要求数组的大小是固定的。[5] 动态分配的数组会遇到与普通指针一样的危险,并且还多了一个(也是最常见的一个),错误调用delete操作符而不是delete[]操作符。我曾经在你想象不到的地方见到过这个错误,那也是它常被用到的地方,在你自己实现的容器类里!scoped_array 为数组做了scoped_ptr为单个对象的指针所做的事情:它负责释放内存。区别只在于scoped_array 是用delete[] 操作符来做这件事的。
[5] 没有非常清晰的优点。实际上,最好还是用 std::vector ,除非性能测试表示scoped_array 的好处是可保证的。
scoped_array与scoped_ptr非常相似,不同的是它提供了operator[] 来模仿一个裸数组。