VERIFY,ASSERT,TRACE

參考地址1：http://blog.sina.com.cn/s/blog_4eb30c250100i98m.html

參考地址2：http://blog.sina.com.cn/s/blog_5452ce2a0100003x.html

 

用法：

1.   Debug模式下

      ASSERT與VERIFY宏在Debug模式下作用基本一致，二者都對表達式的值進行計算，如果值爲非0，則什麼事也不做；如果值爲0，則輸出診斷信息。  
2.   Release模式下

     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++ 而言，在其它的編譯器中可能其它不同的宏。確切的說，在Release版中，所有的ASSERT(斷言)宏都被刪除了，所以ASSERT不會對發佈版本中的程序有影響！但VERIFY宏會！

      VERIFY宏實際上是ASSERT宏的變體，它的內部仍然使用的是ASSERT宏進行判斷的！

在Release版中，VERIFY宏所包圍的那部分代碼（注意：這是一些可能會改變程序運行結果的代碼！）被保留下來了（這一點和ASSERT宏不同），但是它裏面的ASSERT宏的部分被刪除了，這樣就使他失去了原來斷言判斷的功能！所以嚴格地說，VERIFY宏和ASSERT宏一樣，只在DEBUG版中發揮作用！

     VERIFY() 不論在DEBUG還是RELEASE版都要運行括號裏的語句，只是在DEBUG 方式下如果括號內表達式爲false,則生成一個調試異常，RELEASE版忽略。
ASSERT()在REALSE 版被完全忽略

 

    一般不提倡用VERIFY，除非你確信要用到他的與ASSERT不同的功能——在表達式裏可以包含程序代碼！

 

 

應用舉例1：

 

//爲了控制傳進的指針:
void SomeFun(SomeType* pPointer)
{
  ASSERT(pPointer);
 //some instructions.
}

應用舉例2：

 

//在"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!
}

 

應用舉例3：

 

ASSERT(nSomeValue >= MinValue and nSomeValue <= MaxValue);
ASSERT(nOtherValue != 0);

 

 

錯誤的例子：

ASSERT( m_MyWnd.Create() );

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

VERIFY( m_MyWnd.Create() );

它在調試版中像ASSERT一樣並且在發行版中執行m_MyWnd.Create()。