rvalue binding confusion в C++

Question

У меня есть три вызова функций, которые, как я думаю, следует рассматривать (примерно) одинаково, но ясно, что это не так. Я пытаюсь понять, почему один из трех не компилирует (g ++ -std = C++ 0x).

// Minimal example to reproduce a compile bug I want to understand. 

#include <iostream> 
#include <string> 

using namespace std; 


void bar(const string &&x) { cout << "bar: " << x << endl; } 

string returns_a_string() { return string("cow"); } 

int main(int argc, char *argv[]) 
{ 
    bar(string("horse"));  // ok 
    bar(returns_a_string()); // ok 
    string aardvark = "aardvark"; 
    bar(aardvark);   // not ok, fails to compile, error in next comment 
    /* 
     rvalue-min.cpp:29:22: error: cannot bind ‘std::string {aka std::basic_string<char>}’ lvalue to ‘const string&& {aka const std::basic_string<char>&&}’ 
     rvalue-min.cpp:10:6: error: initializing argument 1 of ‘void barR(const string&&)’ 
    */ 
} 

Этот вопрос немного по линии C++0x rvalue references - lvalues-rvalue binding, , но, если он ответил там, мои извинения, я не смог отогнать его.

Я хочу, чтобы иметь возможность вызывать мою функциональную панель() с любой строкой, и она просто работает. Достаточно определить void barR(const string &x), но я бы очень хотел понять, почему.

Большое спасибо за помощь в понимании того, почему третий звонок отличается.

Answer 1

Цель ссылочных параметров r-значения заключается в том, чтобы обнаруживать, когда объект является r-значением. Потому что, если объект является r-значением, функция знает, что он не будет использоваться снова, поэтому он может делать с ним все, что захочет. Если l-значение может связываться с ссылкой на r-значение, это будет означать, что обнаружение, о котором я говорил, на самом деле не имело места.

Если вы хотите передать l-значение одной из этих функций, вам необходимо использовать std::move. Передача объекта через std::move функции, которая принимает ссылку на r-значение, похожа на высказывание: «вот, возьмите этот объект, разорвите его кишки, мне все равно, что с ним происходит».

Для ваших целей правильным ответом является указание параметра const. Значение r отлично согласуется с ссылкой на const. За исключением конструкторов перемещения, создание опорных параметров r-значения почти никогда не является правильным.

Answer 2

Вам необходимо использовать std::move. Это отлично работает:

bar(std::move(aardvark));