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

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

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