《More Effective C++》ITEM M9中提到了auto_ptr,说是当异常产生的时候,怎样释放为对象分配的堆内存,避免重复编写内存释放语句。
PS:这里书里面提到函数退出问题,函数退出会清算栈内存,不论是怎样正常退出还是异常退出(唯一1种例外就是当你调用 longjmp 时。Longjmp 的这个缺点是 C++率先支持异常处理的主要缘由)。建立在此基础上我们才把对指针的删除操作封装到1个栈对象里面。这样函数退出(异常或是正常)就会调用对象的析构函数,到达我们自动清算所封装指针指向的内存的目的。
作为新手,不是很理解,记下来,学习学习。
PS:C++11已不提倡用auto_ptr了,请看链接:http://www.cplusplus.com/reference/memory/auto_ptr/
Note: This class template is deprecated as of C++11. unique_ptr is
a new facility with a similar functionality, but with improved security (no fake copy assignments), added features (deleters)
and support for arrays. Seeunique_ptr for
additional information.
以下内容copy自:http://blog.sina.com.cn/s/blog_7708265a01010lyv.html
auto_ptr 是C++标准库提供的类模板,auto_ptr对象通过初始化指向由new创建的动态内存,它是这块内存的具有者,1块内存不能同时被分给两个具有者。当auto_ptr对象生命周期结束时,其析构函数会将auto_ptr对象具有的动态内存自动释放。即便产生异常,通过异常的栈展开进程也能将动态内存释放。auto_ptr不支持new 数组。
#include <memory>
1) 构造函数
1] 将已存在的指向动态内存的普通指针作为参数来构造
int* p = new int(33);
auto_ptr<int> api(p);
2] 直接构造智能指针
auto_ptr< int > api( new int( 33 ) );
2) 拷贝构造
利用已存在的智能指针来构造新的智能指针
auto_ptr< string > pstr_auto( new string( "Brontosaurus" ) );
auto_ptr< string > pstr_auto2( pstr_auto );
由于1块动态内存智能由1个智能指针独享,所以在拷贝构造或赋值时都会产生具有权转移的进程。在此拷贝构造进程中,pstr_auto将失去对字符串内存的所有权,而pstr_auto2将其取得。对象烧毁时,pstr_auto2负责内存的自动烧毁。
3) 赋值
利用已存在的智能指针来构造新的智能指针
auto_ptr< int > p1( new int( 1024 ) );
auto_ptr< int > p2( new int( 2048 ) );
p1 = p2;
在赋值之前,由p1 指向的对象被删除。赋值以后,p1 具有int 型对象的所有权。该对象值为2048。 p2 不再被用来指向该对象。
通常的指针在定义的时候若不指向任何对象,我们用Null给其赋值。对智能指针,由于构造函数有默许值0,我们可以直接定义空的auto_ptr以下:
auto_ptr< int > p_auto_int;
由于auto_ptr的所有权独有,所以下面的代码会造成混乱。
int* p = new int(0);
auto_ptr<int> ap1(p);
auto_ptr<int> ap2(p);
由于ap1与ap2都认为指针p是归它管的,在析构时都试图删除p, 两次删除同1个对象的行动在C++标准中是未定义的。所以我们必须避免这样使用auto_ptr。
1) 按值传递时,函数调用进程中在函数的作用域中会产生1个局部对象来接收传入的auto_ptr(拷贝构造),这样,传入的实参auto_ptr就失去了其对原对象的所有权,而该对象会在函数退出时被局部auto_ptr删除。以下例:
void f(auto_ptr<int> ap)
{cout<<*ap;}
auto_ptr<int> ap1(new int(0));
f(ap1);
cout<<*ap1; //毛病,经过f(ap1)函数调用,ap1已不再具有任何对象了。
2) 援用或指针时,不会存在上面的拷贝进程。但我们其实不知道在函数中对传入的auto_ptr做了甚么,如果当中某些操作使其失去了对对象的所有权,那末这还是可能会致使致命的履行期毛病。
结论:const reference是智能指针作为参数传递的底线。
缘由很简单,delete 表达式会被利用在不是动态分配的指针上这将致使未定义的程序行动。
1) get()
返回auto_ptr指向的那个对象的内存地址。以下例:
int* p = new int(33);
cout << "the adress of p: "<< p << endl;
auto_ptr<int> ap1(p);
cout << "the adress of ap1: " << &ap1 << endl;
cout << "the adress of the object which ap1 point to: " << ap1.get() << endl;
输出以下:
the adress of p: 00481E00
the adress of ap1: 0012FF68
the adress of the object which ap1 point to: 00481E00
第1行与第3行相同,都是int所在的那块内存的地址。第2行是ap1这个类对象本身所在内存的地址。
2) reset()
重新设置auto_ptr指向的对象。类似于赋值操作,但赋值操作不允许将1个普通指针指直接赋给auto_ptr,而reset()允许。以下例:
auto_ptr< string > pstr_auto( new string( "Brontosaurus" ) );
pstr_auto.reset( new string( "Long -neck" ) );
在例子中,重置前pstr_auto具有"Brontosaurus"字符内存的所有权,这块内存首先会被释放。以后pstr_auto再具有"Long -neck"字符内存的所有权。
注:reset(0)可以释放对象,烧毁内存。
3) release()
返回auto_ptr指向的那个对象的内存地址,并释放对这个对象的所有权。
用此函数初始化auto_ptr时可以免两个auto_ptr对象具有同1个对象的情况(与get函数相比)。
例子以下:
auto_ptr< string > pstr_auto( new string( "Brontosaurus" ) );
auto_ptr< string > pstr_auto2( pstr_auto.get() ); //这是两个auto_ptr具有同1个对象
auto_ptr< string > pstr_auto2( pstr_auto.release() ); //release可以首先释放所有权
附上auto_ptr的实现代码: