アサーション

概要

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

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_LEVEL
4. SDL_assert_paranoid
5. SDL_assert_release
6. SDL_AssertBreakpoint
7. SDL_disabled_assert
8. SDL_enabled_assert
9. SDL_FILE
10. SDL_FUNCTION
11. SDL_LINE
12. SDL_NULL_WHILE_LOOP_CONDITION
13. SDL_TriggerBreakpoint

SDL Wikiへのリンク