C bad_alloc抛出一个构造函数

Question

当bad_alloc异常在构造函数中被抛出时，其中创建了多个对象，必须做些什么来清理内存。例如。

class Object
{
   private:
     A * a;
     B  * b;

 public:

   Object()
   {
       a= new A();
       b= new B(); //So if a bad_alloc is called here, how is a deleted???
   }
} 

我的直觉是，将每个对new的调用放在一个单独的try-catch组中，并删除之前为其调用了new，但这太冗长的所有对象（第一个try组不调用析构函数，第二个类调用第一个类的析构函数，第三个类调用前两个类的析构函数，以此类推）。我的问题是：最常见的处理方法是什么？

另外，假设类对象包含一个不是用new创建的对象（因为它在堆栈上），它的析构函数会自动调用吗？

Answer 1

首先，我修复了你的代码，因为它是一个C问题，所以它必须写成C。构造函数可能会失败，除了bad_alloc之外还有其他异常。

你的选择有：

>

存储某种智能指针，如unique_ptr，它实际上是一个对象，因此像对象一样被清理，如果有，则删除底层指针。

在类中存储一个常规指针，但在构造函数期间使用unique_ptr（如果unique_ptr不可用，则使用auto_ptr），最后当您知道所有内容都已正确构造时，可以将智能指针释放到成员变量中。

后一种解决方案如下所示：

 // header file
 //
class A; // implementation hidden on purpose
class B; // ditto

class Object
{
   private:
      A * a;
      B * b;

   public:
     Object();
     ~Object();

    private:

 // if not using C++11 do not put in =delete but still declare these

    Object( const Object & ) = delete;
    Object& operator=( const Object & ) = delete;

};

// cpp file

#include "object.h"
#include "a.h"
#include "b.h"

Object::Object()
   : a( nullptr ), // use NULL or 0 if nullptr not available
     b( nullptr )
{
    std::unique_ptr< A > pa( new A ); // might throw
    std::unique_ptr< B > pb( new B ); // might throw (1)

    a = pa.release(); // cannot throw
    b = pb.release(); 
}

Object::~Object()
{
     delete b;
     delete a;
}

（1）如果它抛出本地的pa将调用其析构函数，这将删除您使用new创建的指针。

注意：如果您没有可用的unique_ptr，auto_ptr也可以在这里使用。

Answer 2

您想使用智能指针：

class Object {
    std::unique_ptr<A> a;
    std::unique_ptr<B> b;

public:
    Object() : a(make_unique<A>()), b(make_unique<B>()) {}
}