1 ASSERT與VERIFY宏在Debug模式下作用基本一致，二者都對表達式的值進行計算，如果值爲非0，則什麼事也不做；如果值爲0，則輸出診斷信息。
2 ASSERT與VERIFY宏在Release模式下效果完全不一樣。ASSERT不計算表達式的值，也不會輸出診斷信息；VERIFY計算表達式的值，但不管值爲0還是非0都不會輸出診斷信息。
斷言(assertion)用帶斷言信息(程序, 模塊, assertion行)的對話框執行. 對話框有3個按鈕: "Break", "Repeat" ("Debug"), and "Continue" ("Ignore"). "Break" 結束程序, "Continue" 忽略斷言, 最有用的是"Repeat"按鈕. 按下它在斷言的地方打開源代碼編輯器. 在這裏你可以測試所有的變量值並明白哪裏出了問題。
例如：ASSERT(pPointer);ASSERT(n>0 && n<100);ASSERT(0);
ASSERT在執行簡單驗證時很有用，但對於C++對象，特別是由CObject派生的對象，則有更好的方法ASSERT_VALID來實現類似操作。作爲一般規則，我們應在開始使用每一個對象之前檢查數據訛誤,
ASSERT_VALID宏使得對CObject的派生類實現該操作非常簡單。
例如：ASSERT_VALID(this);ASSERT_VALID(pView);
VERIFY()
VERIFY()和 ASSERT()很相似，區別在於在 Release 版本中它仍然有效（譯者注：原作者在這裏沒有講清楚，VERIFY()不會打印說明，只是會對參數表達式求值）。
TRACE()
TRACE()基本上就是函數 printf()的一個複製品，唯一的區別是它把結果輸出到調試窗口。在 Release 版本中，它也是無效的。一般是用TRACE0(),TRACE1(),TRACE2()…而不用TRACE()。
? 這三個宏在 Release 版本中都不會產生任何實質性的影響，它們是否起作用取決於是否定義了預定義了宏 _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() );
嘔! 這是一個可怕的錯誤! 程序在調試版中正常工作, 在發行版中不工作. 記住: 這是一個在發行版中將被移除的宏. 以這種方法你的窗口將永遠不會被創建. 如果你用 MFC, 這樣做:
VERIFY( m_MyWnd.Create() );
它在調試版中像ASSERT一樣並且在發行版中執行m_MyWnd.Create()。