&size(30){&color(darkblue,#c0c0ff){''C++11がゲームプログラミングにもたらすもの''&br;};}; #counter *はじめに [#uab6e7b1] ゲームプログラミングの開発環境が変化してきました。~ かつてアセンブラやCで書かれていたゲームプログラムは、C++での開発が主流になったといえるでしょう。~ C#やJavaでのゲームプログラミングも現実的になってきましたが、本格的なゲーム開発はC++が多数派だと思います。~ なぜならば、ゲームは処理速度、メモリ効率、レスポンス、いずれも高い次元で動作することが要求されるからです。 C++11の登場で、C++でのゲームプログラミングも大幅に進化しました。~ それは、アセンブラからCへ、CからC++へと変遷していったときと同じぐらい、大きなインパクトがあります。 C++11により、C++のウイークポイントが解消され、実行速度、メモリ効率、開発効率、ともに大幅な改善がされたためです。 実際にゲーム開発でC++11を本格的に導入して2年ほど経過しましたので、 C++をゲームプログラミングで効率的に使う方法をまとめてみました。 ----- * もくじ [#o69f245d] - [[Chapter-1 moveの活用>#se0884ad]] -- [[1-1 moveのおさらい>#w470c8e3]] -- [[1-2 moveコンストラクタとmove operator = を実装>#e79b2ab6]] -- [[1-3 moveの落とし穴(地雷)>#d5297a36]] --- [[1-3-1 std::swapの違い>#u367b8ee]] --- [[1-3-2 move後のクラスオブジェクトへのアクセス>#z2f97230]] --- [[1-3-3 継承クラスのmoveコンストラクタ>#k34d6cf5]] --- [[1-3-4 VisualStudioはmoveコンストラクタを自動生成してくれない>#v2b4d8f6]] - [[Chapter-2 ラムダ式の活用>#b1ba22c5]] -- [[2-1 コールバックの活用>#b7b82b67]] -- [[2-2 遅延評価>#wcae6356]] -- [[2-3 遅延実行>#chap2_3]] -- [[2-4 ラムダ式の注意点>#y96adffe]] --- [[2-4-1 キャプチャのパフォーマンス>#ycae0541]] --- [[2-4-2 shared_ptrのキャプチャ問題>#kba68e9e]] - [[Chapter-3 コピーコンストラクタの廃止によるパフォーマンスアップ>#k512d924]] -- [[3-1 コピーコンストラクタをムーブコンストラクタに置き換える>#sd4fcc08]] -- [[3-2 shared_ptrをunique_ptrに置き換える>#j6d280b8]] - [[Chapter-4 応用編 描画ループの処理>#t0585e51]] -- [[4-1 スレッドを使用しない遅延実行関数>#k6a2857f]] -- [[4-2 タスクマネージャの紹介>#e5377937]] ----- * CHAPTER-1 moveの活用 [#se0884ad] moveの活用による恩恵は計り知れません。 とくに、速度とメモリ効率、そしてデバッグ効率を重視するゲームプログラミングにおいて、 moveセマンティクスの導入は大きな効果がありました。 なお、moveに関して十分な知識のある方ば、Chap.1は読み飛ばしてください。 ----- ** 1-1 moveのおさらい [#w470c8e3] moveを使う前に、右辺値参照について知っておく必要があります。 このプログラムを見てください。 #sh(cpp){{ string a = "1"; string b = "2"; string c = a + b; // ~~~~~ // 右辺値 }} この"a + b"の部分が右辺値です。~ 右辺値とは、名前のない一時的に生成されるオブジェクトのことです。~ この場合、string型で値が"12"の一時オブジェクトが生成されます。 わかりやすくC++03の書式で置き換えると、 #sh(cpp){{ string a = "1"; string b = "2"; string tmp(a + b); string c = tmp; }} このような動作になります。~ tmpは式の外では不要になる、一時オブジェクトです。 さて、最後の"c = tmp"で行われるコピーが無駄な動作ということは明白ですね。~ C++03では、右辺値を変数に代入する時点で、コピーが発生してメモリと処理速度の無駄が発生していました。 コピーの無駄を省くにはtmpをcにエイリアスしてしまえはば解決しますが、 #sh(cpp){{ string& c = a + b; }} これはエラーになります。"a + b"は右辺値なので、参照型として使うことができません。 C++03では、メモリ上の何処かに生成された一時オブジェクトを、式の外へ持ち出す手段がありませんでした。 C++11では、右辺値参照という新しい機能が追加されました。 #sh(cpp){{ string&& c = a + b; }} これで、C++03で記述する以下の動作とほぼ等しくなります。 #sh(cpp){{ string tmp = a + b; string& c = tmp; }} C++03では、右辺値として生成されたオブジェクトを使う場合、いったんコピーする必要がありました。 では、moveはどこでつかうかというと、 #sh(cpp){{ string&& c = a + b; }} とするかわりに、 #sh(cpp){{ string c = move(a+b); }} とすることで、"a + b"の一時オブジェクトをcに移動することが可能になります。 最初の例と大きな違いがないように見えますが、前者は(右辺値)参照、後者は移動(move)という違いがあります。 一般的には、moveのコストはcopyよりもずっと小さく、stringならばバッファのポインタとサイズをコピーするだけで終わります。 メモリ上にアロケートされた実体はコピーされずにそのまま使われます。 なお、上記の例はわかりやすくするために move(a+b)と書きましたが、a+bは明らかに右辺値なのでmoveは省略できます。 moveを明示的に使うのは、左辺値を右辺値に変換するときに使用します。 #sh(cpp){{ string a = "1"; string c = move(a); // cにaのインスタンスが移動する。 // これ以降はaにアクセスしてはならない。 // aは、ヌケガラ、デガラシ、捨てられたバナナの皮のようなもの。 // アクセスすると、未定義動作の洗礼を受けることになる。 }} この例だと、aをcに移動させているだけで、なんのメリットもないコードです。 しかし、moveは後述するコンストラクタや代入演算子で必要になります。 ----- *** 1-2 moveコンストラクタとmove operator = を実装 [#e79b2ab6] 下記のプログラムは、C++03とC++11では動作が大きく異なります。 #sh(cpp){{ string c = a + b; }} 先ほど解説したとおり、C++11では、"a + b"の一時オブジェクトはcにmoveされます。 なぜmoveされるのか? それは、stringにmove代入演算子とmoveコンストラクタがあるからです。 もし、自前のクラスで、moveコンストラクタやmove代入演算子が定義されていなかったら、moveされません。 #sh(cpp){{ Hoge a = 1; Hoge b = 2; Hoge c = a + b; }} この、3行目の"c = a + b"の動作は、Hogeクラスにmoveコンストラクタが実装されているか否かできまります。 http://melpon.org/wandbox/permlink/7v7e0TFsorASaOzQ Hogeにmove代入演算子がなくても、ビルドはとおります。プログラムは何事もなかったかのように、COPYを行ってゆっくりと動作するでしょう。 目に見えにくいので注意が必要です。 moveを使うには、moveコンストラクタとmove代入演算子を定義する必要があります。 #sh(cpp){{ struct Hoge { string str_; Hoge(const Hoge& hoge) : str_(hoge) {} // コピーコンストラクタ Hoge(Hoge&& hoge) : str_(move(hoge)) {} // moveコンストラクタ Hoge& operator = (const Hoge& hoge) { str_ = hoge.str_; return *this; } // copy代入演算子 Hoge& operator = (Hoge&& hoge) { str_ = move(hoge.str_); return *this; } // move代入演算子 }; }} これでOKです。~ インスタンスに対する操作が標準的な実装ならば、以下のように省略することができます。 #sh(cpp){{ struct Hoge { string str_; Hoge(const Hoge& hoge) = default; Hoge(Hoge&& hoge) = default; Hoge& operator = (const Hoge& hoge) = default; Hoge& operator = (Hoge&& hoge) = default; }; }} http://melpon.org/wandbox/permlink/OHFJkkmV7XZllqL7 ----- ** 1-3 moveの落とし穴(地雷) [#d5297a36] moveを活用することで速度とメモリ効率を同時に向上できますが、いくつか落とし穴があります。 実際に私が踏んでしまた地雷について解説します。 ----- *** 1-3-1 std::swapの違い [#u367b8ee] C++03でのstd::swapは、以下のような実装でした。 #sh(cpp){{ template<typename T> void swap(T& a, T& b) { T tmp = a; a = b; b = tmp; } }} このように、代入を3回行うことでaとbを入れ替えています。~ これが、C++11になると以下のような実装に変わりました。 #sh(cpp){{ template<typename T> void swap(T& a, T& b) { T tmp = move(a); a = move(b); b = move(tmp); } }} コピー3回から、move3回に変わっています。~ 通常のクラスなら気にすることはないのですが、バッファやリソースの管理を行っているクラスで、コピーやswapに特殊な操作が必要な場合は要注意です。 std::swapは、コピーコンストラクタの有無、moveコンストラクタの有無、代入演算子の有無などで、以下のような動作になります。 | |copy constructor|move constructor|operator= const&|operator= &&|copyされる回数|moveされる回数| |C++03 | なし | なし | なし | なし |CENTER: 3回 |CENTER: 0回 | |C++11 | なし | なし | なし | なし |CENTER: 0回 |CENTER: 3回 | |C++11(VS2013)| なし | なし | なし | なし |CENTER: 3回 |CENTER: 0回 | |C++11 | both | なし | both | なし |CENTER: 3回 |CENTER: 0回 | |C++11 | both | あり | both | あり |CENTER: 0回 |CENTER: 3回 | |C++11 | あり | あり | both | なし |CENTER: 2回 |CENTER: 1回 | |C++11 | あり | なし | both | あり |CENTER: 1回 |CENTER: 2回 | C++03で書かれたソースをビルドすると、コピーコンストラクタが無いクラスは、moveされ、copyコンストラクタが定義されているクラスはコピーされます。~ (VisualStudioではいずれもコピーになります) C++11では、moveコンストラクタとmove代入演算子をセットで定義しておかないと、std::swapが期待通りの動作をしてくれないようです。 ----- *** 1-3-2 move後のクラスオブジェクトへのアクセス [#z2f97230] 以下のプログラムは、何の問題もなく動くはずでした。すくなくともC++03までは。 #sh(cpp){{ void foo(string&); void func() { string a = "hoge"; foo(a); cout << a << endl; } }} しかし、moveセマンティクスが導入されたC++11では、foo()の実装次第では安全でなくなります。 #sh(cpp) {{ void foo(string& a) { string b = move(a); // ここでaはヌケガラとなる } void func() { string a = "hoge"; foo(a); // fooの中でaが破壊される cout << a << endl; // 未定義動作 } }} これを回避するには、関数のAPIをしっかりと設計するしかありません。 参照で受け取った引数を破壊するような関数は設計しないほうが無難です。 この問題のやっかいなところは、ヌケガラとなった変数にアクセスしても、「それなりに」動作してしまうことです。 上記のプログラムも、何事もなかったかのように動作してしまいます。 標準ライブラリのmoveされたオブジェクトへのアクセスは、ランタイムエラーにしてほしいところです。 ----- *** 1-3-3 継承クラスのmoveコンストラクタ [#k34d6cf5] 以下のプログラムは、潜在的な問題を含んでいます。 #sh(cpp){{ struct BaseClass { string baseStr_; BaseClass(BaseClass&& bc) : baseStr_(move(bc.baseStr_)) {} }; struct SubClass : BaseClass { string subStr_; SubClass(SubClass&& sc) : BaseClass(move(sc)) , subStr_(move(sc.subStr_)) {} }; }} 一見して問題のなさそうなプログラムですが、SubClassのmoveコンストラクタが正しく動作しないことがあります。~ 問題はココ #sh(cpp){{ SubClass(SubClass&& sc) : BaseClass(move(sc)) }} BaseClassに、SubClassの引数であるscをmoveし手渡しているところです。~ このmoveにより、scのインスタンスはBaseClassの引数に「移動」します。 baseStr_は良いのですが、subStr_も一緒に移動してしまい、受け取り手がいないので闇に葬られてしまいます。 SubClassの次の行で、 #sh(cpp){{ , subStr_(move(sc.subStr_)) {} }} としていますが、このときすでにscはヌケガラなので、subStr_も空っぽです。 したがって、このプログラムは意図した動作をしない可能性があります。 「可能性があります」と書いたのは、実はこのケースはほとんどの場合、意図した動作をします。 BaseClassのmoveコンストラクタの引数の評価が遅延されると、subStr_のmove動作は行われません。 引数の評価のタイミングに依存したコードとなっています。 実際に試したところ、単純なプログラムでは正常に動作しましたが、比較的大きなクラス&ライブラリ化などのいくつかのステップを踏むことで、 BaseClassのmoveコンストラクタに渡すmoveでSubClassのsubStr_が消失してしまう現象を確認しています。 同じプログラムが環境によって動作したりしなかったりは、デバッグを困難にする困った問題です。 予防的な意味でも、下記のようにベースクラスのmoveコンストラクタを呼ぶ場合はキャストしたほうが良いでしょう。 #sh(cpp){{ struct SubClass : BaseClass { string subStr_; SubClass(SubClass&& sc) : BaseClass(move(static_cast<BaseCLass&&>(sc))) , subStr_(move(sc.subStr_)) {} }; }} ----- *** 1-3-4 VisualStudioはmoveコンストラクタを自動生成してくれない [#v2b4d8f6] 以下のようなクラスがあります。 #sh(cpp){{ struct Hoge { string name_; }; }} このHogeというクラスには、コンストラクタ、コピーコストラクタ、代入オペレーターなどが自動生成されます。 C++11になり、moveによる代入オペレーターも自動生成されるようになったのですが、VisualStudio 2013は現時点でmoveコンストラクタおよび代入オペレータを生成してくれません。 以下のプログラムを実行した場合、 #sh(cpp){{ Hoge foo() { Hoge hoge; return hoge; } Hoge hoge; hoge = foo(); }} GCCやClangでは、moveコンストラクタと代入演算子が自動生成され、Hogeのインスタンスであるstring name_はmoveされます。~ ところが、VisualStudio 2013で同じプログラムを実行すると、string name_は関数foo()のreturn時にコピーコンストラクタによりコピーされ、 hoge = foo(); でコピー代入演算子によりコピーされます。つまり、stringが2回もコピーされる結果となります。 VisualStudioでは、下記のように明示的にmoveコンストラクタとmove代入演算子を定義する必要があります。 #sh(cpp){{ struct Hoge { string name_; Hoge(); Hoge(Hoge&& h) : name_(move(h.name_)) {} Hoge& operator = (Hoge&& h) { name_ = move(h.name_); return *this; } }; }} http://melpon.org/wandbox/permlink/jBdMQWZLwuwOAzqP ----- * Chapter-2 ラムダ式の活用 [#b1ba22c5] ラムダ式の導入は、C++11での最大のトピックといっても過言ではありません。~ 特に、処理が複雑になりがちなゲームプログラミングにおいて、ラムダ式の活用はコード量を削減し、 パフォーマンスを犠牲にすることなくバグの出にくいプログラムが可能になりました。 本章ではゲームプログラミングにおけるラムダ式の活用例を紹介いたします。 ----- ** 2-1 コールバックの活用 [#b7b82b67] C++03でも、boost::lambdaを活用することで、効率的なプログラミングが可能でした。~ しかし、C++11でのラムダ式の導入は、従来のアプローチをはるかに超える便利さがあります。 たとえば、ボタンを押されたら指定された関数を呼び出す処理を考えてみましょう。 ボタンが押されたかの判定は、bool buttonClicked(); という関数を使用します。 #sh(cpp){{ template<typename Func> void buttonCheck(Func f) { if (buttonClicked()) f(); } }} これでOKです。たとえば、ボタンが押された時に、MyClass::playSound(123); という関数を呼び出す処理を行いたい場合、 #sh(cpp){{ // 呼び出し時 buttonCheck(bind(&MyClass::playSound, this, 123)); }} と書けばOKです。ちょっとわかり辛いですが、なんとか1行でかけました。~ (C++03のときは、boost::bindのお世話になりました) では、playSound(123)のあとにつづけて、playSound(124)を実行して、音を2回鳴らすように改造するにはどうすれば良いでしょう? buttonCheckに渡すのはあくまでも「関数のポインタ」なので、手続きを関数のポインタに変換することはできません。 仕方がないので、以下のように書きます。 #sh(cpp){{ class MyClass { ... void playSound2(int a, int b) { playSound(a); playSound(b); } ... buttonCheck(bind(&MyClass::playSound2, this, 123, 124)); }} MyClassにメソッドを追加することになります。 単独の関数でも構いませんが、いずれにしてもbuttonCheckを呼び出す場所と離れたところに処理を記述する必要がありました。 ラムダ式を使うと、以下のようにシンプルにかけます。 #sh(cpp){{ buttonCheck([this]{ playSound(123); playSound(124); }); }} とても簡単に書けるようになりました。この、「簡単でわかりやすい」というのがラムダ式を使う大きなメリットなのです。 従来は、コールバックを要求するAPIに対して関数を追加して対応していましたが、ラムダ式を使うとコードサイズをぐっと減らすことができます。 ----- ** 2-2 遅延評価 [#wcae6356] ラムダ式をうまく使うことで、値の評価を実際に使うときまで引き延ばすことが簡単にできるようになりました。 ここに、引数を元になんらかの計算を行う tryCalculationという関数があるとします。 ただし、毎回計算を行うわけではなく、needCalculation()がtrueのときだけ計算する関数です。 この関数を、乱数を計算するrand()というメンバ関数を使って呼び出してみます。 #sh(cpp){{ // needCalculation()がtrueのときに、引数をもとに処理を行う関数 void tryCalculation(int value) { if (needCalcucation()) { doCalculatoin(value); } } struct MyClass { int rand(); ... void func() { tryCalculation(rand()); // ここでrand()が呼ばれて乱数が生成される } }; }} 特に問題のないプログラムですが、計算を実行する必要がないときにもrand()による乱数生成の処理を行ってしまうのが欠点です。 必要なときだけ乱数の計算を行うように修正すると、 #sh(cpp){{ // needCalculation()がtrueのときに、引数をもとに処理を行う関数 void tryCalculation(function<int()> func) { if (needCalcucation()) { doCalculatoin(func()); } } struct MyClass { int rand(); ... void func() { tryCalculation([this]{return rand()}); // rand()の実行は、doCalculationまで遅延される } }; }} このように、ほんの少しの修正で遅延実行の処理を書くことができます。 パフォーマンスを重視するゲームにおいて、遅延実行は大きな効果を発揮します。 ----- ** 2-3 遅延実行 [#chap2_3] ゲームプログラムでは、一定時間後に特定の処理を行いたいという事が良くあります。 たとえば、「テキストを表示して1秒後に消す」と言った処理です。 遅延実行はラムダ式を使うことで、簡単に記述することが可能です。 #sh(cpp){{ // テキストを表示して1秒後に閉じる処理 void textOpenAndClose() { showText(); delayedExec(1.0, []{ closeText(); }); } }} もう少し複雑な例として、「テキスト1を表示して1.5秒後にテキスト2を表示し、テキストはそれぞれ2秒表示後に閉じる」 という手順は以下のように記述できます。 #sh(cpp){{ void textOpenAndClose() { // 指定されたテキストを2秒間表示して閉じる関数 auto show2sec = [](int n, float sec) { showText(n); // テキストnを表示 delayedExec(sec, [n]{ closeText(n); }) // sec秒後にテキストnを閉じる }; // テキスト1を表示して、2秒後に閉じる show2sec(1, 2.0f); // 1.5秒後にテキスト2を表示して2秒後に閉じる delayedExec(1.5, [&show2sec]{ show2sec(2, 2.0f); }); } }} ラムダ式を使うことで、処理を局所的に記述でき、コードが簡潔にかけますね。 複雑な手順もわかりやすくコーディングできます。 指定された時間後に関数を実行する、deleyedExecの中身も紹介しておきます。~ この例ではスレッドを使用していますが、スレッドを使用しない例はChapter-4で紹介します。 #sh(cpp){{ // 関数を指定された時間だけ遅延実行する void delayedExec(float sec, function<void()> func) { thread th([sec, func] { this_thread::sleep(sec*1000.0); // src秒間スリープ(ミリ秒に変換) func(); // 関数を実行 }); th.detach(); // thを破棄可能にするため、スレッドを切り離す } }} ----- ** 2-4 ラムダ式の注意点 [#y96adffe] 便利で一度使い出すと手放せないラムダ式ですが、私が遭遇したハマりポイントをいくつか紹介します。 ----- *** 2-4-1 キャプチャのパフォーマンス [#ycae0541] ラムダ式には、任意の変数を渡すことができますが、渡し方によりオーバーヘッドが発生します。 &による参照渡しの場合はポインタとして4バイトないし8バイト、コピー渡しの場合は変数やクラスのサイズ分のメモリがヒープ上に確保されてコピーされます。 大きなクラスオブジェクトやコピーにコストがかかるものは、コピー渡しにしないほうがよいでしょう。 "="の記述のみによるキャプチャは、思わぬオーバーヘッドを見落としてしまうので、できるかぎり自動にしないで変数を列挙するようにしています。 C++11では、コピー不可のオブジェクトを実体として渡すことはできません。参照として渡すことになるので、生存期間の管理が必要です。 ※C++14からはmoveによるキャプチャがサポートされる予定です。 C++14からサポートされるmoveキャプチャの例 #sh(cpp){{ string hoge = "hoge"; auto func = [h = move(hoge)]{ //hogeがhにmoveされる cout << h << endl; }; }} ----- *** 2-4-2 shared_ptrのキャプチャ問題 [#kba68e9e] 参照によるキャプチャは寿命の問題があるため、解決方法としてshared_ptrを使うことが考えられます。 ただし、shared_ptrをそのままキャプチャすると、参照カウントの問題が発生します。 下の例では、MyClassの参照カウントはゼロにならず、ゾンビオブジェクト化してメモリリークを引き起こします。 #sh(cpp){{ struct MyClass { function<void()> callback_; ... void hoge(); }; ... // shared_ptrのインスタンスを作成 auto myptr = make_shared<MyClass>(); // callback_関数に、自分のshared_ptrをキャプチャしてラムダ式を登録 myptr->callback_ = [myptr] { myptr->hoge(); } // ~~~~~ // このmyptrは、callback_にコピーして保存されるため、MyClassは自身の参照を保持することになりゾンビとなる。 }} 単独な循環参照なら比較的気がつきやすいですが、多くのクラスを介した三つ巴の循環参照を引き起こす場合は発見が困難です。 しかも、プログラムはメモリを食いつぶしながらも正常に動作してしまうので、発見が遅れる困ったバグとなります。 この問題は、weak_ptrを利用することで解決できます。 #sh(cpp){{ ... // shared_ptrのインスタンスを作成 auto myptr = make_shared<MyClass>(); // callback_関数に、自分のweak_ptrをキャプチャしてラムダ式を登録 weak_ptr<MyClass> wptr = myptr; myptr->callback_ = [wptr] { if (auto p = wptr.lock()) p->hoge(); } // ~~~~~ // werk_ptrは自身で保持しても循環参照とならない }} 一行増えてしまいますが、shared_ptrをキャプチャする場合は必ずweak_ptrを利用することをお勧めします。 C++14の場合は、以下のようにかけるので便利です。 #sh(cpp){{ ... // shared_ptrのインスタンスを作成 auto myptr = make_shared<MyClass>(); // callback_関数に、自分のweak_ptrをキャプチャしてラムダ式を登録 myptr->callback_ = [wptr = weak_ptr<MyClass>(myptr)] { if (auto p = wptr.lock()) p->hoge(); } // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ // c++14ではこのように書ける }} ----- * Chapter-3 COPYコンストラクタの廃止によるパフォーマンスアップ [#k512d924] ゲームプログラムでは処理速度の向上が必要不可欠です。「富豪的プログラミング」は許されません。~ もし、処理速度を全く問題にしないゲームを作るのならば、スクリプトやJava,C#などの他の言語の方が良い選択肢かもしれません。 moveセマンティクスの導入で、オブジェクトの無駄なコピーを省くことができるようになりました。 しかし、既存のコードをリファクタリングして無駄なコピーを見つけるのは手間がかかります。 そこで、既存のクラスを簡単にリファクタリングする方法として、COPYコンストラクタの廃止というアプローチを紹介します。 ----- ** 3-1 コピーコンストラクタをムーブコンストラクタに置き換える [#sd4fcc08] このような従来のコードがあるとします。 #sh(cpp){{ struct Hoge { string ins_; // クラスインスタンス Hoge(); Hoge(const Hoge& h) : ins_(h.ins_) {} // コピーコストラクタ Hoge& operator = (const Hoge& h) { ins_ = h.ins_; } // 代入演算子 }; }} ごく一般的なクラスの定義だと思いますが、これを以下のように変えてしまいます。 #sh(cpp){{ struct Hoge { string ins_; Hoge(); Hoge(const Hoge&) = delete; // copyコストラクタ禁止 Hoge(Hoge&& h) : ins_(move(h.ins_)) {} // moveコンストラクタ Hoge& operator = (const Hoge&); // 代入演算子禁止 Hoge& operator = (Hoge&& h) { ins_ = move(h.ins_); } // move代入演算子 // 自分の複製を作るメンバ関数(複製の生成が必須の場合) Hoge clone() const { Hoge h; h.ins_ = ins_; // インスタンスをcopy return h; } }; }} copyコンストラクタと代入演算子を使用禁止にして、代わりにmoveコンストラクタとmove代入演算子を定義します。~ クラスオブジェクトの複製が必要な場合、clone()メンバ関数を定義します。 この変更を行った後、ビルドしてエラー箇所を全部直せば、このクラスのコピーはclone()以外では実行されなくなります。~ もし、コピーを嫌ってポインタや参照でやりとりしていた箇所があったとすると、コードをスッキリ直すことができるでしょう。 もちろん、このクラスをvector<>,map<>などSTLのコンテナに格納することも可能です。 ただし、vectorの場合はpush_backは使用できません。すべてemplace_backに置き換えます。 無駄なコピーを行っている箇所をコンパイラが見つけてくれます。 この簡単な変更で、従来のプログラムより2割以上も速く動作したという事例もあります。 ----- ** 3-2 shared_ptrをunique_ptrに置き換える [#j6d280b8] shared_ptrはとても便利ですが、それなりのオーバーヘッドがあります。 リファレンスカウントを増減する際、スレッド同期を行う為の処理が入るため、ループの内部やタイミングがクリティカルな箇所での使用は要注意です。 ポインタを本当にシェアしたい場合は仕方がないですが、単にオブジェクトの解放を自動化したいだけならば、unique_ptrのほうが断然高速に動作します。 unique_ptrはコピーできないため、従来は使用範囲が制限されていましたが、moveセマンティクスの導入で移動が可能になり使い勝手がぐっと向上しました。 vector<>などの標準ライブラリのコンテナにも入れることができます。 シェアしないポインタをすべてunique_ptrに置き換えることでパフォーマンスの向上が図れます。 ----- * Chapter-4 応用編 描画ループの処理 [#t0585e51] ほとんどのゲームプログラムは、描画ループというものが存在します。 ハードウエアに依存しますが、一般的に60分の1秒(16.67ms)を周期としてレンダリング処理が行われます。 ゲームプログラムのメインルーチンは、以下のような構造になります。 #sh(cpp){{ int main() { // finished()がtureになるまでループ while(!finished()) { update(); // ゲームの処理 render(); // 描画処理 } } }} ゲームのメインルーチンは、毎秒60回コールされるupdate()から呼ばれるので、時間のかかる処理は分割するなどの工夫が必要になります。 スレッドを利用することで、メインループとは独立した処理を書くことができますが、マルチスレッドのプログラミングにはコストかかります。 ファイルのロードや通信などの時間のかかる処理はスレッド化するとしても、ゲームのメインの部分はメインループで処理を行うのが一般的でしょう。 メインループから呼ばれるメインスレッドでの処理を簡潔に行うため、以下のようなアプローチがあります。 +イベントドリブン型モデル --長所: プログラムが書きやすい --短所: 処理時間のかかるプログラムは書けない(スレッドを起こすなどの工夫が必要) +コルーチンによる擬似マルチタスク --長所: 処理時間のかかるプログラムもかける --短所: メモリ管理、スタック領域の管理が難しい。 いずれも一長一短あり併用する場合もありますが、ここではイベントドリブン型の処理を取り上げます。 ----- ** 4-1 スレッドを使用しない遅延実行関数 [#k6a2857f] Chapter 2-3で紹介した、遅延実行を行う関数delayedExec()を、スレッドを使わないモデルで実装してみます。 #sh(cpp){{ // 遅延実行を登録/実行する関数 // 引数なしで呼ぶと実行処理(通常はメインループのupdate()から呼ぶ) void delayedExec(float sec = 0.0f, function<void()> func = nullptr) { // 遅延実行する関数を保持するコンテナ 要素の追加でイテレータを破壊てほしくないのでlistを使用 static list<tuple<int, function<void()>>> queue; if (sec) { // 遅延実行関数の登録 int frame = sec * 60.0f; // 秒からフレーム数に変換 queue.emplace_back(make_tuple(frame, move(func))); return; } // 引数を省略した時は実行処理 for (auto it = begin(queue); it != end(queue); ) { int& count = it->get<0>(); if (--count == 0) { // 時間が来た! it->get<1>()();// 遅延実行 この関数の中からdeleydExecを呼んでもOK it = queue.erase(it); } else { // まだまだ ++it; } } } }} この関数は、キューに関数を登録する部分と、キューに溜まっている関数を実行する2つの部分で構成されています。~ もちろん、クラス化してもっとスッキリ記述できますが、あくまでも例ですのでその点は突っ込まないでください。 メインループから呼ばれるupdate()の中で、関数を実行するための処理を一行入れます #sh(cpp){{ ... void update() { ... delayedExec(); // タイミングの計算と関数の実行 ... }} これだけで、「テキスト1を表示して1.5秒後にテキスト2を表示し、テキストはそれぞれ2秒表示後に閉じる」 という手順をスレッドを使わずに記述できます。 #sh(cpp){{ void textOpenAndClose() { // 指定されたテキストを2秒間表示して閉じる関数 auto show2sec = [](int n, float sec) { showText(n); // テキストnを表示 delayedExec(sec, [n]{ closeText(n); }) // sec秒後にテキストnを閉じる }; // テキスト1を表示して、2秒後に閉じる show2sec(1, 2.0f); // 1.5秒後にテキスト2を表示して2秒後に閉じる delayedExec(1.5, [&show2sec]{ show2sec(2, 2.0f); }); } }} ** 4-2 タスクマネージャの紹介 [#e5377937] C++11の新機能を活用したゲーム用タスクマネージャーを作成しましたので、サンプルプログラムとし公開します。 主な特徴は、 + すべてのクラスはコピーを一切行ない設計 + ゲームの流れを視覚的に記述できる + 名前付きオブジェクトでのタスク管理 + タスクオブジェクトやタスクキューの管理でヒープを一切使用していません。(newしている箇所はありません) となっています。 処理は、「タスク」という名前付きオブジェクトで管理され、タスク間の連携をラムダ式とイニシャライザリストを使って局所的に記述できるようになっています。 以下のプログラムが、ゲームの流れ定義する処理部分です。 「タイトルロゴ」「メインメニュー」「ゲーム」「セッテイング」「エンディング」というそれぞれのタスクの流れを定義しています。 #sh(cpp){{ task_.run({ "titleLogo", titleLogo, { "mainmenu", mainMenu, { { // game main gameMain, {ending, "mainmenu"} }, { // setting menu settingMenu, {"mainmenu"} } } } }); }} 'titleLogo', 'mainMenu', 'gameMain', 'ending', 'settingMenu' はクラスオブジェクトではなく関数です。 つまり、この部分にラムダ式を書くことができます。 これらの関数をラムダ式で表現すると以下のようになります。 #sh(cpp){{ task_.run({ "titleLogo", [](TaskArgs& args) { // titleLogoの処理 }, { // titleLogoの引数 "mainmenu", [](TaskArgs& args) { // mainMenuの処理 }, { // titleLogoの引数 { // gameMainタスク [](TaskArgs& args) { // gameMainの処理 }, // gameMainの引数 { [](TaskArgs&) { // endingの処理 }, {"mainmenu"} }, { // settingMenuタスク [](TaskArgs&){ // settingMenuの処理 }, {"mainmenu"} } } } } }); }} このように直接処理を記述することができます。 タスクの書式は、 [名前], function<void(TaskArgs&)>, [{引数リスト}} となっています、名前はタスクの名前で、他のタスクからは名前で参照ができるようになっています。~ 引数リストは、タスクのリストです。タスクは、連携するタスクのリストを引数として受け取るようになっています。~ 引数で指定するタスクは、タスクの関数か、名称(文字列)が使用できます。 **4-1 名前付きオブジェクトクラス [#fc009fc8] NamedObjectは、名前付きオブジェクトクラスです。~ 名前で検索するためのDB(unorderdmap)を保持しています。~ NamedObjectは、インスタンスを保持する実体としてのクラスと、インスタンスへの参照をもつ参照クラスの2つの形態があります。 NamedObjectはコピー不可、ムーブ可能なクラスで、クラスインスタンスの型をとるCRTPの形式となっています。 名前の型は指定可能ですが、初期値はstd::stringです。std::unorderedmapのキーに利用できる型ならOKです。 #sh(cpp){{ // NameType 名前を格納するクラス。通常はstd::string // ValueType オブジェクトの型 template <typename ValueType, typename NameType = std::string> class NamedObject { public: using name_type = NameType; using value_type = ValueType; // default constructor NamedObject() {} NamedObject(name_type&& n, bool ref = false); NamedObject(const name_type& n, bool ref=false); // move constructor NamedObject(NamedObject&& n); // コピーコンストラクタは使用禁止 NamedObject(const NamedObject&) = delete; // デストラクタではmoveされずに破棄されるオブジェクトをチェック ~NamedObject(); // 代入はmoveのみ可 NamedObject& operator = (NamedObject&& n); // コピーの代入は禁止 NamedObject& operator = (const NamedObject& n) = delete; // インスタンス取得 boost::optional<value_type&> getBody(); boost::optional<const value_type&> getBody() const; // 名前へのアクセス const name_type& name() const { return name_; } name_type& nameRef() { return name_; } // 名前から検索 static boost::optional<value_type&> lookup(const name_type& name); // 無名のオブジェクトに参照用のユニークな名前を付ける void setUniqName() const; // 参照オブジェクトの場合はtrue bool isReferenceObject() const; }; }}