Что происходит при присвоении нового значение переменнной, хранящей объект?

Question

[Dmitry Demin]

Здравствуйте. Прошу кидать только тапками по-легче, чтобы не было очень больно, ибо только начал изучать C++. В гугле адекватных ответов найти не удалось (хотя, может плохо искал).

Преамбула: есть две переменные a и b, обе типа MyClass (не указатели, то бишь объекты живут в стековой памяти и должны быть уничтожены при выходе из функции) и обе уже инициализированы.
MyClass a(...), b(...);

Собственно, сам вопрос: Что происходит при присвоении переменной a значения переменной b?
a = b;
Если конкретно, интересуют следующие моменты:

1. Происходит ли уничтожение объекта, хранящегося в a? Если да, то в какой момент?
   
2. Объект, хранящийся в b, копируется побитово или с использованием конструктора копирования?
   P.S. эта часть вопроса возникла когда удалось выполнить присваивание без наличия соотв. конструктора.
   

Comments

[Adamos]

> В гугле адекватных ответов найти не удалось (хотя, может плохо искал).

В учебнике ответы на такие вопросы надо искать. Глава "конструкторы", пункт "не пропускай главу "Конструкторы"!".

Answer 1

[Толстый Лорри]

Происходит ли уничтожение объекта, хранящегося в a?

Перечитал вопрос) Если оператор не перегружен, то данные будут затёрты, сам объект a будет бинарной копией b. Если перегружен, то произойдет лишь то, что там описано.

Объект, хранящийся в b, копируется побитово или с использованием конструктора копирования?

С использованием оператора копирующего присваивания =3 По умолчанию он копирует объект побитово (так же поступает умолчательный конструктор копирования, кстати).

удалось выполнить присваивание без наличия соотв. конструктора.

За вас дефолтные реализации дописал компилятор.

Comments

[Dmitry Demin]

Понятно, спасибо. Отмечаю как ответ:3
Существует ли способ уничтожить объект корректно перед таким копированием?
Имеется ввиду выполнение деструктора (закрытие файлов, подключений и пр.).

[jcmvbkbc]

Если оператор не перегружен, то данные будут затёрты, сам объект a будет бинарной копией b.

Это верно только для POD объекта. В противном случае даже если оператор присваивания класса которому принадлежит объект не определён, поля объекта будут скопированы своими собственными операторами присваивания.

[jcmvbkbc]

удалось выполнить присваивание без наличия соотв. конструктора.

За вас дефолтные реализации дописал компилятор.

Конструктор для присваивания не нужен. Нужен оператор присваивания.

[Толстый Лорри]

jcmvbkbc: Я подразумевал, что операторы присваивания и конструкторы копирования нигде по иерархии вложения не перегружены. Спасибо, что дополнили.

[Толстый Лорри]

jcmvbkbc: Об этом я писал выше. В рамках поднятой темы - сложные дочерние члены будут копироваться конструктором копирования.

[jcmvbkbc]

В рамках поднятой темы - сложные дочерние члены будут копироваться конструктором копирования.

Толстый Лорри: вроде бы поднята была тема присваивания. В рамках этой темы конструктор копирования не играет роли, поскольку объект слева от знака присваивания уже полностью сконструирован.

[Толстый Лорри]

jcmvbkbc: Тема присваивания в С++ неразрывно связана с копированием, так уж повелось) Что и какие роли играет в конкретном случае я достаточно подробно описал выше. Если вам что-то непонятно, я буду рад ответить на конкретные вопросы.