Можно ли std::переместить локальные переменные стека? ⇐ C++

[Гость]

Рассмотрите следующий код:

struct MyStruct { интервал iInteger; строка стрСтрока; }; void MyFunc(vector& vecStructs) { MyStruct NewStruct = { 8, «Привет» }; vecStructs.push_back(std::move(NewStruct)); } интервал основной() { вектор vecStructs; MyFunc(vecStructs); } Почему это работает?

В момент вызова MyFunc адрес возврата должен быть помещен в стек текущего потока. Теперь создайте объект NewStruct, который также должен быть помещен в стек. С помощью std::move я сообщаю компилятору, что больше не планирую использовать ссылку NewStruct. Он может украсть память. (Функция push_back имеет семантику перемещения.)

Но когда функция возвращает значение и NewStruct выходит из области видимости. Даже если компилятор не будет удалять из стека память, занятую изначально существующей структурой, он должен хотя бы удалить ранее сохраненный адрес возврата.

Это приведет к фрагментации стека, и будущие выделения перезапишут «перемещенную» память.

Может кто-нибудь объяснить мне это, пожалуйста?

РЕДАКТИРОВАТЬ:

Прежде всего: большое спасибо за ваши ответы.

Но из того, что я узнал, я до сих пор не могу понять, почему следующее не работает так, как я ожидаю:
struct MyStruct { интервал iInteger; строка стрСтрока; строка стрСтрока2; }; void MyFunc(vector& vecStructs) { MyStruct oNewStruct = { 8, "Привет", "Определенно больше 16 символов" }; vecStructs.push_back(std::move(oNewStruct)); // На этом этапе oNewStruct.String2 должно быть "", потому что его память была украдена. // Но только тогда, когда я явно создаю конструктор перемещения в той форме, которая была // как сказал Якк, это действительно так. } пустая функция() { вектор vecStructs; MyFunc(vecStructs); }