右辺値参照と移動セマンティクスは C 11 の return ステートメントにどのような影響を与えますか?

Return ステートメントを使用した C 11 の右辺値参照と移動セマンティクス

C 11 では、不必要なコピーを回避し、オブジェクト作成を最適化することでパフォーマンスを向上させるために、右辺値参照と移動セマンティクスが導入されました。これらの手法の違いを理解することは、効率的なコードを作成するために重要です。

分析例

次の C 11 コード例を考えてみましょう:

最初の例:

std::vector<int> return_vector() {
    std::vector<int> tmp {1, 2, 3, 4, 5};
    return tmp;
}

std::vector<int> &&rval_ref = return_vector();

2 番目例:

std::vector<int>&& return_vector() {
    std::vector<int> tmp {1, 2, 3, 4, 5};
    return std::move(tmp);
}

std::vector<int> &&rval_ref = return_vector();

3 番目の例:

std::vector<int> return_vector() {
    std::vector<int> tmp {1, 2, 3, 4, 5};
    return std::move(tmp);
}

std::vector<int> &&rval_ref = return_vector();

説明

最初の例:

• 戻り値の型は左辺値参照ですstd::vector&.
• tmp はローカル変数であるため、一時的な右辺値です。
• 一時的な tmp はコピーによって返されるため、移動セマンティクスは関係しません。
• rval_ref は、返された値への非定数左辺値参照になります。 Vector.

2 番目の例:

• 戻り値の型は右辺値参照 std::vector&&.
• tmpはまだ一時的なものですrvalue.
• std::move(tmp) は、関数がコピーではなく移動によって一時的な右辺値を返すように強制します。
• これは、tmp が戻り値に移動され、rval_ref が現在値に移動されていることを意味します。有効な右辺値参照を保持します。

Third例:

• この例は、最初の例と似ています。
• 戻り値の型は、std:: にもかかわらず、左辺値参照 std::vector& です。 move(tmp).
• std::move(tmp) は不要であり、これでは何の役にも立ちませんcontext.
• 一時的な tmp は copy によって返され、rval_ref は返されたベクトルへの非 const 左辺値参照になります。

ベスト プラクティス

推奨される方法一時オブジェクトを移動専用の左辺値参照 (std::vector&& など) として返すには、次のようにします。単純に参照を省略し、戻り値の最適化 (RVO) に基づいてオブジェクトを移動するかコピーするかをコンパイラに決定させます。

std::vector<int> return_vector() {
    std::vector<int> tmp {1, 2, 3, 4, 5};
    return tmp;
}

std::vector<int> rval_ref = return_vector();

このアプローチは、パフォーマンスと正確性の最適な組み合わせを提供します。

以上が右辺値参照と移動セマンティクスは C 11 の return ステートメントにどのような影響を与えますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。