std::move()

Здравствуйте! Хочу разобраться с функцией std::move(). Код, приведенный ниже работает как и ожидается, значение в переменной str перемещается.
Но сейчас приведу код, результат выполнения которого мне не ясен, прошу пояснить почему значение в vec[0] остается таким же.

0

Сообщение от cndfn прошу пояснить почему значение в vec[0] остается таким же.

А почему бы и нет? Откуда мог возникнуть такой вопрос? В общем случае, если из объекта выполнено перемещение, то, если не оговорено отдельно, принято полагать, что с ним может произойти что угодно: он может потерять значение, он может сохранить значение, он может поменять значение - что угодно. Объект должен остаться "живым", но его значение может потеряться (а может и не потеряться).

У вас в вашем случае речь идет о объекте типа int. Для объекта типа int, как и для любого скалярного типа, семантика перемещения оговорена четко в стандарте языка: перемещение - это просто копирование. Вот вы и получили обыкновенное копирование. Исходное значение при копировании не меняется. Почему вас это удивляет?

Значения плоских/одноуровневых объектов невозможно как-то физически "переместить". Их можно только скопировать. Если вы как-то иначе себе представляли перемещение для скалярных объектов - то расскажите нам об этом. Как иначе вы себе представляете перемещение для объектов типа int? Почему вы ожидаете, что значение поменяется? Зачем ему меняться?

Добавлено через 4 минуты

Сообщение от cndfn //Единица не перемещается, а остается как в начале вектора, так и добавляется в конец. Почему?

Ым... А эти ожидания откуда? Семантика перемещения не занимается созданием/удалением/переупорядочением элементов контейнеров. Они не имеет вообще никакого отношения к этому. Семантика перемещения - это перемещение значения объекта. Сам объект (элемент контейнера) при этом никуда не девается - он остается там, где был, в начале вектора.

И непонятно, почему вы сравниваете два разных по сути примера. Почему у вас в первом примере не делается vec.push_back(move(vec[0]));, как это делается во втором? Если бы вы это сделали и в первом примере, то вы бы увидели что там первый элемент вектора тоже остался на своем месте, в начале вектора. Из него бы "ушло" значение (а может и не ушло бы), но сам он бы никуда не делся.

0

Сообщение от cndfn разобраться с функцией std::move(). Код, приведенный ниже работает как и ожидается, значение в переменной str перемещается.

функция std::move, вопреки своему названию,
никого никуда не перемещает.

функция получает на входе любой объект,
а на выходе возвращает rvalue-reference на этот же самый объект.

фактически получается, что функция говорит компилятору:
считай, что вот этот вот объект - временный.

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

то есть, например вот здесь:

Сообщение от cndfn vec.push_back(move(vec[0]));

непосредственно перемещением занимается push_back
в то время как move(vec[0]) лишь возвращает якобы временный объект.


при этом важно понимать:
бизнес-логика перемещающих функций может быть какой угодно.
вот что ты сам напишешь, то и будет.

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

в отличие от класса строк, у обычного int нет конструктора перемещения.
поэтому, его в принципе невозможно переместить.
можно только скопировать.


а с другой стороны:
просто подумай, и ответь на вопрос:
а нафига вообще его куда-то перемещать?

0