Rvalue и lvalue в C++

В одной из предыдущих статей мы рассматривали move-семантику в C++. Продолжим тему и поговорим про rvalue и lvalue.

Главное отличие rvalue и lvalue заключается в том, что объекты rvalue можно переместить, в то время как объекты lvalue — лишь скопировать. Рассматривать это лучше на практических примерах:

Данный код будет функционировать не так, как от него ждут. К примеру, std::move() всё ещё конвертирует lvalue в rvalue, однако конвертация сохраняет все модификаторы, включая const. Потом компилятор выбирает между 2-х конструкторов класса String наиболее подходящий. Так как компилятор не может отправить const rlvaue туда, где ожидается non-const rvalue, компилятор выбирает конструктор копирования, а const rvalue конвертируется обратно в const lvalue.

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

Теперь давайте перейдем ко второму примеру. Он демонстрирует правило, согласно которому результат функции и аргументы могут быть как lvalue, так и rvalue, но параметры функций при этом могут быть лишь lvalue. Под аргументом в данном случае подразумевается то, что передаётся в нашу функцию. Аргумент инициализирует параметр, доступный непосредственно внутри функции.

И хотя параметр string функции f() и имеет тип rvalue-ссылки, все же он является lvalue, то есть требует явной конвертации в rvalue непосредственно перед передачей в функцию g(). А вот как раз этим и занимается std::move().

Источник