1)在函數(shù)開始處檢驗傳入?yún)?shù)的合法性
如:

int CBufferPool::ResetBufferSize(int nNewSize)
{
 //功能:改變緩沖區(qū)大小,
 //參數(shù):nNewSize 緩沖區(qū)新長度
 //返回值:緩沖區(qū)當前長度 
 //說明:保持原信息內(nèi)容不變  nNewSize<=0表示清除緩沖區(qū)
 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)不能使用改變環(huán)境的語句,因為ASSERT只在DEBUG個生效,如果這么做,會使用程序在真正運行時遇到問題

錯誤: ASSERT(i++ < 100)

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

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

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

如:
int CDecodeBuffer::GetIntValue(int nOffset, int nSize) const
{
 //功能:取出緩沖區(qū)中的一個有符號整數(shù)
 //參數(shù):nOffset   開始位置
 //     nSize     字節(jié)數(shù)
 //返回值:  如可在法位置返回正常值 否則為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
{
 //取緩沖區(qū)中的一個位
 // nByteStart  開始字節(jié)
 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;
}