Действительно ли полезно использовать ссылки на rvalue?

Ссылки на rvalue разработаны с двумя целями:

• переместить семантику
• идеальная пересылка

Переместить семантику

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

std::string str("The quick brown fox jumps over the lazy dog.");
std::cout << str;      // Do something
func(std::move(str));  // You do not need str in the subsequent lines, and so move

Кроме того, компилятор может оптимизировать возвращаемое значение функции, где RVO может не применяться

std::vector<std::string> read_lines_from_file(const std::string& filename);

auto lines = read_lines_from_file("file1.txt");  // Can possibly be optimized with RVO
// Do something with lines
lines = read_lines_from_file("file2.txt");  // RVO isn't applicable, but move is
// Do something with lines

Если вы реализуете семантику перемещения в своих классах, скорее всего, вы будете испытывать значительное повышение производительности, когда будете помещать их в контейнеры. Рассматривать std::vector, Всякий раз, когда вы изменяете элементы std::vectorЧерез некоторое время произойдет некоторое перераспределение и смещение элементов. В C ++ 98 элементы в основном копируются^[1], что является ненужным, так как логически существует только одно представление объекта, которое необходимо в один момент времени. С семантикой перемещения, контейнеры типа std::vector можно просто перемещать объекты, устраняя лишние копии и, следовательно, повышать производительность вашей программы.

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

Идеальная пересылка

Идеальная пересылка использует rvalue-ссылки и специальные правила вывода шаблонов, чтобы мы могли реализовать идеальные функции пересылки, то есть функции, которые могут пересылать аргументы правильно и без создания копий.

Примеры std::make_shared и предстоящий std::make_unique, Также новые emplace* методы контейнеров, тот, который вы найдете очень полезным и удобным (не говоря уже о том, что он также будет очень эффективным).

Этот ответ обеспечивает очень хорошее и полное объяснение ссылок на rvalue в отношении семантики перемещения и идеальной пересылки.

^[1] Одна вещь, которую я услышал из одного из выступлений Бьярна Страуструпа^{[источник нужен]} в том, что контейнеры обычно реализуют некоторую специальную семантику перемещения. Поэтому, как он сказал, вы можете не испытывать такого ускорения.