Как работает перемещение и rvalue в моем примере ?

@LUN2 · Регистрация: 15.08.2014

Author24 — интернет-сервис помощи студентам

Добрый вечер!
Помогите, пожалуйста, понять rvalue и семантику перемещения на следующем примере:

насколько я понимаю такого рода пример должен приводить к перемещению значения строки s,
т.е. она должна остаться пустой, однако этого не происходит.
Почему ?
В этом примере это вообще невозможно, он некорректен ?
Или возможно, но я что-то не так сделал ?

C++

#include <string>
 
void rv(std::string&& s_rv){
   ... делаем что-то со строкой s_rv
 
   std::string s2 = s_rv;
 
}
 
main() {
   std::string s = "123";
 
   rv(std::move(s));
 
   std::cout << s << std::endl;
 
   // здесь вывод = "123". Почему ? Это конструкция не переместит значение
   // значение строки из  s?
 
}

@TheCalligrapher · 08.07.2024, 22:04

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

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

Если функции barfoo нет необходимости модифицировать свой параметр, то тогда достаточно одного варианта - barfoo(const A &).

А вот если функции barfoo нужно модифицировать свой параметр, то вариант barfoo(const A &) будет скорее всего вынужден сделать копию своего параметра внутри функции. То есть копирование при этом все-таки будет, просто оно будет упрятано внутрь функции, а не привязано к параметру.

В такой ситуации может оказаться разумнее написать просто одну-единственную barfoo(A) вместо двух вариантов, т.е. с передачей по значению. Эффективность варианта barfoo(const A &) при этом не упадет, ибо копирование этот вариант и так делал. Оно теперь просто переместилось на параметр.

Эффективность варианта barfoo(A &&) немножко упадет, ибо в исходном варианте перемещение было не нужно, а здесь понадобится одно перемещение. Но в большинстве случаев цента такого перемещения - невелика, а взамен мы получаем одну функцию вместо двух. В случае, когда параметров много, это также позволяет избежать комбинаторного взрыва вариантов.

Поэтому общее правило таково: если вам нужно выжать последние такты производительности на основе move semantics, то пишите две функции: const A & и A &&. А если такого "выжимания" не требуется (что составляет 99%) - пишите одну с передачей по значению A. Вы получите практически всё от move semantics, но без необходимости писать две функции.

Алексей1153 · 09.07.2024, 08:06

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

то пишите две функции: const A & и A &&.

как вариант - шаблон с форвардом

@TheCalligrapher · 09.07.2024, 08:12

Сообщение от Алексей1153

как вариант - шаблон с форвардом

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

@TheCalligrapher Вездепух 12792 / 6669 / 1795 Регистрация: 18.10.2014 Сообщений: 16,876
	08.07.2024, 22:04	21
	Сообщение от SmallEvil Последняя barfoo, с двумя перегрузками, покрывает все случаи, конечно, если это необходимо. При этом ничего не копируется и не перемещается. При этом ничего не копируется и не перемещается. Если функции `barfoo` нет необходимости модифицировать свой параметр, то тогда достаточно одного варианта - `barfoo(const A &)`. А вот если функции `barfoo` нужно модифицировать свой параметр, то вариант `barfoo(const A &)` будет скорее всего вынужден сделать копию своего параметра внутри функции. То есть копирование при этом все-таки будет, просто оно будет упрятано внутрь функции, а не привязано к параметру. В такой ситуации может оказаться разумнее написать просто одну-единственную `barfoo(A)` вместо двух вариантов, т.е. с передачей по значению. Эффективность варианта `barfoo(const A &)` при этом не упадет, ибо копирование этот вариант и так делал. Оно теперь просто переместилось на параметр. Эффективность варианта `barfoo(A &&)` немножко упадет, ибо в исходном варианте перемещение было не нужно, а здесь понадобится одно перемещение. Но в большинстве случаев цента такого перемещения - невелика, а взамен мы получаем одну функцию вместо двух. В случае, когда параметров много, это также позволяет избежать комбинаторного взрыва вариантов. Поэтому общее правило таково: если вам нужно выжать последние такты производительности на основе move semantics, то пишите две функции: `const A &` и `A &&`. А если такого "выжимания" не требуется (что составляет 99%) - пишите одну с передачей по значению `A`. Вы получите практически всё от move semantics, но без необходимости писать две функции. 1

Алексей1153 фрилансер 5846 / 5377 / 1103 Регистрация: 11.10.2019 Сообщений: 14,376
	09.07.2024, 08:06	22
	Сообщение от TheCalligrapher то пишите две функции: const A & и A &&. как вариант - шаблон с форвардом 0

@TheCalligrapher Вездепух 12792 / 6669 / 1795 Регистрация: 18.10.2014 Сообщений: 16,876
	09.07.2024, 08:12	23
	Сообщение от Алексей1153 как вариант - шаблон с форвардом Это если функция просто форвардит аргументы дальше. Я же вел речь о ситуации, когда рассматриваемая функция уже является конечным получателем аргументов, т.е. реализует оконечную функциональность, работает с аргументами сама. 0