初級理解:
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不能代替條件過濾
如:
int CDecodeBuffer::GetIntValue(int nOffset, int nSize) const
{
//功能:取出緩沖區中的一個有符號整數
//參數:nOffset 開始位置
// nSize 字節數
//返回值: 如可在法位置返回正常值 否則為INVALID_VALUE
//建立日期:2005-09-12
ASSERT(nOffset >= 0);
ASSERT(nOffset+nSize <= m_nInfomationSize);
int nReturnValue = INVALID_VALUE;
if (nOffset>=0 && nOffset+nSize<=m_nInfomationSize)
{
一個完整的例子
:
如:
BYTE CDecodeBuffer::GetBit(int nByteStart, int nBitOffset) const
{
//取緩沖區中的一個位
// nByteStart 開始字節
ASSERT(nByteStart >= 0);
ASSERT(nBitOffset >= 0);
BYTE nReturn=0;
nBitOffset = nByteStart*8+nBitOffset;
ASSERT((nBitOffset+7)/8 <= m_nInfomationSize);
if (nBitOffset>=0 && (nBitOffset+7)/8<=m_nInfomationSize)
{
nReturn = GET_BIT(m_pBufferHead[nBitOffset/8],nBitOffset%8);
}
return nReturn;
}