auto_ptr是C++标准库提供的类模板,它可以帮助程序员自动管理用new表达式动态分配的单个对象。auto_ptr对象被初始化为指向由new表达式创建的对象,当auto_ptr对象的生命期结束时,动态分配的对象会被自动释放。auto_ptr为动态分配内存提供了大量的便利和安全性。通过使用auto_ptr,程序员不再需要关心new出来的对象何时delete,而且在子程序异常跳出时仍能保证动态分配的对象正常析构。
在使用auto_ptr之前,必须包含以下的头文件:
#include<memory>
auto_ptr对象的定义有三种形式:
(1)auto_ptr< type_pointed_to > identifier( ptr_allocated_by_new);
(2)auto_ptr< type_pointed_to > identifier( auto_ptr_of_same_type);
(3)auto_ptr< type_pointed_to > identifier;
其中,type_pointed_to表示由new表达式创建的对象的类型。例如,auto_ptr第一种的使用形式:
auto_ptr< int> pi( new int( 1024 ) );
pi被初始化为由new表达式创建的对象的地址(该int对象的初始值为1024)。然后,我们可以像使用普通指针一样使用pi,如:
if ( *pi != 1024) ; // 出错了 else *pi *= 2;
new表达式创建的对象(即资源对象)由pi指向,当pi对生命期结束时,资源对象将被自动释放。这种“以对象(pi)管理资源(new创建的int对象)”的观念常被称为“资源取得时机便是初始化时机”(Resource Acquisition Is Initialization; RAII)。同时我们看到,new表达式创建的对象的释放是通过pi生命期结束时调用pi的析构函数实现,这实际上也说明了一种管理资源的观念,即“资源管理对象(managing object)运用析构函数确保资源被释放”。不论程序的控制流如何流转,只要managing object离开作用域,资源都会被释放。
假如我们希望以一个class类型的对象初始化auto_ptr对象,例如标准string类型,会是怎么样呢?如:
auto_ptr< string > pstr_auto( new string( “an auto release string” ) );
使用pstr_auto的使用就像使用普通的string*指针,如:
if (pstr_auto->empty() ) ; // 字符串为空的处理
auto_ptr背后的动机是支持与普通指针类型相同的语法,但是为auto_ptr对象所指对象的释放提供自动管理。根据一般常识,你可能会认为这种额外的便利和安全性会带来一定的开销,但实际情况并不这样。因为对这些操作的支持都是内联的,所以auto_ptr对象并不比直接使用指针代价更高。
了解了auto_ptr的使用方法,我们再看下其声明。以下的auto_ptr的声明摘自ISO/IEC 14882, section 20.4.5:
namespace std { template <class Y> struct auto_ptr_ref {}; template <class X> class auto_ptr { public: typedef X element_type; // 20.4.5.1 construct/copy/destroy: explicit auto_ptr(X* p =0) throw(); auto_ptr(auto_ptr&) throw(); template <class Y> auto_ptr(auto_ptr<Y>&) throw(); auto_ptr& operator=(auto_ptr&) throw(); template <class Y> auto_ptr& operator=(auto_ptr<Y>&) throw(); auto_ptr& operator=(auto_ptr_ref<X>) throw(); ~auto_ptr() throw(); // 20.4.5.2 members: X& operator*() const throw(); X* operator->() const throw(); X* get() const throw(); X* release() throw(); void reset(X* p =0) throw(); // 20.4.5.3 conversions: auto_ptr(auto_ptr_ref<X>) throw(); template <class Y> operator auto_ptr_ref<Y>() throw(); template <class Y> operator auto_ptr<Y>() throw(); }; }
可以看到,auto_ptr是一类模板,它提供了几种初始化方法和提供了对赋值运算以及常见指针运算符号的重载。正是这些运算符的重载,使得我们使用auto_ptr就像使用普通指针一样。
在使用auto_ptr时,须十分注意资源所有权的概念。例如,对于上面定义的pstr_auto,string对象的所有者毫无疑问是pstr_auto对象,
auto_ptr< string > pstr_auto( new string( “an auto release string” ) );
然后使用pstr_auto来初始化pstr_auto2,
auto_ptr<string> pstr_auto2( pstr_auto);
这时,new创建对string对象的所有者会发生怎样的变化呢?我们当然不希望让两个auto_ptr对象都拥有同一个资源对象的所有权——这会引起重复删除对象的问题,这也是auto_ptr需要防止的。
当一个auto_ptr对象被另一个auto_ptr对象初始化或赋值时,左边被赋值或初始化的对象就拥有了资源对象的所有权,而右边的auto_ptr对象则撒消所有权。在上面string对象例子中,pstr_auto2获取所有权,而pstr_auto则不再拥有所有权。
类似的所有权变化也发生在赋值运算上面。例如,
auto_ptr< int > p1( new int( 1024) ); auto_ptr< int > p2 ( new int(2048) ); p1 = p2;
在赋值之前,p1指向的对象被删除,赋值之后,p1拥有int对象的所有权,而p2则不再拥有int对象的所有权。
auto_ptr< int > p_int_auto; // if (p_int_auto.get() == 0) ; // p_int_auto没指向一个有效对象由于p_int_auto没有初始化,故它的内部指针值班被设置为0,通过使用get()方法获取其内部的底层指针的值。
p_int_auto.reset( new int( 1024 ) );从auto_ptr的声明来看,我们不能在auto_ptr对象被定义后,再用new表达式创建对象的地址来直接向其赋值。为了重置一个auto_ptr对象,必须使用reset()操作。除了向reset()方法传递一个指针,也可以传递一个0值,这表示要取消原来的对象所有权。
auto_ptr< string > pstr_auto( new string (“a resource string”) ); auto_ptr< string > pstr_auto2< pstr_auto.release() );通过第二个语句的操作,pstr_auto释放了自己对string对象的所有权,而pstr_auto2则拥有了string对象的所有权。