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;
}