関数パラメータにおける値渡しと右側値渡しの参照

引数を取る関数を定義する場合特定の型の場合、値渡しまたは右側値参照の 2 つの主なオプションがあります。値渡しでは引数のコピーが作成されますが、右辺値渡しでは引数への右辺値 (一時) 参照が使用され、引数を関数に移動できます。

主な違い

コピーと移動の主な違い以外にも、考慮すべき重要な違いがいくつかあります。

• 所有権の制御: 値渡しは、関数が引数の所有権を取得し、呼び出し元から関数に制御を効果的に移すことを前提としています。一方、右辺値渡し参照は、所有権を呼び出し元に残します。
• コピーの明示性: 値渡しは、コピーのコストを内部的に隠します。右辺値による受け渡し参照では、呼び出し元が std::move を使用して明示的にコピーする必要があるため、開発者は意図を明示的に示す必要があります。
• 潜在的な copy/move: を省略します。参照により、場合によっては単一の移動コンストラクター呼び出しが不要になります。ただし、値渡しと右辺値渡しのどちらの参照でも、コンパイラはコピー/移動を省略できます。

インターフェイスの影響

パスの選択-by-value および pass-by-rvalue 参照は、関数インターフェイスに影響します:

• Pass-by-value:

  • ]関数が引数の所有権を取得することを示します
  • 呼び出し元が引数の有効期間を管理する手間を軽減します

• 右辺値による渡しの参照:

  • 呼び出し元が引数の制御を放棄することを示します
  • 呼び出し元と関数の間の所有権を明確に分離します

効率に関する考慮事項

値渡し参照と右辺値渡し参照の効率の違いは、引数の型のセマンティクスによって異なります。

• 大きなデータ構造: 引数の型に安価に移動できる大きなデータ構造が含まれている場合、右辺値による参照により効率が大幅に向上します。これにより、高価なコピーの作成が回避されます。
• 小さいデータ構造: 最小限の内容を持つ小さいデータ構造の場合、値による受け渡しと右辺値による参照の効率の差は最小限です。