构造函数失败_c++构造函数初始化报错

什么函数都有可能失败，构造函数也不另外，比如new一个对象或空间不成功。当构造函数失败的时候，其实很多时候我们不想这个对象被继续生成，这个时候就可以在构造函数里面抛出异常。C++规定构造函数抛出异常之后，对象将不被创建，析构函数也不会被执行，但已经创建成功的部分（比如一个类成员变量）会被部分逆序析构，不会产生内存泄漏。但有些资源需要在抛出异常前自己清理掉，比如打开成功的一个文件，最好关闭掉再抛出异常（虽然系统也会把这个资源回收），因为抛出异常之后析构函数不会被执行了。

网上比较经典的总结

（1） C++中通知对象构造失败的唯一方法那就是在构造函数中抛出异常；（这句话并不是说我们只有这个方法才能让上层知道构造函数失败，虽然构造函数没有返回值，我们完全可以在构造函数中传入一个引用值，然后在里面设置状态，运行完构造函数之后任然可以知道是否失败，但这种情况下面对象其实还是被构造出来的，只是里面有资源分配失败而已，并且析构函数还是会执行。这和我们构造失败不生成对象的初衷不符。）
（2）构造函数中抛出异常将导致对象的析构函数不被执行；（但已经生产的部分成员变量还是会被逆向析构的）
（3）当对象发生部分构造时，已经构造完毕的子对象将会逆序地被析构；

网上的一个例子

一个实例对象的构造
第一步，分配足够的内存，如果失败就是栈溢出或抛出std::bad_alloc的异常，所以在这步你不用担心内存泄露，而且这一步你是不能插手的，如果这步成功，就进入第二步。

new运算符的实现保证了内存泄漏不会发生。例如

T *p = new T;

将被编译器转换给类似下面的样子：（其实和我们自己释放已经申请的资源的思想流程是一样的）

// 第一步，分配原始内存，若失败则抛出bad_alloc 异常

