_ASSERT、、_ASSERTE_ASSERT_EXPR巨集
評估運算式，並在結果為 false 時產生偵錯報告 (僅限偵錯版本)。
語法
// Typical usage:
_ASSERT_EXPR( booleanExpression, message );
_ASSERT( booleanExpression );
_ASSERTE( booleanExpression );
參數
booleanExpression
評估為非零 (true) 或 0 (false) 的純量運算式 (包括指標運算式)。
message
顯示在報表中的寬字串。
備註
_ASSERT_EXPR, 、 _ASSERT 及 _ASSERTE 巨集可以讓您在偵錯程序期間，利用清楚簡單的機制來檢查假設。 它們具有彈性，因為它們不需要包含在語句中 #ifdef ，以防止在應用程式的零售組建中呼叫它們。 使用 巨集可 _DEBUG 達成此彈性。 僅當_ASSERT_EXPR, _ASSERT 、 _ASSERTE 及 _DEBUG 。 未定義時 _DEBUG ，會在前置處理期間移除對這些巨集的呼叫。
_ASSERT_EXPR和 _ASSERT 會 _ASSERTE 評估其 booleanExpression 自變數，並在結果為 false （0） 時，列印診斷訊息並呼叫 _CrtDbgReportW 以產生偵錯報告。 _ASSERT巨集會列印簡單的診斷訊息、_ASSERTE在訊息中包含失敗表達式的字串表示，以及_ASSERT_EXPR包含message診斷訊息中的字串。 當 booleanExpression 評估為非零值時，這些巨集不會執行任何動作。
_ASSERT_EXPR, _ASSERT 及 _ASSERTE 會叫用 _CrtDbgReportW，讓所有的輸出都呈現寬字元。 _ASSERTE 會正確地列印 booleanExpression 中的 Unicode 字元，而 _ASSERT_EXPR 則會列印 message中的 Unicode 字元。
因為 _ASSERTE 巨集會指定失敗的運算式，而 _ASSERT_EXPR 則可讓您指定所產生之報表中的訊息，所以使用者無須參考應用程式的原始程式碼，就能找出問題。 但其缺點在於，每一個由 message 所列印的 _ASSERT_EXPR 及每一個由 _ASSERTE 評估的運算式都會以字串常數形式包含在您應用程式的輸出 (偵錯版本) 檔案中。 因此，當對 _ASSERT_EXPR 或 _ASSERTE的呼叫十分大量時，這些運算式可能會讓您的輸出檔案大小大幅增大。
除非您以 和 _CrtSetReportFile 函式指定 ，_CrtSetReportMode否則訊息會出現在相當於設定的快顯對話框中：
_CrtSetReportMode(_CRT_ASSERT, _CRTDBG_MODE_WNDW);
_CrtDbgReportW 依據目前的報表模式及為 _CRT_ASSERT 報告類型所定義的檔案產生偵錯報表，並判斷其目的地。 判斷提示失敗及錯誤預設會導向到偵錯訊息視窗。 和 _CrtSetReportFile 函_CrtSetReportMode式可用來定義每個報表類型的目的地。
當目的地是偵錯訊息視窗，而用戶選取 [重試] 按鈕時，_CrtDbgReportW會傳回 1，當_ASSERT_EXPR_ASSERT啟用 Just-In-Time 偵錯時，會導致 和 _ASSERTE 巨集啟動調試程式。
如需報告程式的詳細資訊，請參閱 _CrtDbgReport、 _CrtDbgReportW 函式。 如需解決判斷提示失敗以及使用這些巨集作為偵錯錯誤處理機制的詳細資訊，請參閱 報告巨集。
除了 _ASSERT 巨集之外， assert 巨集也可以用來驗證程序邏輯。 此巨集可在偵錯版與發行版的程式庫中使用。 、_RPT_RPTF偵錯巨集也可用於產生偵錯報表，但不會評估表達式。 _RPT 巨集會產生簡單的報表。 _RPTF 巨集會在所產生的報表中，加入來源檔案及報表巨集呼叫所在的行號。 此外也提供這些巨集的寬字元版本 (_RPTW、 _RPTFW)。 寬字元版本與窄字元版本相同，但所有字串參數及輸出皆會使用寬字元字串。
雖然 _ASSERT_EXPR和 _ASSERT _ASSERTE 是巨集，而且可以包含 <crtdbg.h>，但是當定義 時 _DEBUG ，應用程式必須與 C 運行時間連結庫的偵錯版本連結，因為這些巨集會呼叫其他運行時間函式。
需求
| Macro | 必要的標頭 |
|---|---|
_ASSERT_EXPR、 、 _ASSERT_ASSERTE |
<crtdbg.h> |
範例
此程式會呼叫 _ASSERT 及 _ASSERTE 巨集來測試條件 string1 == string2。 若該條件失敗時，這些巨集便會列印診斷訊息。 此程式中也會執行 _RPT 與 _RPTF 巨集群組，作為 printf 函式的替代函式。
// crt_ASSERT_macro.c
// compile with: /D_DEBUG /MTd /Od /Zi /link /verbose:lib /debug
//
// This program uses the _ASSERT and _ASSERTE debugging macros.
//
#include <stdio.h>
#include <string.h>
#include <malloc.h>
#include <crtdbg.h>
int main()
{
char *p1, *p2;
// The Reporting Mode and File must be specified
// before generating a debug report via an assert
// or report macro.
// This program sends all report types to STDOUT.
_CrtSetReportMode(_CRT_WARN, _CRTDBG_MODE_FILE);
_CrtSetReportFile(_CRT_WARN, _CRTDBG_FILE_STDOUT);
_CrtSetReportMode(_CRT_ERROR, _CRTDBG_MODE_FILE);
_CrtSetReportFile(_CRT_ERROR, _CRTDBG_FILE_STDOUT);
_CrtSetReportMode(_CRT_ASSERT, _CRTDBG_MODE_FILE);
_CrtSetReportFile(_CRT_ASSERT, _CRTDBG_FILE_STDOUT);
// Allocate and assign the pointer variables.
p1 = (char *)malloc(10);
strcpy_s(p1, 10, "I am p1");
p2 = (char *)malloc(10);
strcpy_s(p2, 10, "I am p2");
// Use the report macros as a debugging
// warning mechanism, similar to printf.
// Use the assert macros to check if the
// p1 and p2 variables are equivalent.
// If the expression fails, _ASSERTE will
// include a string representation of the
// failed expression in the report.
// _ASSERT does not include the
// expression in the generated report.
_RPT0(_CRT_WARN,
"Use the assert macros to evaluate the expression p1 == p2.\n");
_RPTF2(_CRT_WARN, "\n Will _ASSERT find '%s' == '%s' ?\n", p1, p2);
_ASSERT(p1 == p2);
_RPTF2(_CRT_WARN, "\n\n Will _ASSERTE find '%s' == '%s' ?\n",
p1, p2);
_ASSERTE(p1 == p2);
_RPT2(_CRT_ERROR, "'%s' != '%s'\n", p1, p2);
free(p2);
free(p1);
return 0;
}
Use the assert macros to evaluate the expression p1 == p2.
crt_ASSERT_macro.c(54) :
Will _ASSERT find 'I am p1' == 'I am p2' ?
crt_ASSERT_macro.c(55) : Assertion failed!
crt_ASSERT_macro.c(58) :
Will _ASSERTE find 'I am p1' == 'I am p2' ?
crt_ASSERT_macro.c(59) : Assertion failed: p1 == p2
'I am p1' != 'I am p2'