C++での値のバインディングの混乱

Question

私は3つの関数呼び出しを扱う必要があります。私は3つのうちの1つがコンパイルされない理由を理解しようとしています（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、 の線に沿って少しですが、私の謝罪は、私はそれを蒸留することができませんでした。

私が望むのは、任意の種類の文字列で関数bar（）を呼び出して動作させることです。 void barR(const string &x)を定義するだけで十分ですが、なぜそれなら理解したいと思います。

3回目の呼び出しが異なる理由を理解してくれてありがとうございました。

Answer 1

r値参照パラメータの目的は、オブジェクトがr値であるときに特に検出することです。オブジェクトがr値である場合、関数はそれが再び使用されないことを知っているので、それが望むものであれば何でもできます。 l値がr値の参照にバインドされる可能性がある場合、それは実際には起こっていないことを私が話していたことを意味します。

これらの関数の1つにl値を渡す場合は、std::moveを使用する必要があります。 std::moveを介してオブジェクトをr値の参照を受け取る関数に渡すことは、「ここでこのオブジェクトを取って、それを捨てて、何が起こるのか気にしない」と言うのと同じです。

正しい答えは、パラメータconst参照を作成することです。 r値はconst参照にバインドされていることが完全にうれしいです。移動コンストラクタを除いて、r値の参照パラメータを作成することは、決して正しいことではありません。

Answer 2

std::moveを使用する必要があります。これはうまく動作します：

bar(std::move(aardvark));