VERIFY

更新 : 2007 年 11 月

MFC のデバッグ環境で、引数の式を評価します。

VERIFY(booleanExpression )

パラメータ

  • booleanExpression
    0 または 0 以外に評価される式 (ポインタ値を含む) を指定します。

解説

結果が 0 の場合、マクロは診断メッセージを表示し、プログラムを停止します。0 以外のときは何もしません。

診断メッセージの形式は次のとおりです。

assertion failed in file <name> in line <num>

name にはソース ファイル名、num には失敗したアサーションのソース ファイル内での行番号が入ります。

MFC のリリース環境では、VERIFY マクロは式の評価はしますが、表示したりプログラムを停止することはありません。たとえば、式が関数の呼び出しである場合、関数が呼び出されます。

使用例

// VERIFY can be used for things that should never fail, though
// you may want to make sure you can provide better error recovery
// if the error can actually cause a crash in a production system.

// It _is_ possible that GetDC() may fail, but the out-of-memory
// condition that causes it isn't likely. For a test application,
// this use of VERIFY() is fine. For any production code, this
// usage is dubious.

// get the display device context
HDC hdc;
VERIFY((hdc = ::GetDC(hwnd)) != NULL);

// give the display context back
::ReleaseDC(hwnd, hdc);

必要条件

ヘッダー : afx.h

参照

概念

MFC マクロとグローバル

参照

ASSERT (MFC)