assert，assert_valid,verify,trace

 對於開始學vc的人，對於assert，assert_valid,verify,trace的宏感到很奇怪，總是覺得很難掌握似的，其實這些主要是沒有理清楚他們各自宏之間深層次的意義。這些都是我平時的學習筆記，可能有些是網上的資源，如果有重複請大家不要見怪~


ASSERT()
    ASSERT()被測試它的參數，若參數爲0，則中斷執行並打印一段說明消息。在 Release 版本的程序中它不起任何作用。ASSERT()使用的時候必須保證參數表達式中不能有函數調用（譯者注：ASSERT()宏在 Release 版本中不對表達式求值），因此對於任何有函數調用的參數表達式，應該使用宏 VERIFY()，以保證表達式中的函數調用在 Release 版本中會被正確求值。
斷言(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()。