7

以下のコードを使用して、コピーの省略をテストします。

class foo
{
public:
    foo() {cout<<"ctor"<<endl;};
    foo(const foo &rhs) {cout<<"copy ctor"<<endl;}
};

int g(foo a)
{
    return 0;
}

int main()
{
    foo a;
    g(std::move(a));
    return 0;
}

g()の引数は右辺値であり、コピーが省略されるため、デフォルトのコンストラクターのみが呼び出されると予想しました。しかし、結果は、デフォルトのコンストラクターとコピーコンストラクターの両方が呼び出されることを示しています。なんで？

また、関数呼び出しをに変更するとg(foo())、コピーは削除されます。foo()とのリターンタイプの違いは何std::move(a)ですか？コンパイラを左辺値のコピーを削除するにはどうすればよいですか？

4

2 に答える 2

6

コピーの省略は、いくつかの特定の状況でのみ発生する可能性があります。最も一般的なのは、一時的なコピーです (他の状況では、ローカルが返され、例外がスロー/キャッチされます)。コードによって生成される一時的なものはないため、コピーは省略されません。

コピー コンストラクターが呼び出されfooているのは、移動コンストラクターがないため (移動コンストラクターは、明示的なコピー コンストラクターを持つクラスに対して暗黙的に生成されないため)、 コンストラクター (関数引数の構築に使用される) とstd::move(a)一致するためです。foo(const foo &rhs)

左辺値のコピーは、次の状況で省略できます (ただし、コンパイラに強制的に省略を実行させる方法はありません)。

foo fn() {
    foo localAutomaticVariable;
    return localAutomaticVariable; //Copy to construct return value may be elided
}

int main() {
    try {
        foo localVariable;
        throw localVariable; //The copy to construct the exception may be elided
    }
    catch(...) {}
}

関数の引数を渡すときにコピーを避けたい場合は、渡されたオブジェクトのリソースを盗む移動コンストラクターを使用できます。

class bar {
public:
    bar() {cout<<"ctor"<<endl;};
    bar(const bar &rhs) {cout<<"copy ctor"<<endl;}
    bar(bar &&rhs) {cout<<"move ctor"<<endl;}
};

void fn(bar a)
{
}
//Prints:
//"ctor"
//"move ctor"
int main()
{
    bar b;
    f(std::move(b));
}

また、コピーの省略が許可されているが発生しない場合は常に、使用可能な場合はムーブ コンストラクターが使用されます。

于 2012-08-14T06:21:25.850 に答える
4

次のように宣言する必要がありますg。

int g(foo && a) //accept argument as rvalue reference
{
    return 0;
}

右辺値参照で引数を受け取れるようになりました。

あなたの場合、式は右辺値を生成しますが、値std::move(a)で引数を受け入れるパラメーターにバインドしません。受信側も右辺値参照でなければなりません。

の場合g(foo())、最適化であるコピー省略がコンパイラによって実行されます。[C++17 まで]言語による要件ではありません。必要に応じて、この最適化を無効にすることができます。その後、期待どおりにまったく同じように動作します。g(foo())g(std::move(a))

しかし、g上で提案したように変更すると、 && でコピーを作成しないことが言語の要件であるg(foo())ため、呼び出しはコピーを作成しません。これはもはやコンパイラの最適化ではありません。

于 2012-08-14T06:02:38.977 に答える