アサーション

概要

有用なアサーション(検証)マクロ.

SDLアサーションは通常のアサーションマクロと似ているが, 次の様な特徴がある:

• sizeofを巧妙に使うことで, 検証を無効化してコンパイルするコードから除外したとき, アサーションが参照する変数が使用されなくなってもコンパイラが警告を発しないようになっている.
• if (x) SDL_assert(y); else do_something(); のような「ぶらさがりelse(dangling-else)」でも安全に使用できる.
• 様々な環境のCコンパイラやランタイムでも同じように動作する.
• 有か無しかのどちらかではなく, 複数のレベルのアサーション(SDL_assert, SDL_assert_release, SDL_assert_paranoid)が用意されている.
• 検証に失敗したとき様々な対応(リトライ, デバッガの呼び出し, プログラムの中断, 1回目を無視する, 無視して残りのプログラムを実行する)を提供している.
• デフォルトでは可能ならばユーザにダイアログを表示するが, 検証失敗時にコールバックさせることもできる.
• 失敗した検証の再検証を行える. ネットワークを失敗させ, ケーブルを接続した後にもう一度テストするなどが可能.
• ユーザに検証の失敗を無視させることができる. 無害な問題が発生して残りの処理を実行したい場合など.
• ユーザに残りのプログラムの実行のために無視する検証をマークさせることができる. 無害な問題が発生し続ける場合など.
• アプリケーションの全ての失敗した検証の統計とデータを提供する.
• 自動化スクリプトで制御する場合などのために, 環境変数でデフォルトのアサーションハンドラを制御できる.
• Clangの静的解析の補助として使える. アナライザはSDLアサーションを常に成功として扱う(あなたが問題を解決する, そしてデバッグビルドで問題を検出するとみなすため). これはアナライザが失敗とする可能性を避けることを助ける.

使い方: あなたのコードをチェックするテストを配置して, デバッグビルドでコンパイルするだけである.

関数

1. SDL_GetAssertionHandler
2. SDL_GetAssertionReport
3. SDL_GetDefaultAssertionHandler
4. SDL_ReportAssertion
5. SDL_ResetAssertionReport
6. SDL_SetAssertionHandler

型

1. SDL_AssertionHandler

構造体

1. SDL_AssertData

列挙体

1. SDL_AssertState

マクロ

1. SDL_assert - デバッグビルド時のみアサーションを生成するマクロ
2. SDL_assert_always - 常にアサーションを生成するマクロ
3. SDL_ASSERT_FILE
4. SDL_ASSERT_LEVEL - アサーションレベルのマクロ
5. SDL_assert_paranoid - 厳格な設定のビルド時のみアサーションを生成するマクロ
6. SDL_assert_release - リリースビルド時でもアサーションを生成するマクロ
7. SDL_AssertBreakpoint - アサーションがブレイクポイントを発生させたとき使用するマクロ
8. SDL_disabled_assert - アサーションが無効のとき使用されるマクロ
9. SDL_enabled_assert - アサーションが無効のとき使用されるマクロ
10. SDL_FILE - 現在コンパイル中のファイルのマクロ
11. SDL_FUNCTION - 現在コンパイル中の関数名のマクロ
12. SDL_LINE - 現在コンパイル中のファイルの行番号のマクロ
13. SDL_NULL_WHILE_LOOP_CONDITION - do {} while (0);でコードを囲むときコンパイラが警告を発しないようにするためのマクロ
14. SDL_TriggerBreakpoint - デバッガに停止を指示するマクロ

SDL Wikiへのリンク