1.问题引入
#include<iostream>
using namespace std;
class A
{
public:
A(){cout << "执行构造函数 ~"<< endl;}
~A(){cout << "执行析构函数 ~"<< endl;}
} ;
class B{};
void func()
{
throw B();
}
int main()
{
try{
A* a=new A();
func();
delete a;
}catch(B){
cout <<"是B类型的异常" << endl;
}
return 0;
}
执行结果看不到析构,因为由于try-catch使得直接跳过delete语句,当然你可以通过调整语句顺序,这里我们采用auto_ptr的方式对这个问题进行解决。
2.问题解决(用智能指针的方式)
#include<iostream>
#include<memory> //注意加头文件
using namespace std;
class A
{
public:
A(){cout << "执行构造函数 ~"<< endl;}
~A(){cout << "执行析构函数 ~"<< endl;}
} ;
class B{};
void func()
{
throw B();
}
int main()
{
try{
// A* a=new A();
auto_ptr <A> a(new A());
func();
//delete a;
}catch(B){
cout <<"是B类型的异常" << endl;
}
return 0;
}
3.通过自己实现的简易auto_ptr来看它的工作原理:
template< class T>
class my_auto_ptr {
private:
T* m_ptr; //被封装的指针
public:
my_auto_ptr( T* p) :m_ptr( p ) { }
~my_auto_ptr() { delete m_ptr; }
T& operator*() { return *m_ptr;}
T* operator->() { return m_ptr;}
}
4. 使用场合:使用auto_ptr作为成员变量,以避免资源泄漏。 为了防止资源泄漏,我们通常在构造函数中申请,析构函数中释放,但是只有构造函数调用成功,析构函数才会被调用,换句话说,如果在构造函数中产生了异常,那么析构函数将不会调用,这样就会造成资源泄漏的隐患。
比如,如果该类有2个成员变量,指向两个资源,在构造函数中申请资源A成功,但申请资源B失败,则构造函数失败,那么析构函数不会被调用,那么资源A则泄漏。 为了解决这个问题,我们可以利用auto_ptr取代普通指针作为成员变量,这样首先调用成功的成员变量的构造函数肯定会调用其析构函数,那么就可以避免资源泄漏问题。
5.注意事项:不要误用auto_ptr 1)auto_ptr不能共享所有权,即不要让两个auto_ptr指向同一个对象。 2)auto_ptr不能指向数组,因为auto_ptr在析构的时候只是调用delete,而数组应该要调用delete[]。 3)auto_ptr只是一种简单的智能指针,如有特殊需求,需要使用其他智能指针,比如share_ptr。 4)auto_ptr不能作为容器对象,STL容器中的元素经常要支持拷贝,赋值等操作,在这过程中auto_ptr会传递所有权,那么source与sink元素之间就不等价了。(不要将auto_ptr对象作为STL容器的元素。C++标准明确禁止这样做,否则可能会碰到不可预见的结果) 5)不能通过赋值操作来初始化auto_ptr
std::auto_ptr<int> p(new int(42)); //OK
std::auto_ptr<int> p = new int(42); //ERROR