C++ ASSERT() 斷言機(jī)制
ASSERT()是一個(gè)調(diào)試程序時(shí)經(jīng)常使用的宏，在程序運(yùn)行時(shí)它計(jì)算括號(hào)內(nèi)的表達(dá)式，如果表達(dá)式為FALSE (0),
程序?qū)?bào)告錯(cuò)誤，并終止執(zhí)行。如果表達(dá)式不為0，則繼續(xù)執(zhí)行后面的語(yǔ)句。這個(gè)宏通常原來(lái)判斷程序中是否出現(xiàn)了明顯非法的數(shù)據(jù)，如果出現(xiàn)了終止程序以免導(dǎo)致嚴(yán)重后果，同時(shí)也便于查找錯(cuò)誤。

原型定義：
#include <assert.h>
void assert( int expression_r_r_r );
assert的作用是現(xiàn)計(jì)算表達(dá)式 expression_r_r_r ，如果其值為假（即為0），那么它先向stderr打印一條出錯(cuò)信息，然后通過(guò)調(diào)用
abort 來(lái)終止程序運(yùn)行。請(qǐng)看下面的程序清單badptr.c：

#include <stdio.h>
#include <assert.h>
#include <stdlib.h>
int main( void )
{
FILE *fp;

fp = fopen( "test.txt", "w" );//以可寫的方式打開一個(gè)文件，如果不存在就創(chuàng)建一個(gè)同名文件
assert( fp ); //所以這里不會(huì)出錯(cuò)
fclose( fp );

fp = fopen( "noexitfile.txt", "r" );//以只讀的方式打開一個(gè)文件，如果不存在就打開失敗
assert( fp ); //所以這里出錯(cuò)
fclose( fp ); //程序永遠(yuǎn)都執(zhí)行不到這里來(lái)
return 0;
}
[root@localhost error_process]# gcc badptr.c
[root@localhost error_process]# ./a.out
a.out: badptr.c:14: main: Assertion `fp'' failed.
已放棄

使用assert的缺點(diǎn)是，頻繁的調(diào)用會(huì)極大的影響程序的性能，增加額外的開銷。
在調(diào)試結(jié)束后，可以通過(guò)在包含#include <assert.h>的語(yǔ)句之前插入 #define NDEBUG
來(lái)禁用assert調(diào)用，示例代碼如下：
#include <stdio.h>
#define NDEBUG
#include <assert.h>

用法總結(jié)與注意事項(xiàng)：
1)在函數(shù)開始處檢驗(yàn)傳入?yún)?shù)的合法性
如:
int resetBufferSize(int nNewSize)
{
//功能:改變緩沖區(qū)大小,
//參數(shù):nNewSize 緩沖區(qū)新長(zhǎng)度
//返回值:緩沖區(qū)當(dāng)前長(zhǎng)度
//說(shuō)明:保持原信息內(nèi)容不變 nNewSize<=0表示清除緩沖區(qū)
assert(nNewSize >= 0);
assert(nNewSize <= MAX_BUFFER_SIZE);
...
}
2)每個(gè)assert只檢驗(yàn)一個(gè)條件,因?yàn)橥瑫r(shí)檢驗(yàn)多個(gè)條件時(shí),如果斷言失敗,無(wú)法直觀的判斷是哪個(gè)條件失敗
不好: assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);
好: assert(nOffset >= 0);
assert(nOffset+nSize <= m_nInfomationSize);

3)不能使用改變環(huán)境的語(yǔ)句,因?yàn)閍ssert只在DEBUG個(gè)生效,如果這么做,會(huì)使用程序在真正運(yùn)行時(shí)遇到問(wèn)題
錯(cuò)誤: assert(i++ < 100)
這是因?yàn)槿绻鲥e(cuò)，比如在執(zhí)行之前i=100,那么這條語(yǔ)句就不會(huì)執(zhí)行，那么i++這條命令就沒有執(zhí)行。
正確: assert(i < 100)
i++;


4)assert和后面的語(yǔ)句應(yīng)空一行,以形成邏輯和視覺上的一致感
5)有的地方,assert不能代替條件過(guò)濾


ASSERT只有在Debug版本中才有效，如果編譯為Release版本則被忽略掉。（在C中，ASSERT是宏而不是函數(shù)），使用ASSERT“斷言”容易在debug時(shí)輸出程序錯(cuò)誤所在。
而assert()的功能類似，它是ANSI C標(biāo)準(zhǔn)中規(guī)定的函數(shù)，它與ASSERT的一個(gè)重要區(qū)別是可以用在Release版本中。

?

創(chuàng)作挑戰(zhàn)賽新人創(chuàng)作獎(jiǎng)勵(lì)來(lái)咯，堅(jiān)持創(chuàng)作打卡瓜分現(xiàn)金大獎(jiǎng)

總結(jié)

以上是生活随笔為你收集整理的C++ ASSERT() 断言机制的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。