try {

// 第二步，调用构造函数构造对象

new (p)T; // placement new: 只调用T 的构造函数

catch (...) {

delete []p; // 释放第一步分配的内存

throw ; // 重抛异常，通知应用程序

第二步，调用构造函数，在通常情况下，如果构造函数为空或没有进行动态内存分配，你就不用关心内存泄露了你需要关心的是构造函数中有动态内存分配 class A char* str[10]; public: for(int i=0;i<10;i++) str[i]=NULL; //对str[]初始化，这是必须的，不然再后面delete就会出现问题 for(int i=0;i<10;i++) str[i]=new char[1024*1024*1024]; //要来就来狠的 catch(bad_alloc){ for(int i=0;i<10;i++) delete []str[i]; //放心，即使delete NULL是不会出问题的 throw; //就抛出这个bad_alloc，这才是构造函数抛出去的异常，外层会扑捉到，并且析构函数不会被调用 for(int i=0;i<10;i++) delete []str[i]; int main() A *pA=NULL; pA=new A; catch(bad_alloc){ cout<<"Out of memory"<<endl; delete pA; return 0; pA是用NULL初始化的，即使在给A分配内存时(第一步)失败，这样就不会导致后面的delete pA出错。

对于构造函数可能失败的做法一般有两种

1. 在构造函数中抛出异常，本对象构造未完成，它的析构函数不会被调用。当然，我们有义务释放已经分配到的资源。简单，最常见。
2. 把资源的初始化工作放在另一个单独函数中，比如 bool init(...)，由对象创建者（比如工厂方法）先调用构造函数，再调用init方法。ATL中常见。

本帖最后由 songge09 于 2010-6-30 17:37 编辑

如果构造函数中发生错误，如何处理较为妥当？不要说构造函数中不可能发生错误，那要么是你没有处理，要么是总是空的构造函数。

我目前得方法是这样的

SomeClass obj;
if (!obj.init())
{
log("error.");
}

但总觉得这样是不是太c style了，并不是说c style不好，而是c++本身的style是什么？

c++作者搞了个raii的方案，我不喜欢，不够kiss。
望牛哥指点。

AClass * a = nullptr;
try
{
a = new AClass();
}
catch(...)
{
// what is a ? a is nullptr! real a is missing!
}

这个情况就相当尴尬了，构造函数一旦抛出异常，a 根本就没有赋值，也就是说，new 的结果泄露了。

构造函数和析构函数是一定不能抛出异常的，否则将引来更多问题。

本帖最后由 lidudu 于 2010-7-2 10:31 编辑

构造函数执行时，对象的内存已经分配了。
按C++ Spec，构造函数抛异常时，会立刻执行已成功构造的成员对象的析构函数并释放内存。所以不会有内存泄露。

但是，这并不意味着没问题了，因为在析构函数里，你并不知道哪些成员已经初始化了而需要delete，这意味着需要在构造函数初始化列表里将指针都初始化成NULL，然后再构造函数体内创建对象赋值，这样析构才能判断。

即便不会出错误了，要满足C++ spec意味着编译器要对每个可能抛异常的构造的new操作自动生成一个try-catch来调用析构和释放内存。在意性能的程序员会很心痛~心痛~心痛~

所以，便有了构造析构不干活，而另做init()/destroy()的用法。

但C++创始人strovstrup认为应该用Resource Acqusition is Initialization的模式，也就是要用构造和析构。但出错时未必要抛异常，而可以将对象置于无效状态，如file("abc.txt")构造后，如果文件不存在，那么if (file) 为假。这个方法的麻烦就是构造之后要多做一步检查，但总比init()/destroy()简单。

本帖最后由 lidudu 于 2010-7-2 10:39 编辑

纠正一下，前面说的有错。当new obj()抛异常时，obj.~obj()不会执行，但其已经成功初始化的成员对象的析构会被执行。也就是说，成功分配内存的单纯的指针成员变量会导致内存泄露，所以必须用smart_ptr这种带析构函数的包装。

另外，即使构造函数没有抛异常，但任何new运算符都可能因为out of memory抛异常（按C++ spec），那么理论上编译器总要在new外边套一层try-catch，才能保证正确释放资源。这个比较郁闷。

不论如何，C++的构造函数里最好还是避免异常，析构更是。STL里绝大多数类的构造都不抛异常。当然，这个不是太有说服力，因为STL最早出现时，C++还没有异常处理这个特性呢。

对于异常方面的问题，可以参考 http://yosefk.com/c++fqa/exceptions.html#fqa-17.2

另外，即使构造函数没有抛异常，但任何new运算符都可能因为out of memory抛异常（按C++ spec），那么理论上编译器总要在new外边套一层try-catch，才能保证正确释放资源。
并不是要靠try-catch才能保证正确释放资源的，调new的话最终会掉MSVCR90(D).dll这类CRT的函数（如果调试debug版的CRT会发现调new的话会调malloc，然后是一系列的debug版malloc实现，非常多，最终有一个函数调了HeapAlloc,release比较简单，最终也是调HeapAlloc），最终由HeapAlloc、VirtualAlloc这类函数负责分配内存，当程序结束时进程负责摧毁所有的堆（如果没掉HeapCreate的话就一个默认堆），堆摧毁时内存就释放了，所以编译器并不需要去给new加try-catch来保证资源被释放的，CRT会加try-catch，但它不是为了正确释放内存用的。 public: Square(int length) { this->length = length; } void setLength(int length) { this->setLength = length; } int area() { return length * length; } private: 当用户定义了有参 构造函数 ， c++ 就不再提供默认无参构造，但会提供默认拷贝构造当用户定义了拷贝 构造函数 ， c++ 就不再提供其他 构造函数 当编译器不再提供 构造函数 时，用户就不能再调用相应的 构造函数 ；而出现没有合适的默认 构造函数 这样的报错时，说明用户在编译器没有提供默认 构造函数 时调用了默认 构造函数 ，故会报错解决...