pass-by-valueとthen-moveの構成は悪いイディオムなのか?
2023-08-24 11:19:40
質問
C++ではmoveセマンティクスがあるため、最近では
void set_a(A a) { _a = std::move(a); }
その理由は、もし
a
が rvalue である場合、コピーは消去され、移動は 1 回だけとなるからです。
しかし、もし
a
が lvalue の場合はどうなるのでしょうか?コピー構築と移動代入が行われるようです(A に適切な移動代入演算子があると仮定しています)。オブジェクトにあまりにも多くのメンバ変数がある場合、移動の代入はコストがかかることがあります。
一方、もし私たちが
void set_a(const A& a) { _a = a; }
コピー代入は1つだけです。lvalueを渡す場合、この方法はpass-by-valueイディオムより好ましいと言えるでしょうか?
どのように解決するのですか?
Expensive-to-move 型は、最近の C++ の使い方ではまれです。移動コストが気になる場合は、両方のオーバーロードを記述します。
void set_a(const A& a) { _a = a; }
void set_a(A&& a) { _a = std::move(a); }
またはパーフェクトフォワードのセッター。
template <typename T>
void set_a(T&& a) { _a = std::forward<T>(a); }
に暗黙のうちに変換できるものであれば何でも受け入れます。
decltype(_a)
に暗黙的に変換できるものであれば、余分なコピーや移動は必要ありません。
lvalue から設定するときに余分な移動を必要とするにもかかわらず、このイディオムは 悪い というのも、(a) 大多数の型が一定時間の移動を提供し、(b) コピー アンド スワップは 1 行のコードで例外安全性とほぼ最適なパフォーマンスを提供するからです。
関連
-
[解決済み】構造体のベクター初期化について
-
[解決済み】コンストラクターでのエラー:識別子を期待されますか?
-
[解決済み] error: 'if' の前に unqualified-id を期待した。
-
[解決済み] クラスにデフォルトコンストラクタが存在しない。
-
[解決済み] 既に.objで定義されている-二重包含はない
-
[解決済み] スタックアロケーションにより初期化されていない値が作成された
-
[解決済み] コピーアンドスワップ慣用句とは?
-
[解決済み] std::move()とは何ですか?また、どのような場合に使用するのですか?
-
[解決済み] const std::string & をパラメータとして渡す時代は終わったのでしょうか?
-
[解決済み] C++11 rvalues と移動セマンティクスの混乱(return 文)
最新
-
nginxです。[emerg] 0.0.0.0:80 への bind() に失敗しました (98: アドレスは既に使用中です)
-
htmlページでギリシャ文字を使うには
-
ピュアhtml+cssでの要素読み込み効果
-
純粋なhtml + cssで五輪を実現するサンプルコード
-
ナビゲーションバー・ドロップダウンメニューのHTML+CSSサンプルコード
-
タイピング効果を実現するピュアhtml+css
-
htmlの選択ボックスのプレースホルダー作成に関する質問
-
html css3 伸縮しない 画像表示効果
-
トップナビゲーションバーメニュー作成用HTML+CSS
-
html+css 実装 サイバーパンク風ボタン
おすすめ
-
[解決済み] テスト
-
[解決済み】致命的なエラー LNK1169: ゲームプログラミングで1つ以上の多重定義されたシンボルが発見された
-
[解決済み】抽象クラス型の無効なnew-expression
-
[解決済み】文字列関数で'char const*'のインスタンスを投げた後に呼び出されるterminate [閉店].
-
[解決済み】オブジェクト引数のない非静的メンバ関数の呼び出し コンパイラーエラー
-
[解決済み] gdbを使用してもデバッグシンボルが見つからない
-
[解決済み】Eclipse IDEでC++エラー「nullptrはこのスコープで宣言されていません」が発生する件
-
[解決済み】C++11を有効にするとstd::vectorのパフォーマンスが低下する件
-
[解決済み] 参照渡しより値渡し、std::moveの方が優れている点
-
[解決済み] パラメータを正しく渡すには?