Почему деструктор выполняется раньше конструктора копирования?

Question

[Dmitry Demin]

Здравствуйте, дамы и господа. Представляю вашему вниманию свою проблему.

Есть класс, представляющий собой двусвязный список и хранящий два указателя: на первый и последний элементы списка. Все элементы хранятся в куче и вычищаются в деструкторе.

С этим классом всё было хорошо до того момента, как понадобилось вернуть его экземпляр из функции.
Побитовое копирование, естественно, не подходило, ведь после выполнения деструктора указатели становятся недействительными. "Значит, копирование!" решил я и написал конструктор копирования.

Однако, выяснилось, что даже это не спасёт меня, ведь деструктор экземпляра-оригинала выполняется РАНЬШЕ конструктора копирования! Что делать? Как быть?
Ссылка на код

Answer 1

[Максим Мосейчук]

List<size_t>& newList(size_t a) {
	List<size_t> result;
	result.pushBack(a);
	return result;
}

Вы возвращаете ссылку на локальную переменную. Так делать нельзя, т.к. при выходе из области видимости переменная удаляется, и ссылка будет указывать на мусор.

Comments

[Dmitry Demin]

Прошу простить за подобную профанацию. Амперсанд в сигнатуре появился потому, что без него конструктор копирования просто игнорировался и происходило побитовое копирование.

[Максим Мосейчук]

Dmitry Demin: Всё потому что у вас нет своего конструктора копирования. Конструктор копирования должен иметь константный параметр.

[Dmitry Demin]

fshp: Изменение конструктора копирования на...

List(const List<T>& other) {
		println("Copy constructor called");
		first = NULL;
		last = NULL;
		for (Item* cur = other.first; cur != NULL; cur = cur->getNext()) {
			pushBack(*cur->getData());
		}
	}

не дало ровным счётом ничего. Он всё так же игнорируется.

Answer 2

[Mercury13]

По крайней мере у меня G++ выдал предупреждение вот тут:

List<size_t>& newList(size_t a) {
    	List<size_t> result;
    	result.pushBack(a);
    	return result;
    }

C:\TestApps\ListTest\main.cpp | 118 | warning: reference to local variable 'result' returned [-Wreturn-local-addr]
Понятно?

Что изменить…
1. Изменить сигнатуру на…
List<size_t> newList(size_t a) {
2. Поработать с временными ссылками Си++11. Добавить две функции.

List(List<T>&& other);
List<T>& operator = (List<T>&& other);

Два амперсанда — это не ссылка на ссылку (понятие «ссылка» идемпотентно), а новая вещь Си++11 — ссылка на временный объект. Она говорит: объект идёт на заклание, из него можно выпотрошить все данные.
3. Насчёт обычной операции присваивания — её можно или реализовать, или =delete (тоже нововведение Си++11).
4. UPD. Проглючил, но да, верно. Обычный конструктор копирования должен иметь параметр const!

Answer 3

[Vitaly]

Слегка поправил ваш код: https://ideone.com/tKCwpR . Там конечно ещё всё очень и очень далеко от идеала, конечно же...

Comments

[Dmitry Demin]

Спасибо. Пришёл к чему-то подобному (без махинации с const, правда).

[Vitaly]

Dmitry Demin: Это не махинации, а то как надо писать на C++. Про то где, зачем и почему необходимы const-версии методов можно прочесть в разных книгах по C++ или документации. Я понимаю, что вы ещё учитесь основам, но код, который вы привели, скажем так, есть куда улучшать... Т.ч. советую больше читать по плюсам.

[Максим Мосейчук]

Vitaly: всё равно хрень какая-то. Должен вызываться конструктор копирования 2 раза - 1 раз при создании копии результата функции, второй раз при инициализации "a".

[Максим Мосейчук]

Vitaly: там c++14 указан и используется автоматический конструктор перемещения. Если его объявить delete, то не скомпилируется код.

[Mercury13]

fshp: Не обязательно, это компилятору разрешается оптимизировать.

[Максим Мосейчук]

Mercury13: если удалить конструктор перемещения, то не скомпилируется.

[Vitaly]

fshp: Mercury13: Я вообще думал, что там RVO будет, но и правда не компилит без конструктора перемещения. Сейчас у себя локально попробую.

[Максим Мосейчук]

Vitaly: rvo там есть, если отключить, то кучка конструкторов вызовется. Вот только в с++11 всё равно не хочет через конструктор копирования работать, требует лишь move.

[Vitaly]

fshp: Согласен, уже тоже проверил. Не слишком понятно, почему через конструктор копирования работать не хочет. Нужно посидеть разобраться, пример-то тривиальный.

[Максим Мосейчук]

Vitaly: странно как-то:

объявляем свой конструктор перемещения - используется перемещение.
объявляем default -используется перемещение
объявляем delete - не компилируется
не объявляем вообще - используется копирование.

[Dmitry Demin]

fshp: здравствуйте ещё раз. Отвечу сразу на два комментария.
Да, в плюсах я ещё новичок. Да, читаю, но читать много, а ответ, как всегда, хочется узнать "прямо вот сейчас".
Решение нашлось (о, неожиданность!:D) в учебнике. В итоге оказалось, что в разных ситуациях используются разный функционал (например, когда наш класс - поле другого класса без подобных перегрузок, то вызывается "operator=").
До сих пор нахожусь в полнейшей прострации из-за подобных... не вполне изящных решений разработчиков языка.