Вызывается ли деструктор, если конструктор выдает исключение?

преамбула: Херб Саттер имеет большую статью на эту тему:

http://herbsutter.wordpress.com/2008/07/25/constructor-exceptions-in-c-c-and-java/

C++: да и нет

хотя деструктор объекта не будет вызываться, если его конструктор бросает (объект "никогда не существовал"), деструкторы его внутренних объектов могут быть вызваны.

в качестве резюме каждая внутренняя часть объекта (т. е. объекты-члены) будет иметь свои деструкторы вызываются в обратном порядке их строительства. Каждая вещь, построенная внутри конструктора, не будет иметь своего деструктора, если RAII не используется каким-либо образом.

например:

struct Class
{
   Class() ;
   ~Class() ;

   Thing *    m_pThing ;
   Object     m_aObject ;
   Gizmo *    m_pGizmo ;
   Data       m_aData ;
}

Class::Class()
{
   this->m_pThing = new Thing() ;
   this->m_pGizmo = new Gizmo() ;
}

порядок создания будет:

1. m_aobject будет иметь свой конструктор.
2. m_adata будет иметь свой конструктор.
3. конструктор класса называется
4. внутри конструктора класса m_pThing будет иметь его новый, а затем конструктор называется.
5. внутри конструктора класса m_pGizmo будет иметь свой новый, а затем конструктор.

предположим, мы используем следующий код:

Class pClass = new Class() ;

некоторые возможные случаи:

• если m_adata бросит на строительство, m_aobject будет иметь свой деструктор. Затем память, выделенная "новым классом", освобождается.

• должен ли m_pthing бросить на новую вещь (из памяти), m_aData, а затем m_aobject будет вызывать свои деструкторы. Затем память, выделенная новым классом, освобождается.

• если m_pthing бросит на строительство, память, выделенная "новой вещью", будет освобождена. Затем m_adata, а затем m_aObject будут вызывать свои деструкторы. Затем память, выделенная новым классом, освобождается.

• должен ли m_pgizmo бросать на строительство, память, выделенную "new Подарок " будет освобожден. Затем m_adata, а затем m_aObject будут вызывать свои деструкторы. Затем память, выделенная новым классом, освобождается. обратите внимание, что m_pthing утечка

если вы хотите предложить основную гарантию исключения, вы не должны протекать, даже в конструкторе. Таким образом, вам придется написать это так (используя STL или даже Boost):

struct Class
{
   Class() ;
   ~Class() ;

   std::auto_ptr<Thing>   m_pThing ;
   Object                 m_aObject ;
   std::auto_ptr<Gizmo>   m_pGizmo ;
   Data                   m_aData ;
}

Class::Class()
   : m_pThing(new Thing())
   , m_pGizmo(new Gizmo())
{
}

или еще:

Class::Class()
{
   this->m_pThing.reset(new Thing()) ;
   this->m_pGizmo.reset(new Gizmo()) ;
}

если вы хотите / нужно создать те объекты внутри конструктора.

таким образом, независимо от того, куда бросает конструктор, ничего не будет утечка.