🏠 TOP / モダンC++ M2【C++11/14】：ムーブセマンティクス
モダン第2章：【C++11/14】右辺値参照とムーブセマンティクス（ゼロコピー革命）
右辺値参照（T&&）、std::move、Rule of Five によるゼロコピー抽象化
C言語やレガシーなC++03では、大きなオブジェクトや配列を関数から返したりコレクションに追加する際、すべてのデータを複製する「ディープコピー」が発生し、多大なCPU時間とメモリを浪費していました。C++11最大の革命である「ムーブセマンティクス（右辺値参照とstd::move）」、処理をインラインで記述できる「ラムダ式」、そして型推論「auto」によって、安全性を1ミリも犠牲にせず極限の実行速度を手に入れるモダンC++の技法を習得します。
M2.1 ディープコピーの悲劇と右辺値参照（T&&）の革命
「捨てる予定の巨大データ」をわざわざ全件コピーしてから元のデータを破棄していませんか？ムーブセマンティクスがなぜC++11以降の標準ライブラリを根本から高速化したのか、その物理構造を解き明かします。
🐧 ペンギン先輩
ベン先生！ステージ上の弾丸や敵データをまとめた std::vector を別の管理クラスに渡そうとしたら、ゲームが一瞬カクつくんです。プロファイラを見たら、メモリのコピー処理に時間がかかっていました……！
🐻❄️ シロクマ先生
ガハハ！それこそが古典C++の宿痾【ディープコピー（深層複製）の悲劇】じゃ！vector の中に数百個の要素があるとき、レガシーなコピー代入 `a = b;` を行うと、ヒープ領域を新しく malloc し直し、全要素を1つずつ愚直にコピーしておったのじゃ。
🐧 ペンギン先輩
でも先生、元の `b` は代入した直後に関数を抜けて消える一時オブジェクトなんです！消えるやつの中身をいちいちコピーするの、めちゃくちゃ無駄じゃないですか？
🐻❄️ シロクマ先生
鋭いのう、ペンギン！まさにその「どうせ消える一時オブジェクト（右辺値）」から、メモリの所有権ポインタだけをヒュッと奪い取る仕組みこそが【ムーブセマンティクス（Move Semantics）】じゃ！C++11で世界を変えた大発明なんじゃぞ！
M2.2 std::move の正しい使い方と「抜け殻（Moved-from）」の規律
`std::move()` は実際には「何も動かさない」？！std::move の正体である「右辺値キャスト」の仕組みと、ムーブされた後の変数を触ってはいけない鉄則を学びます。
M2.3 ラムダ式（無名関数）：関数の即席インライン定義
「死んだ敵を一括削除する」のに、いちいち外部に関数ポインタやファンクタクラスを書いていませんか？モダンC++のラムダ式 `[...] (...) { ... }` でコードの局所性と可読性を極限まで高めます。
📝 理解度チェッククイズ
Q1. モダンC++において「ムーブセマンティクス（std::move）」がディープコピーより圧倒的に高速である根本的な理由は何ですか？
1. CPUのマルチコアをすべて使って並列にデータをコピーするから 2. ヒープ上の実体データを1バイトも複製せず、内部のポインタ番地をすげ替える（付け替える）だけで完了するから 3. OSの仮想メモリ圧縮機能を強制起動するから 4. コンパイラが自動的にアセンブラの goto 文に変換するから
正解と解説を見る
正解：ヒープ上の実体データを1バイトも複製せず、内部のポインタ番地をすげ替える（付け替える）だけで完了するから
Q2. `std::move(x)` を実行した直後、元の変数 `x` の状態について正しい説明はどれですか？
1. メモリから完全に消滅し、変数の宣言自体が無効になる 2. 有効だが未規定（Valid but unspecified）な状態（空のポインタや空の配列）になり、再代入するまでは安全な利用が保証されない 3. 以前と全く同じ値がそのまま保持されている 4. 即座にOSのアクセス違反（Segmentation Fault）が発生する
正解と解説を見る
正解：有効だが未規定（Valid but unspecified）な状態（空のポインタや空の配列）になり、再代入するまでは安全な利用が保証されない
Q3. C++のラムダ式 `[=](int a) { return a + bonus; }` において、先頭の `[=]`（キャプチャリスト）は何を意味していますか？
1. 外側のローカル変数をすべて「コピー（値渡し）」してラムダ式内部で利用可能にする 2. 外側のローカル変数をすべて「参照（ポインタ渡し）」として利用可能にする 3. 引数 a と bonus が等しいかどうかを比較する 4. ラムダ式の戻り値を強制的に void にする
正解と解説を見る
正解：外側のローカル変数をすべて「コピー（値渡し）」してラムダ式内部で利用可能にする
Q4. 関数から大きな `std::vector` を返す設計において、C++11以降のモダンC++で最も推奨される書き方はどれですか？
1. 引数に生ポインタ `std::vector*` を渡して内部で new する 2. 引数に出力用参照 `std::vector& out` を渡して書き込ませる 3. 普通に `std::vector` を値返し（Return by value）する（コンパイラが自動的にムーブまたはRVO最適化を行う） 4. グローバル変数に vector を置いて共有する
正解と解説を見る
正解：普通に `std::vector` を値返し（Return by value）する（コンパイラが自動的にムーブまたはRVO最適化を行う）
🐻❄️ シロクマC++ラボ インタラクティブ学習システム
ブラウザでJavaScriptを有効にすると、ブラウザ内インベーダーゲームエミュレータ、メモリマップ可視化、UMLクラス図、対話型解説、理解度クイズが起動します。
インタラクティブ学習を開始する →