C++ 0x rvalueリファレンスがデフォルトでないのはなぜですか？

Question

今後のC++標準であるC++ 0xのクールな新機能の1つは、「rvalue references」です。

void FunctionWithLValueRef(int& a) {...} 
void FunctionWithRValueRef(int&& a) {...} 

int main() { 
    FunctionWithLValueRef(5); // error, 5 is a temporary 
    FunctionWithRValueRef(5); // okay 
} 

だから、彼らがした理由：それは（通常、一時的にのみconst参照にバインドすることができます）一時的な値にバインドすることができますことを除いて右辺値参照は、左辺値（正常）を参照に似ています通常の参照の制限を削除して一時的なものにバインドするのではなく、まったく新しい型を考案しますか？

Answer 1

無意味です。あなたは関数内のものを変更し、実際には一時的なものだったので、変更はすぐに失われます。

新しいタイプの理由は、実際に何が評価値であるかを決定する必要があるからです。それだけであなたは実際に彼らが使用されているクールなもののためにそれらを使用することができます。 「あなたには、いくつかの右辺値を持っており、それがTOUPPERに渡す場合、我々は、一時はとにかく使い捨てのものである知っているので、今

string toupper(string && s) { // for nonconst rvalues 
    for(char &c : s) make_uppercase(c); 
    return move(s); // move s into a returned string object 
} 

string toupper(string const& s) { // for the rest 
    // calls the rvalue reference version, by passing 
    // an rvalue copy. 
    return toupper(string(s)); 
} 

は、右辺値を直接変更することができますので、我々はそれとドンを変更するだけでaswellすることができますそれをコピーする必要はありません。また、移動コンストラクターや移動割り当てと呼ばれるものについても同じことが言えます。右手側はコピーされませんが、その物はちょうど盗まれて*thisに移動されます。

右辺値が非左辺値参照にバインドできるとすれば、最後に左辺値（名前付きオブジェクト）または右辺値（一時的）を参照するかどうかを判断できません。

---

それはおそらくより少し知っているのですが、とにかく便利、あなたはメンバ関数に左辺値または右辺値REF-修飾子を置くことができます。ここでは、自然に暗黙のオブジェクトパラメータに右辺値参照の既存のセマンティクスを拡張する例です：今

struct string { 
    string& operator=(string const& other) & { /* ... */ } 
}; 

は、あなたはもう言うことができない混乱で、作りは本当にないです

string() = "hello"; 

ほとんどの時間を感じます。上記の&がしていることは、代入演算子は左辺値に対してのみ呼び出すことができるということです。右辺値については、&&とすることで同じことができます。

Answer 2

参照の新しい種類を追加すると、あなたは方法の2つのオーバーロードを書くことができますので：

void CopyFrom(MyClass &&c) 
{ 
    dataMember.swap(c); 
} 

void CopyFrom(const MyClass &c) 
{ 
    dataMember.copyTheHardWay(c); 
} 

参照の新しい種類を受け入れるバージョンは、それが受け取る変数を変更することが許可され、その変数ISN理由他の場所で使われることはありません。だから、それを "盗む"ことができます。

これがこの機能が追加された理由の1つです。 1つのタイプの参照を保持することは、所望の目標を達成しないであろう。