Ссылки, указатели, динамическая память, С++

[TRIZER]

Доброго дня.
Не могу найти ответа на свои вопросы. Возможно я неправильно ищу или я слепой.
Код вроде такого:

QByteArray & createPacket()
{
    QByteArray * byteArray = new QByteArray();
    
    return *byteArray;
}

и допустим напишу я вот так

...
{
QByteArray &test = createPacket();
}
...

Я думаю, что память не освободится, когда программа выйдет из зоны видимости ссылки test, т.к. память выделилась не в стеке, а сборщика мусора в С++ нет. Если верно, то выходит, в данном случае единственный верный вариант - использовать указатели. И явно высвобождать память.

Либо.
Код вроде такого:

QByteArray & createPacket()
{
    QByteArray byteArrayж
    
    return byteArray;
}

и допустим напишу я вот так

...
{
QByteArray &test = createPacket();
}
...

Я думаю, что:
после "return byteArray;" byteArray удалится, т.к. по идее, память для него выделилась в стеке и он не может физически там находиться после выхода из зоны видимости. (то есть он то находится, но скорее всего сотрется при вызове следующей функции). Таким образом снова не получается автоматизировать процесс выделения и освобождения памяти.

Скажите, правильно ли я думаю в обоих случаях, и если правильно - то как лучше поступать в таком случае (без лишних затрат памяти, времени, максимально удобно и безопасно)?
Заранее благодарен.

[Helloween]

Зачем ты создаешь в классе объект этого же класса вообще?

[rrrFer]

Helloween

Зачем ты создаешь в классе объект этого же класса вообще?

МБ я ослеп, но как Вы узнали что "этого же класса"?

Скажите, правильно ли я думаю в обоих случаях, и если правильно - то как лучше поступать в таком случае (без лишних затрат памяти, времени, максимально удобно и безопасно)?
Заранее благодарен.

Создай свой класс, перегрузи в нем конструктор копирования, оператор присваивания, деструктор и следи что и в какой последовательности вызывается )) - но все эти тесты- не панацея, все может зависеть от оптимизаций компилятора.

Либо просто запусти свой код под валгриндом и посмотри течет память в каждом из случаев или нет.

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

return byteArray;

создается новый объект, если это вобще взлетает.

а сборщика мусора в С++ нет....то как лучше поступать в таком случае (без лишних затрат памяти, времени, максимально удобно и безопасно)?

в С++ есть умные указатели, всякие std::move, перемещающие конструкторы (С++11) которые должны решать твою проблему.
Но, кроме того, в Qt есть чето типа сборщика мусора (он поможет не всегда - в твоем случае думаю никак не поможет, но часто - ты можешь сделать свои классы безопасными в этом плане если отнаследуешь их от QObject и в конструкторе не забудешь задать родителя) - я смотрю ты кьют используешь...

[Helloween]

МБ я ослеп, но как Вы узнали что "этого же класса"?

эх, померещилось, вечер, усталость =)

[TRIZER]

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

return byteArray;

создается новый объект, если это вобще взлетает.

Да, взлетает. Пожалуй тут действительно будет копиривание, что то я не подумал. Проверю на досуге.

в С++ есть умные указатели, всякие std::move, перемещающие конструкторы (С++11) которые должны решать твою проблему.
Но, кроме того, в Qt есть чето типа сборщика мусора (он поможет не всегда - в твоем случае думаю никак не поможет, но часто - ты можешь сделать свои классы безопасными в этом плане если отнаследуешь их от QObject и в конструкторе не забудешь задать родителя) - я смотрю ты кьют используешь...

Спасибо за совет. Почитаю на эту тему.

[netrino]

Никак из приведённых Вами способов делать нельзя - неочевидно и может привести к трудноуловимым ошибкам. Используйте указатели, либо умные указатели (QSharedPointer)

QByteArray * createPacket()
{
    QByteArray * byteArray = new QByteArray();
    
    return byteArray;
}

...
{
QByteArray *test = createPacket();
...
delete test;
}
...

QSharedPointer<QByteArray> createPacket()
{
    QSharedPointer<QByteArray> byteArray(new QByteArray());
    
    return byteArray;
}

...
{
QSharedPointer<QByteArray> test = createPacket();
}
...

Или умные указатели из стаднарта C++11, как рекомендовал rrrFer
Кроме того, QByteArray задействует технолгию "копирование при записи". Другими словами, массив данных не будет копироваться, пока не произойдёт запрос на запись.

QByteArray byteArray1("Hello")
QByteArray byteArray2 = byteArray1; // Копирования символов "Hello" не происходит
QByteArray byteArray3 = byteArray1; // то же самое
byteArray1.append(" world!"); // Здесь byteArray1 скопирует себе "Hello" из общего на всех изначального массива и прилеит " world!"
// При этом byteArray2 и byteArray3 по прожнему делят один и тот же массив

[Rififi]

TRIZER

Я думаю, что память не освободится, когда программа выйдет из зоны видимости ссылки test, т.к. память выделилась не в стеке, а сборщика мусора в С++ нет. Если верно, то выходит, в данном случае единственный верный вариант - использовать указатели. И явно высвобождать память.

Верно.
В C++ можно несколько упростить себе жизнь, если использовать смарт-поинтеры, например:

QByteArray* createPacket() { return new QByteArray(); }
...
std::unique_ptr<QByteArray> p(createPacket());

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

В современных компиляторах можно сделать проще:

QByteArray createPacket() { return QByteArray(); }

либо будет работать return-value-optimization, либо move-конструктор. в обоих случаях дополнительных копий создано не будет.

второй вариант нежизнеспособный. т.к. к моменту возврата из функции стековая переменная будет уже уничтожена

[TRIZER]

netrino,

Кроме того, QByteArray задействует технолгию "копирование при записи". Другими словами, массив данных не будет копироваться, пока не произойдёт запрос на запись.

Да, действительно, спасибо, я этого не учитывал. Чуть не накосячил.

Rififi,

В C++ можно несколько упростить себе жизнь, если использовать смарт-поинтеры, например:

QByteArray* createPacket() { return new QByteArray(); }
...
std::unique_ptr<QByteArray> p(createPacket());

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

Спасибо за пример.

либо будет работать return-value-optimization, либо move-конструктор. в обоих случаях дополнительных копий создано не будет.

Спасибо не знал. Только не понятно, вот так например, работать return-value-optimization будет? (такой подход мне видится не очень красивым, но просто интересно)

QByteArray createPacket() 
{
 QByteArray test();
 return  test;
}

А про move конструкторы почитаю.

[netrino]

Сообщение от TRIZER

Спасибо не знал. Только не понятно, вот так например, работать return-value-optimization будет? (такой подход мне видится не очень красивым, но просто интересно)

QByteArray createPacket() 
{
 QByteArray test();
 return  test;
}

Будет (только это уже named-return-value-optimization, NRVO), но не забывайте, что только при конструировании нового объекта:

{
 QByteArray byteArray = createPacket()
}

В таком случае будет копия:

{
 QByteArray byteArray;
 byteArray = createPacket();
}

Сообщение от TRIZER

А про move конструкторы почитаю.

move-конструкторы - одна из новинок C++11, они могут быть не доступны на старых компиляторах.

[TRIZER]

Всем спасибо ).
Было познавательно.
Тему можно считать закрытой.