confusione vincolo valore in C++

Question

Ho tre chiamate di funzione che, a mio avviso, dovrebbero essere considerate uguali, ma chiaramente non lo sono. Sto cercando di capire perché uno dei tre non compila (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&&)’ 
    */ 
} 

Questa domanda è un po 'lungo le linee di C++0x rvalue references - lvalues-rvalue binding, ma, se è risposto lì, le mie scuse, non è stato in grado di distillare fuori.

Quello che voglio è essere in grado di chiamare la mia barra delle funzioni() con qualsiasi tipo di stringa e farlo funzionare. È sufficiente definire void barR(const string &x), ma mi piacerebbe davvero capire perché.

Grazie mille per l'aiuto nel capire perché la terza chiamata è diversa.

Answer 1

Lo scopo dei parametri di riferimento del valore r è rilevare in modo specifico quando un oggetto è un valore r. Perché se un oggetto è un valore r, la funzione sa che non verrà più utilizzato, quindi può fare tutto ciò che vuole con esso. Se un valore-l potesse legarsi a un riferimento di valore r, ciò significherebbe che il rilevamento di cui stavo parlando in realtà non stava avvenendo.

Se si desidera passare un valore l a una di queste funzioni, è necessario utilizzare std::move. Passare un oggetto tramite std::move a una funzione che richiede un riferimento al valore r equivale a dire "qui, prendi questo oggetto, strappa il coraggio, non mi interessa cosa gli succede".

Per i vostri scopi, la risposta corretta è rendere il parametro const riferimento. Un valore r è perfettamente felice essendo associato a un riferimento const. Tranne che per i costruttori di mosse, non è quasi mai la cosa giusta fare i parametri di riferimento del valore r.

Answer 2

È necessario utilizzare std::move. Funziona bene:

bar(std::move(aardvark));