アサーション

[アーティクル]
08/09/2011

このトピックの内容は、次の製品に該当します。

エディション	Visual Basic	C#	F#	C++	Web Developer
Express				ネイティブのみ
Pro、Premium、Ultimate				ネイティブのみ

アサートステートメントでは、プログラムの特定位置にある true となるはずの条件を指定します。この条件が true にならない場合、アサーションは失敗し、プログラムの実行が中断され、[アサートに失敗しました] ダイアログボックスが表示されます。

Visual C++ は、次の構成に基づくアサートステートメントをサポートします。

MFC アサーション (MFC プログラムの場合)
ATLASSERT (ATL を使用するプログラムの場合)
CRT アサーション (C ランタイムライブラリを使用するプログラムの場合)
ANSI assert 関数 (その他の C/C++ プログラムの場合)

アサーションは、次の目的で使用できます。

論理エラーを検出する。詳細については、「論理エラーの検出」を参照してください。
演算の結果をチェックする。詳細については、「結果のチェック」を参照してください。
処理する必要があるエラー条件をテストする。詳細については、「エラー条件のテスト」を参照してください。

MFC および C ランタイムライブラリアサーション

MFC ライブラリまたは C ランタイムライブラリのアサーションによってデバッガーが停止したとき、ソースファイルが利用可能でない場合は、そのソースファイル内のアサーションが発生した位置にジャンプします。アサーションメッセージは、[アサートに失敗しました] ダイアログボックスだけでなく [出力] ウィンドウにも表示されます。後で参照するためにアサーションメッセージを保存する場合は、[出力] ウィンドウからテキストウィンドウへコピーします。 [出力] ウィンドウに、他のエラーメッセージが表示されていることもあります。アサーションが失敗した原因を突き止める手掛かりとなるため、これらのエラーメッセージをよく調べてください。

アサーションをコード内で自由に使用して、開発時に発生する多くのエラーを検出できます。仮定を立てるごとにアサートステートメントを 1 つ記述することをお勧めします。たとえば、引数が NULL でないと仮定した場合、アサートステートメントを記述して、この仮定が正しいかどうかを確認します。

_DEBUG

アサートステートメントは、_DEBUG が定義されているときだけコンパイルされます。 _DEBUG が定義されていない場合、コンパイラはアサートステートメントを null ステートメントとして扱います。したがって、プログラムの最終リリースバージョンではアサートステートメントのオーバーヘッドはゼロとなります。つまり、リリースバージョンのパフォーマンスに影響を与えることなく、コード内で自由にアサートステートメントを使用できます。#ifdef ディレクティブを使用する必要もありません。