Кто удаляет память, выделенную во время “новой” операции, которая имеет исключение в конструкторе?

Если Конструктор выбрасывает выделенную для объекта память, она автоматически возвращается в систему.

Обратите внимание, что деструктор сгенерированного класса не будет вызываться.
Но деструктор любого базового класса (где базовый конструктор завершен) также будет вызван.

Примечание:
Как отметило большинство других людей, члены могут нуждаться в некоторой очистке.

Члены, которые были полностью инициализированы, будут иметь свои деструкторы, но если у вас есть какие-либо элементы указателя RAW, которыми вы владеете (то есть удалите в деструкторе), вам придется сделайте некоторую очистку, прежде чем выполнять бросок (еще одна причина не использовать собственные указатели RAW в вашем классе).

#include <iostream>

class Base
{
    public:
        Base()  {std::cout << "Create  Base\n";}
        ~Base() {std::cout << "Destroy Base\n";}
};

class Deriv: public Base
{
    public:
        Deriv(int x)    {std::cout << "Create  Deriv\n";if (x > 0) throw int(x);}
        ~Deriv()        {std::cout << "Destroy Deriv\n";}
};

int main()
{
    try
    {
        {
            Deriv       d0(0);  // All constructors/Destructors called.
        }
        {
            Deriv       d1(1);  // Base constructor and destructor called.
                                // Derived constructor called (not destructor)
        }
    }
    catch(...)
    {
        throw;
        // Also note here.
        // If an exception escapes main it is implementation defined
        // whether the stack is unwound. By catching in main() you force
        // the stack to unwind to this point. If you can't handle re-throw
        // so the system exception handling can provide the appropriate
        // error handling (such as user messages).
    }
}

Из стандарта C ++ 2003 5.3.4 / 17 - Новое:

Если какая-либо часть описанной выше инициализации объекта завершается выдачей исключения и подходящим освобождением Функция освобождения памяти вызывается для освобождения памяти, в которой создавался объект, после чего исключение продолжает распространяться в контексте нового выражения. Если не удается найти однозначно совпадающую функцию освобождения памяти, распространение исключения не приводит к освобождению памяти объекта. [Запись: Это подходит, когда вызываемая функция распределения не выделяет память; в противном случае это может привести к утечке памяти. ]

Таким образом, утечка может быть, а может и не быть - это зависит от того, удастся ли найти подходящий освободитель (что обычно бывает, если только оператор new / delete не был переопределен). В случае, когда есть подходящий освободитель, компилятор отвечает за соединение при вызове его, если конструктор выдает ошибку.

Обратите внимание, что это более или менее не связано с тем, что происходит с ресурсами, полученными в конструкторе, что я обсуждал в первой попытке ответа - и вопрос, который обсуждается во многих часто задаваемых вопросах, статьях и публикациях.

Если объект не может завершить уничтожение из-за того, что конструктор выдает исключение, первое, что должно произойти (это происходит как часть специальной обработки конструктора), - это уничтожить все создаваемые переменные-члены. - если исключение выбрасывается в списке инициализаторов, это означает, что уничтожаются только те элементы, для которых инициализатор завершил работу.

Затем, если объект был выделен с помощью new , соответствующая функция освобождения ( operator delete ) вызывается с теми же дополнительными аргументами, которые были переданы в operator new . Например, new (std :: nothrow) SomethingThatThrows () выделит память с помощью оператора new (size_of_ob, nothrow) , попытайтесь построить SomethingThatThrows , уничтожьте все элементы, которые были успешно созданы, затем вызовите operator delete (ptr_to_obj, nothrow) при распространении исключения - это не приведет к утечке памяти.

Вы должны быть осторожны при выделении нескольких объектов в последовательность - если один из последующих бросает, предыдущие не будут автоматически освобождены. Наилучший способ решить эту проблему - использовать интеллектуальные указатели, поскольку их деструкторы как локальные объекты будут вызываться во время раскрутки стека, и их деструкторы будут правильно освобождать память.

предыдущие не удаляются автоматически. Наилучший способ решить эту проблему - использовать интеллектуальные указатели, поскольку их деструкторы как локальные объекты будут вызываться во время раскрутки стека, и их деструкторы будут правильно освобождать память.

предыдущие не удаляются автоматически. Наилучший способ решить эту проблему - использовать интеллектуальные указатели, поскольку их деструкторы как локальные объекты будут вызываться во время раскрутки стека, и их деструкторы будут правильно освобождать память.

Я думаю, что конструктор может вызывать исключение как-то странно. Не могли бы вы получить возвращаемое значение и протестировать его в своем основном файле?

class Blah
{
   public:

   Blah()
       {
           if Error
           {
              this.Error = "oops";
           }
        }
};

void main()
{
Blah* b = NULL;

b = new Blah();

if (b.Error == "oops")
{
   delete (b);
   b = NULL;
}

Цитата из FAQ по C ++ ( parashift.com ):

[17.4] Как мне обрабатывать ресурсы, если мои конструкторы могут бросать исключения?

Каждый элемент данных внутри вашего объекта должен убирать свой беспорядок.

Если конструктор выдает исключение, деструктор объекта не запустить. Если ваш объект уже сделал что-то, что нужно отменить (например, выделение некоторой памяти, открытие файла или блокировка семафор), этот «материал, который нужно отменить» необходимо запомнить элементом данных внутри объекта.

Например, вместо выделения памяти в необработанные Fred * данные элемент, поместите выделенную память в объект-член "умного указателя", и деструктор этого умного указателя удалит Fred объект, когда умный указатель умирает. Шаблон std :: auto_ptr является пример такой как "умный указатель". Вы также можете написать свой интеллектуальный указатель подсчета ссылок . Вы также можете использовать интеллектуальные указатели для "указания" на записи на диске или объекты на других машинах .

Кстати, если вы думаете, что ваш класс Fred будет выделен в умный указатель, будьте вежливы со своими пользователями и создайте typedef в вашем классе Fred :

  #include 

 class Fred {
 общественность:
 typedef std :: auto_ptr  Ptr;
 ...
 };

Этот typedef упрощает синтаксис всего кода, который использует ваш объекты: ваши пользователи могут сказать Fred :: Ptr вместо std :: auto_ptr :

  #include "Fred.h"

void f (std :: auto_ptr  p); // явно, но многословно
void f (Fred :: Ptr p); // проще

 void g ()
 {
std :: auto_ptr  p1 (новый Fred ()); // явно, но многословно
Фред :: Ptr p2 (новый Фред ()); // проще
 ...
 }

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