Почему происходит удаление объекта при конструировании одноименных объектов?

Question

[qwaswedo]

Столкнулся с интересной ситуацией при конструировании одноименных объектов класса без определенного оператора присваивания и явного конструктора с одним аргументом:

#include <iostream>

class A
{
public:
	A(int data)
	{
	    std::cout << "A(int)" << " " << this << std::endl;
	}
	~A() 
	{ 
	    std::cout << "~A()" << " " << this  << std::endl; 
	}
};

int main(int argc, char **argv)
{
	A a(1);
	a = 2;
	std::cout << "Breakpoint" << std::endl;
	return 0;
}

Вывод:
A(int) 0x7ffd1f2460a6
A(int) 0x7ffd1f2460a7
~A() 0x7ffd1f2460a7
Breakpoint
~A() 0x7ffd1f2460a6

Кто-нибудь знает почему происходит удаление второго одноименного объекта сразу же после его конструирования, а не первого объекта (ранее созданного) до конструирования второго? Что по этому поводу говорит стандарт?

Понятно, что в приведенном коде нет особого практического смысла, но все же интересно, почему именно так.

Answer 1

[tsarevfs]

Эквивалентная запись для присваивания:
a = A(2);
Тут создается временный объект, который удаляется после исполнения этой строки.
Оператор присваивания принимает константную ссылку на этот временный объект и потенциально изменяет значения полей объекта this (в вашем случае менять нечего).
Вывод ожидаемый. 2 и 3 строки -- содание и удаление временного объекта.

Comments

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

А вы не могли бы пояснить, почему https://godbolt.org/ в этом случае показывает вызов деструкторов трижды, а надпись появляется лишь дважды?

[tsarevfs]

Толстый Лорри, Разные компиляторы действуют поразному.
https://godbolt.org/z/1b4ApF
У gcc действительно 3 вызова, но перед последним безусловный jump. Так что в него мы не попадаем.
83 jmp .L7
Вероятно туда мы как-то попадем в случае выбрасывания исключения(_Unwind_Resume намекает), но хз как именно.

[tsarevfs]

https://habr.com/en/post/279111/ Тут есть детали, но это не то что бы очень нужно на практике.

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

tsarevfs, спасибо)