ASSERT()

???? ASSERT()被測試它的參數(shù)，若參數(shù)為0，則中斷執(zhí)行并打印一段說明消息。在 Release 版本的程序中它不起任何作用。ASSERT()使用的時候必須保證參數(shù)表達式中不能有函數(shù)調(diào)用（譯者注：ASSERT()宏在 Release 版本中不對表達式求值），因此對于任何有函數(shù)調(diào)用的參數(shù)表達式，應該使用宏 VERIFY()，以保證表達式中的函數(shù)調(diào)用在 Release 版本中會被正確求值。

斷言(assertion)用帶斷言信息(程序, 模塊, assertion行)的對話框執(zhí)行. 對話框有3個按鈕: "Break", "Repeat" ("Debug"), and "Continue" ("Ignore"). "Break" 結束程序, "Continue" 忽略斷言, 最有用的是"Repeat"按鈕. 按下它在斷言的地方打開源代碼編輯器. 在這里你可以測試所有的變量值并明白哪里出了問題。

例如：ASSERT(pPointer);ASSERT(n>0 && n<100);ASSERT(0);

ASSERT在執(zhí)行簡單驗證時很有用，但對于C++對象，特別是由CObject派生的對象，則有更好的方法ASSERT_VALID來實現(xiàn)類似操作。作為一般規(guī)則，我們應在開始使用每一個對象之前檢查數(shù)據(jù)訛誤,

?

ASSERT_VALID宏使得對CObject的派生類實現(xiàn)該操作非常簡單。

例如：ASSERT_VALID(this);ASSERT_VALID(pView);

?

VERIFY()

??? VERIFY()和 ASSERT()很相似，區(qū)別在于在 Release 版本中它仍然有效（譯者注：原作者在這里沒有講清楚，VERIFY()不會打印說明，只是會對參數(shù)表達式求值）。

?

TRACE()

? ????TRACE()基本上就是函數(shù) printf()的一個復制品，唯一的區(qū)別是它把結果輸出到調(diào)試窗口。在 Release 版本中，它也是無效的。一般是用TRACE0(),TRACE1(),TRACE2()…而不用TRACE()。

??這三個宏在 Release 版本中都不會產(chǎn)生任何實質性的影響，它們是否起作用取決于是否定義了預定義了宏 _DEBUG。這是對 Microsoft Visual C++ 而言，在其它的編譯器中可能其它不同的宏。

?

常用用法：

?

為了控制傳進的指針:

void SomeFun(SomeType* pPointer)

{

??ASSERT(pPointer);

?//some instructions.

}

?

你可以在"switch" 和 "if"操作中捕獲奇怪的值
例如:

switch(nRGBColors){
? case nRed:?? {//some instructions.} break;
? case nGreen: {//some instructions.} break;
? case nBlue:? {//some instructions.} break;
? default: ASSERT(0);??? // we should have never come here!
}

if(nWaterTemp >=0 && nWaterTemp < 50){
? //some instructions.
}
else if(nWaterTemp >= 50 && nWaterTemp <= 100){
? //some instructions.
}
else{
? ASSERT(0);??? // we should have never come here!
}

?

對值的斷言:
ASSERT(nSomeValue >= MinValue and nSomeValue <= MaxValue);
ASSERT(nOtherValue != 0);

?

可愛的 ASSERT 錯誤
ASSERT( m_MyWnd.Create() );

嘔! 這是一個可怕的錯誤! 程序在調(diào)試版中正常工作, 在發(fā)行版中不工作. 記住: 這是一個在發(fā)行版中將被移除的宏. 以這種方法你的窗口將永遠不會被創(chuàng)建. 如果你用 MFC, 這樣做:

VERIFY( m_MyWnd.Create() );

它在調(diào)試版中像 ASSERT 一樣并且在發(fā)行版中執(zhí)行 m_MyWnd.Create() 。