Блог

Мне трудно понять, если я std::move переключаюсь с одной переменной на другую, по-прежнему ли допустима исходная переменная для использования или она действует как висячий указатель? она по-прежнему указывает на память стека?

например:

 int a = 5;
int b = std::move(a) // b owns a resources now

a = 10 // is this valid? does it have memory address?
std::cout << a; // prints 10 obviously valid?
  

Обратите внимание, что std::move не перемещает свой аргумент, он просто приводит его к ссылке rvalue. Что на самом деле перемещает объект, так это конструктор или оператор присваивания, которые принимают ссылку rvalue .

Но int это встроенный тип и у него нет такого конструктора или operator= , поэтому применение std::move к int не приведет к его перемещению.

Оставляя встроенные типы в стороне, стандарт C гласит, что перемещаемый объект должен находиться в допустимом, но неуказанном состоянии. Обычно это означает, что мы не можем использовать ее значение, но можем повторно присвоить его.

std::move ничего не делает с модулем.

 int a = 5;
int b = std::move(a);
  

a после этого все еще работает.

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

Когда вы используете std::move для POD типа, ничего особенного не происходит, он просто создает обычную копию, и как исходный, так и конечный данные все еще можно использовать.