0

Как известно если в конструкторе класса кидается исключение то объект не считается созданным и его деструктор не вызывается.

Рассмотрим такой класс:

class A
{
    class B
    {
    public:
        void operator =(char* v)
        {
            _v = v;
        }
        ~B()
        {
            delete[] _v;
        }
    private:
        char* _v;
    };

    B _b;

public:
    A()
    {
        _b = new char[10];
         throw 1;
    }
    ~A()
    {
        std::cout << "~A()" << std::endl;
    }
};

int main()
{
  try
  {
   A a;
  }
  catch(...)
  {
  }
}

В этом случае утечки памяти не будет. Но почему будет вызван деструктор класса B? Откуда мы в него придем? Ведь объект его содержащий не будет разрушен.

1
  • 1
    Это объект класса A будет считаться не созданным, а объект класса B, являющийся полем создаваемого объекта класса A, будет уже создан. Соответственно при выбрасывании исключения из конструктора класса A будет вызван сгенерированный компилятором код для разрушения уже созданных полей класса A. 21 мая 2018 в 15:49

3 ответа 3

3

Но почему будет вызван деструктор класса B? Откуда мы в него придем?

Деструктор для поля A::b будет автоматически вызван конструктором класса A при возникновении исключения.

1

Вот тут

A()
{
    _b = new char[10];

раз вы не написали явный вызов конструктора для b_, будет вызван конструктор по умолчанию.

Можно было бы переписать этот кусок как

A():_b(new char[10])
{

конечно, написав соответствующий конструктор для B.

4
  • Прошу прощения, опечатка в сообщении, не конструктор а деструктор 21 мая 2018 в 15:46
  • А деструктор будет вызван, потому что был вызван конструктор! (О котором я написал - читай про конструктор по умолчанию).
    – Harry
    21 мая 2018 в 15:49
  • Деструктор вызывается при выходе из области видимости, где это происходит? 21 мая 2018 в 15:50
  • 1
    Когда сгенерировано исключение, все созданные к этому времени в блоке try объекты уничтожаются. Все.
    – Harry
    21 мая 2018 в 15:54
1

Конструктор класса b будет вызван при вызове конструктора класса A, потому что нужно инициализировать переменные класса. А потом здесь _b = new char[10]; будет вызван operator=.

2
  • Прошу прощения, опечатка в сообщении, не конструктор а деструктор 21 мая 2018 в 15:46
  • 1
    согласно стандарту языка с++, при выбросе исключения в конструкторе, будет происходить расскрутка стека, в процессе которой будут вызваны деструкторы переменных класса (ошибочно называемых "полями"), который бросил исключение.
    – KoVadim
    21 мая 2018 в 18:32

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.