20

今後の C++ 標準である C++0x の優れた新機能の 1 つは、「右辺値参照」です。右辺値参照は、左辺値 (通常の) 参照に似ていますが、一時的な値にバインドできる点が異なります (通常、一時値はconst参照にのみバインドできます)。

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

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

では、通常の参照の制限を削除して一時的にバインドできるようにするのではなく、まったく新しい型を発明したのはなぜでしょうか?

4

2 に答える 2

44

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

新しい型の理由は、実際に何が右辺値で、何が右辺値でないかを決定できるようにする必要性から生じています。そうして初めて、それらが使用されているクールなものに実際に使用できます。

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));
}

ここで、右辺値を持っていてそれを toupper に渡すと、一時的なものは使い捨てであることがわかっているため、右辺値を直接変更できます。したがって、変更するだけでコピーする必要はありません。また、move-constructors と move-assignment と呼ばれるものにも同じ観察が使用されます。右側はコピーされていませんが、その内容が盗まれて に移動されてい*thisます。

右辺値が const 以外の左辺値参照にバインドできると言う場合、それが最終的に左辺値 (名前付きオブジェクト) を参照するのか右辺値 (一時的) を参照するのかを判断する方法はありません。

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

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

今、あなたはもう言うことができません

string() = "hello";

これは紛らわしく、ほとんどの場合、実際には意味がありません。上記は、&代入演算子は左辺値でのみ呼び出すことができると言っています。を配置することにより、右辺値についても同じことができます&&。

于 2009-05-09T22:58:52.793 に答える
12

新しい種類の参照を追加すると、メソッドの 2 つのオーバーロードを記述できるようになるためです。

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

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

新しい種類の参照を受け入れるバージョンは、受け取った変数を変更することができます。その変数は他の場所では使用されないためです。そのため、コンテンツを「盗む」ことができます。

これが、この機能が追加された理由です。1 つのタイプの参照を保持しても、望ましい目標は達成されません。

于 2009-05-09T22:59:12.870 に答える