本文主要是介绍【中级】C++构造函数抛出异常,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
C++标准并未提到在构造函数中不能抛出异常,但是在构造函数中抛出异常确实有些问题需要注意,请看下面的代码:
class A
{
public:~A(){printf("~A()\n");}
};class Base
{
public:Base(){printf("Base()\n");pi = new int;throw 0;}~Base(){printf("~Base()\n");delete pi;}private:int *pi;A a;
};
以上是类A和Base的定义,在Base的构造函数中故意抛出一个异常,这样在执行下面的代码时,看看会输出什么?
try
{Base base;
}
catch(...)
{printf("catch block.\n");
}
输出是:
Base()
~A()
catch block.
可以看到Base的析构函数~Base()并未调用,从而pi所指的动态分配的内存就未释放,进而造成内存泄露;不过Base中的对象成员a却正常析构了,C++标准不是说类中的对象成员的析构函数应该由该类的析构函数负责调用吗,而在这里~Base()根本就没被调用,为什么其中的对象成员a的析构函数还是被执行了呢?这是由C++中的异常处理机制引起的。
C++标准指出:如果对象在运行期间出现异常,那么C++的异常处理机制有责任释放那些因出现异常而失效的对象的内存,并且释放对象所分配的资源,而释放资源是通过调用对象的析构函数来达到的。
在本例中,由于是在构造base对象时出现异常,那么任何与base对象相关的对象的内存都应该释放,并且对象的析构函数应该被调用,以释放对象内部分配的资源,因此base对象中的a对象的析构函数被调用了,那么,为什么base对象本身的析构函数未被调用,进而造成了内存泄露?我想原因可能是,因为是在构造base对象时抛出异常,那么base此时就不是一个完整的对象,C++应该不会为一个未完全构造的对象调用其析构函数。
那么,就没有办法消除由于在构造函数中抛出异常而可能导致内存泄露的问题吗?在More Effective C++一书中对于如何写出异常安全的构造函数进行了深入的探讨,解决之道是将指向在构造函数中动态分配的内存的指针包装到auto_ptr对象中,把释放内存的职责转交给auto_ptr对象,这样就不必担心构造时发生异常而导致内存泄露。
这篇关于【中级】C++构造函数抛出异常的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!