Исходное сообщение
"Выпуск языка программирования Rust 1.50" Отправлено Школьник, 12-Фев-21 17:19
Там всё правильно, никто там ничего не "забывал", естественно. Сначала вызывается конструктор объекта Test(std::string("first")), затем из-за применения компилятором техники оптимизации копирования (copy elision) содержимое этого объекта становится объектом a. Без этой техники было бы так: вызывался бы конструктор временного объекта Test(std::string("first")), далее бы вызывался конструктор копирования по умолчанию объекта a, далее бы вызывался деструктор временного объекта Test(std::string("first")). Что происходит во второй строке? Там вызывается конструктор объекта Test(std::string("second")), и неперегруженный метод присваивания (operator=) заново инициализирует поля объекта a соответствующими полями временного объекта Test(std::string("second")). После этого временный объект Test(std::string("second")) прекращает свое существование, и вызывается его деструктор. Затем выполнение подходит к концу функции, начинается освобождение всех объектов - локальных переменных, и вызывается уже деструктор объекта a, который содержит в себе строку second, перезаписанную ранее методом присваивания.