斷言函數assert（）與ASSERT（）

 初級理解:

ASSERT() 是一個調試程序時經常使用的宏，在程序運行時它計算括號內的表達式，如果表達式爲FALSE (0), 程序將報告錯誤，並終止執行。如果表達式不爲0，則繼續執行後面的語句。這個宏通常原來判斷程序中是否出現了明顯非法的數據，如果出現了終止程序以免導致嚴重後果，同時也便於查找錯誤。例如，變量n在程序中不應該爲0，如果爲0可能導致錯誤，你可以這樣寫程序： 
     ...... 
     ASSERT( n != 0); 
     k = 10/ n; 
     ...... 
限制性:

 ASSERT只有在Debug版本中才有效，如果編譯爲Release版本則被忽略。 
區別性:

assert()的功能類似，它是ANSI C標準中規定的函數，它與ASSERT的一個重要區別是可以用在Release版本中。assert宏的原型定義在<assert.h>中，其作用是如果它的條件返回錯誤，則終止程序執行，原型定義：
#include <assert.h>
void assert( int expression );

缺點:

使用assert的缺點是，頻繁的調用會極大的影響程序的性能，增加額外的開銷。所以在調試結束後，可以通過在包含#include <assert.h>的語句之前插入 #define NDEBUG 來禁用assert調用，示例代碼如下：
#include <stdio.h>
#define NDEBUG
#include <assert.h>

       

ASSERT用法

1)在函數開始處檢驗傳入參數的合法性
如:

int CBufferPool::ResetBufferSize(int nNewSize)
{
//功能:改變緩衝區大小,
//參數:nNewSize 緩衝區新長度
//返回值:緩衝區當前長度 
//說明:保持原信息內容不變 nNewSize<=0表示清除緩衝區
ASSERT(nNewSize >= 0);
ASSERT(nNewSize <= MAX_BUFFER_SIZE);

...
}

2)每個ASSERT只檢驗一個條件,因爲同時檢驗多個條件時,如果斷言失敗,無法直觀的判斷是哪個條件失敗

不好: ASSERT(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);

好: ASSERT(nOffset >= 0); 
ASSERT(nOffset+nSize <= m_nInfomationSize);

3)不能使用改變環境的語句,因爲ASSERT只在DEBUG個生效,如果這麼做,會使用程序在真正運行時遇到問題

錯誤: ASSERT(i++ < 100)

正確: ASSERT(i < 100)
      i++;

4)ASSERT和後面的語句應空一行,以形成邏輯和視覺上的一致感

5)有的地方,ASSERT不能代替條件過濾