Downloaded 23 times
![static assert標準の assert は実際にそのコードが呼び出されなければ問題を検出できないが、static assert であればコンパイル時に問題を検出可能。特にマクロ絡みやクラステンプレートおよび関数テンプレートの実装などでコンパイル時に問題を検出したくなることがあります。配列の要素数は最低でも一つなければエラーになるという性質を利用。エラーハンドリング Boost.勉強会 #3 関西25int static_assert[(int)(bool)(条件式)];](https://image.slidesharecdn.com/error-handling-110516193354-phpapp02/75/slide-25-2048.jpg)
Uploaded by道化師 堂華
エラーハンドリング
エラーハンドリングとはどうあるべきかについての考察。 Boost.勉強会 #3 関西 ( http://kokucheese.com/event/index/4335/ )にて発表。
More Related Content
エラーハンドリング
- 1.
- 2. エラーハンドリングBoost.勉強会 #3 関西( 2010-10-23 )
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11. 人間もミスをするユーザー、システム管理者、プログラマはいずれもミスを犯す。エラーハンドリング Boost.勉強会 #3関西11人間だもの。 (´∀｀
- 12. エラーは損害をもたらす適切なエラーハンドリングを怠ると、状況によっては 「データ破損」、 「システム破損」に留まらず「人の死傷」、「工場の爆発事故」と言った非常に致命的で甚大な損害さえもたらすことがあります。エラーハンドリングBoost.勉強会 #3 関西12ｇｋｂｒ (((ﾟДﾟ；)))
- 13.
- 14.
- 15.
- 16. assert使用例：エラーハンドリング Boost.勉強会 #3関西16intget_value(hoge_type * hoge){assert(NULL != hoge); // 絶対に成立するハズの条件を断言(assert)する。 return hoge->value;}
- 17. assertバグ検出の為の機能。リリース版ではコンパイル時のオプションで NDEBUG マクロを指定することで除去できるし、除去される。パフォーマンス的に問題になるようなチェックをやってもリリース版には影響しないので、気軽にassert を挿入できる。リリース版でもチェックするべき内容であれば assert とは別にエラーハンドリングを記述する必要がある。エラーハンドリング Boost.勉強会 #3 関西17
- 18. _DEBUG と NDEBUG_DEBUGマクロはデバッグ版で定義されるマクロで、 NDEBUG マクロはリリース版で定義されるマクロ。assert のようにデバッグ版とリリース版で挙動を変えたい場合はCプリプロセッサのディレクティブでこの二つのマクロの定義状況を条件にC++のコードを切り替えます。assertでチェックしたい内容が簡単な条件式で収まらない場合に、assert同様にデバッグ版のみで動作するチェック用コードを記述できます。エラーハンドリング Boost.勉強会 #3 関西18
- 19.
- 20.
- 21.
- 22. assertassert の条件式だけでは、その条件式が成立しないことがなぜ駄目なのかなどと言ったことが分かりにくいであろう場合には次のように条件式に説明文を混ぜ込むことで条件式が成立しなかった場合に表示されるメッセージに説明文を挿入することもできます。エラーハンドリング Boost.勉強会#3 関西22assert("hogeは必ず指定してください。" && NULL!=hoge);
- 23. assertassert は通常次のようなマクロと条件式が成立しなかった時にメッセージを表示して終了するだけの極簡単な関数で構成されます。エラーハンドリング Boost.勉強会#3 関西23#ifdef NDEBUG#define assert(X) ((void)0)#else#define assert(X) assert_body(X, #X, __FILE__, __LINE__)#endif
- 24.
- 25. static assert標準の assertは実際にそのコードが呼び出されなければ問題を検出できないが、static assert であればコンパイル時に問題を検出可能。特にマクロ絡みやクラステンプレートおよび関数テンプレートの実装などでコンパイル時に問題を検出したくなることがあります。配列の要素数は最低でも一つなければエラーになるという性質を利用。エラーハンドリング Boost.勉強会 #3 関西25int static_assert[(int)(bool)(条件式)];
- 26. 例外処理使用例：エラーハンドリング Boost.勉強会 #3関西26intget_value(hoge_type * hoge){ try{ if (NULL == hoge) {throw std::exception(); } return hoge->value; }catch(std::exception) { return 0; }}
- 27. 例外処理Java なんかと違って C++は値なら型を問わずなんでもなげられる。※ただし、コピーができない値は除く。throw; で再送出継承元のクラスでも catch できる。operator T() の T では catch できない。気持ち的にはコンセプトのようなもので catch したいけどそれはできない。例外処理の仕組み的にダックタイピングが適してるんだけど・・・エラーハンドリング Boost.勉強会 #3 関西27
- 28.
- 29. 例外処理what()標準ライブラリのメッセージは使えたものじゃない。NUL文字終端文字列ならなにを入れてもいいことになってます。UTF-8を入れる場合は先頭にUTF-8のBOMを挿入することで、他と区別可能。finaly標準ではないんだけど、事実上 C++ にはfinallyがある。Windows では catch(...) で一般保護違反すらも拾えるけど、 Linuxではシグナルを拾えないよ。例外安全コンストラクタとデストラクタで例外送出する場合の話。エラーハンドリング Boost.勉強会 #3 関西29
- 30. Boost系いろいろ Boost 版でも用意してくれてるみたいだから自分で調べてみてください。エラーハンドリングBoost.勉強会 #3 関西30ごめん！ 人(´Д｀；
- 31.
- 32.
- 33. trickerr.hエラークラスを throw でき、処理漏れを防ぎやすい。且つ、catchされなかったからと言って必ずしも異常終了させなくて済む。throw型なので、関数インターフェイス等に縛られない。catch を行うリスナークラスは場面に応じた拡張が可能でエラーハンドリング処理を共通化しやすく、ネストも可能。処理の継続/中断をリスナークラスで制御可能。catchされなかったエラーについてはエラークラス側で制御可能。エラー情報をツリー構造で扱える。エラーハンドリング Boost.勉強会 #3 関西33
- 34.
- 35.
- 36. exception_ptr例外オブジェクトに対するスマートポインタで、catch 句を抜けた後でもこのexception_ptrにより例外オブジェクトを保持できます。current_exception()現在 throwされてる例外オブジェクトを保持する exception_ptrを取得する。rethrow_exception()引数で渡された exception_ptrが保持している例外オブジェクトを再送出する。make_exception_ptr()引数で渡されたオブジェクトを保持する exception_ptrを返す。エラーハンドリング Boost.勉強会 #3 関西36
- 37.
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.
- 49.
- 50.
- 51.
- 52.
- 53.
- 54.
- 55.
- 56.
- 57.
- 58.