异常处理之二

1,关于异常的清理.
一个特殊的情况:如果一个对象在执行构造函数的过程中抛出了异常,那么该对象的析构函数将不会被调用.导致之前动态分配的资源无法得到释放.

#include <iostream>
#include <cstddef>
using namespace std;

class A
{
public:
    A(){ cout<<"A()"<<endl; }
    ~A(){ cout<<"~A()"<<endl; }
};

class B
{
public:
    void* operator new(size_t)
    {
        cout<<"allocating B"<<endl;
        throw 43;
    }
    void operator delete(void* p) //这里的写法
    {
        cout<<"delete B"<<endl;
        ::operator delete(p);
    }
};

class UseResource
{
public:
    A* pA;
    B* pB;
    UseResource(int cnt=1)
    {
        cout<<"UseResource()"<<endl;
        pA=new A[cnt];
        pB=new B;
    }
    ~UseResource()
    {
        cout<<"~UseResource()"<<endl;
        delete[] pA;
        delete pB;
    }
};

int main()
{
    //freopen("main.txt","w",stdout);
    try{
        UseResource ur(3);
        //由于ur执行构造函数过程中发生了异常,
        //导致动态分配的资源均无法得到释放.
    }
    catch(int)
    {
        cout<<"handle int exception"<<endl;
    }
    catch( ... )
    {
        cout<<"with other exception"<<endl;
    }


    return 0;
}

引用

UseResource()
A()
A()
A()
allocating B
handle int exception

可见为A和B动态分配的资源均未得到释放.
2,利用模板类,解决上述问题.

#include <iostream>
#include <cstddef>
using namespace std;

//定义一个封装指针的典型模板类
template<class T,size_t sz=1>
class PWrap
{
public:
    T* ptr;
    PWrap()
    {
        cout<<"PWrap()"<<endl;
        ptr=new T[sz];
    }
    ~PWrap()
    {
        cout<<"~PWrap()"<<endl;
        delete[] ptr;
    }
};

class A
{
public:
    A(){ cout<<"A()"<<endl; }
    ~A(){ cout<<"~A()"<<endl; }
};

class B
{
public:
    void* operator new[](size_t)
    {
        cout<<"allocating B"<<endl;
        throw 43;
    }
    void operator delete[](void* p) //这里的写法
    {
        cout<<"delete B"<<endl;
        ::operator delete[](p);
    }
};

class UseResource
{
public:
    PWrap<A,3> a; //这里分配的资源均得到了释放.
    PWrap<B> b; //抛出了异常
    //模板的使用使得ur在调用构造函数之前,
    //A,B的构造函数首先被调用,因此在"栈反解"
    //的时候,会调用析构函数.
    UseResource(int cnt=1)
    {
        cout<<"UseResource()"<<endl;
    }
    ~UseResource()
    {
        cout<<"~UseResource()"<<endl;
    }
};

int main()
{
    freopen("main.txt","w",stdout);
    try{
        UseResource ur(3);
        //由于ur执行构造函数过程中发生了异常,
        //导致动态分配的资源均无法得到释放.
    }
    catch(int)
    {
        cout<<"handle int exception"<<endl;
    }
    catch( ... )
    {
        cout<<"with other exception"<<endl;
    }


    return 0;
}

引用

PWrap()
A()
A()
A()
PWrap()
allocating B
~PWrap()
~A()
~A()
~A()
handle int exception

由输出可以看出为a分配的资源均得到了释放.
但是由于异常发生在b的构造函数,因此对象b和它的模板类均未调用析构函数.