Функция возвращает string и механизм перемещения

Всем доброго дня!

Как я понял, современные компиляторы не будут копировать res в str, они оставят строку "line" в памяти на своем месте, но удалят переменную res. А вот переменной str присвоят указатель на строку "line".

Таким образом, не тратим времени на долго копирование, но получаем тот же результат.

Вот только у меня вопрос, на который не могу найти пояснение:
У меня в голове есть 2 парадигмы. 1 - Локальные переменные, это автоматическое "занятие" памяти и его освобождение, после выхода из области видимости. 2 - Чтобы "занятая" память оставалась таковой за пределами области видимости, мы ее должны "полноценно" "занять". А после она будет занята, до тех пор, пока мы ее сами не освободим.

Так вот, при современном копировании память остается занятой за пределами области видимости создания, но, что произойдет, когда я выйду из области видимости str? Память для строки "line" сама освободиться? Или без принудительного освобождения память "утечет"?

0

Сообщение от Elesh_Makfa string foo()

Что такое string? Это std::string? Как мы об этом должны догадаться?

Сообщение от Elesh_Makfa Как я понял, современные компиляторы не будут копировать res в str, они оставят строку "line" в памяти на своем месте, но удалят переменную res. А вот переменной str присвоят указатель на строку "line".

Да и нет.

Переменная res действительно исчезнет, если компилятор применит RVO. То есть результат будет формироваться сразу в переменной str.

Однако никакого "присвоят указатель на строку "line" не будет. Класс std::string копирует данные внутрь себя. Он хранит свою копию строки, а не указатель на внешние данные. Он не умеет никакого "присвоят указатель на строку". Строка "line" будет сохранена внутри str в каком-то виде (скопирована внутрь). После этого к исходному литералу "line" объект str уже не имеет никакого отношения.

И ни о каком "присвоят" вообще тут речи не идет. В вашем коде нет ни одного присваивания.

Сообщение от Elesh_Makfa Таким образом, не тратим времени на долго копирование, но получаем тот же результат.

Не тратим время на копирование из res в str, потому что res просто не будет вообще, а вместо res результат будет сформирован прямо в str. Однако от копирования литерала "line" внутрь str мы никак не избавились. Это копирование никуда не денется.

Сообщение от Elesh_Makfa Так вот, при современном копировании память остается занятой за пределами области видимости создания, но, что произойдет, когда я выйду из области видимости str?

Объект str будет уничтожен. Его деструктор отвободит всю память, которая принадлежит str.

Сообщение от Elesh_Makfa Память для строки "line" сама освободиться?

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

Сообщение от Elesh_Makfa Функция возвращает string и мханизм перемещения

Пока что во всем этом описании нигде и никак не был замешан "механизм перемещения". Поэтому не совсем понятно, почему вы упоминаете его в заголовке.

1

Сообщение от TheCalligrapher Что такое string? Это std::string? Как мы об этом должны догадаться?

Что это меняет относительно сути заданного вопроса?

Добавлено через 12 минут
Я расскажу как понимаю про RVO, а если где навру - надеюсь меня поправят знающие товарищи.

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

Но и это не совсем правда, т.к. в приведенном мною коде будет:
1) вызов конструктора str без параметров;
2) вызов оператора = для res (оно же str)
ну и все на этом. (вызов деструктора str будет, конечно, но это и так понятно)

А не совсем правда потому, что по факту будет вызван только конструктор для string(const char*) и все, лишнего конструирования и присваивания не будет.
Т.к. компилятор на самом деле передаёт не ссылку на уже сконструированный объект str, а как бы адрес выделенной на стеке памяти, в которой будет размещен и сразу сконструирован с нужными параметрами объект res (оно же str) в тот момент, когда внутри функции первый раз появится определение res

1

Сообщение от KSergey9 1) вызов конструктора str без параметров;

- а точнее, конструктор по умолчанию

1

Сообщение от KSergey9 Что это меняет относительно сути заданного вопроса?

Абсолютно все. Это самое главное в данном вопросе. Мой ответ построен на "разумном предположении", что это std::string. Без возможности сделать такое предположение вопрос будет являться бессмысленным "словесным салатом", ни о каких ответах на который речи идти не будет.

Сообщение от KSergey9 Я расскажу как понимаю про RVO, а если где навру - надеюсь меня поправят знающие товарищи. Исходный код будет примерно преобразован компилятором в такое: C++ 1 2 3 void foo(string& res) {     res = "line"; }

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

Сообщение от KSergey9 А не совсем правда потому, что по факту будет вызван только конструктор для string(const char*) и все, лишнего конструирования и присваивания не будет.

Именно. К чему тогда все это? Разумеется, еще с той оговоркой, что говорить об этом бесполезно, пока не известно, что такое string. В частности, откуда вы взяли, что конструктор для string(const char*) вообще существует? По каковой причине первый и главный вопрос, который сразу же задает любой мало-мальски разбирающийся в теме человек: что такое string?

Сообщение от KSergey9 Т.к. компилятор на самом деле передаёт не ссылку на уже сконструированный объект str, а как бы адрес выделенной на стеке памяти, в которой будет размещен и сразу сконструирован с нужными параметрами объект res (оно же str) в тот момент, когда внутри функции первый раз появится определение res

Все это прекрасно, но вопрос ТС на 99% не об этом вообще. Вопрос о некоем "механизме перемещения" и о том, как во всем этом будет участвовать литерал-инициализатор. Для ответа на эти вопросы нужно знать не только объявления конструкторов, но полную семантику этих конструкторов. По каковой причине первый и главный вопрос, который сразу же задает любой мало-мальски разбирающийся в теме человек: что такое string?

0

Сообщение от TheCalligrapher Неверно, так как

Сообщение от TheCalligrapher Именно [подразумевается "именно так"].

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

Сообщение от TheCalligrapher К чему тогда все это?

Чтобы методологически понятно и внятно всё это разъяснить.
Ибо ваше разъяснение лично я бы не понял, если бы не знал о чем речь.

Вы же не закрепляете за собой право на возможность эксклюзивно отвечать?

Сообщение от TheCalligrapher В частности, откуда вы взяли, что конструктор для string(const char*) вообще существует?

Бестолковые придирки и умничание пошло ради умничания.

Сообщение от TheCalligrapher который сразу же задает любой мало-мальски разбирающийся в теме человек: что такое string?

Ну вот вы задали - полегчало? ну и славно.

Сообщение от TheCalligrapher Вопрос о некоем "механизме перемещения

Мне очевидно, что ТС сделал неправильное предположение относительно того как работает RVO.
Вам нет? ну ок.

0

Сообщение от KSergey9 Бестолковые придирки и умничание пошло ради умничания.

Дык нет же. Это было пояснение зачем знать что такое string. А вдруг это не std::string, а какой-то другой string, тогда и предполагать, что у него есть такой конструктор тоже нельзя наверняка.

Сообщение от KSergey9 Ну вот вы задали

Я бы тоже такой вопрос задал. Абсолютно нормальный вопрос для возможности дать верный ответ.

Сообщение от KSergey9 Мне очевидно, что ТС сделал неправильное предположение относительно того как работает RVO.

Дык нет же. ТС сделал неправильное предположение относительно того как str будет обращаться с литералом "line" и ТС не знал или не соотнёс что "line" имеет статический класс хранения. А про то как работает RVO он всё правильно понял (за исключением того, что там инициализация вместо присваивания, замечание о чём уже сделал TheCalligrapher):

Сообщение от Elesh_Makfa переменной str присвоят указатель на строку "line".

1