构造函数与析构函数抛出异常的问题判断

小鱼儿 2024-02-18 20:54 52阅读 0赞

## 构造函数可以抛出异常么？析构函数可以吗？ ##

【分析】

从语法上来说，构造函数和析构函数都可以抛出异常。但从逻辑上和风险控制上，构造函数可以，析构函数不推荐抛出异常。

**(1)构造函数可以抛出异常**

无论何时，从构造函数中抛出异常都是可以的。动态创建对象要进行两个操作：分配内存和调用构造函数。若在分配内存时出错，会抛出bad\_alloc异常；若在调用构造函数初始化时出错，会不会存在内存泄漏呢？答案是不会。

new运算符保证不会出现内存泄漏：

**(2)析构函数不推荐抛出异常，如果析构函数可能抛出异常，那么必须要求在析构函数内消化所有异常或者结束程序。**

moreeffective c++提出两点理由（析构函数不能抛出异常的理由）

1）如果析构函数抛出异常，则异常点之后的程序不会执行，如果析构函数在异常点之后执行了某些必要的动作比如释放某些资源，则这些动作不会执行，会造成诸如资源泄漏的问题。 \[正常情况下调用析构函数抛出异常导致资源泄露\]

2）通常异常发生时，c++的机制会调用已经构造对象的析构函数来释放资源，此时若析构函数本身也抛出异常，则前一个异常尚未处理，又有新的异常，会造成程序崩溃的问题。 \[在发生异常的情况下调用析构函数抛出异常，会导致程序崩溃\]

解决方案：

1) 如果某个操作可能会抛出异常，class应提供一个普通函数（而非析构函数），来执行该操作。目的是给客户一个处理错误的机会。

2) 如果析构函数中异常非抛不可，那就用try catch来将异常吞下，必须要把这种可能发生的异常完全封装在析构函数内部，决不能让它抛出函数之外。

## 构造函数能否是虚函数呢？答案当然是否定的！ ##

简单解释就是要构造一个对象，就必须确切知道所创建的对象的具体类型，假如构造函数是虚函数，那么我们就得通过虚函数表vtable来调用构造函数了，然而虚函数表是在构造函数中才初始化的，所以通过这种方式我们不可能得到构造函数的指针，所以构造函数不能是虚函数。

但是如果我们实在是作，实在是想实现这种“虚构造函数”效果，有没有办法呢？办法是有的，那就是定义一个虚函数，由它来调用构造函数并返回构造起来的对象；

析构函数可以是虚函数，因为此时虚函数表vtable已经初始化了，而且我们通常是通过基类的指针来销毁派生类对象，如果析构函数不为虚函数的话，就不能正确识别对象类型，也就不能正确销毁对象了；如果基类的析构函数不是虚函数，则delete一个指向派生类对象的基类指针将产生未定义的行为；还有一点需要注意的是，如果一个类定义了虚析构函数，那么编译器将不会为这个类合成移动操作；