C語言中assert的使用

assert意思是斷言，常用在程序的DEBUG版本中。

1.assert的使用

assert為宏而非函數(shù)，原型定義在中，所以使用時(shí)需包含該頭文件。

void assert( int expression );

assert先計(jì)算表達(dá)式expression，如果其值為假（即為0），那么它先向標(biāo)準(zhǔn)錯(cuò)誤流stderr打印一條出錯(cuò)信息，然后通過調(diào)用abort來終止程序運(yùn)行；值為真(1)，assert()不起任何作用。

例子：

假如有一函數(shù)：

int fun(int *ptr)

一般我們都會(huì)判斷一下傳入的指針是否為空

int fun(int *ptr)
{
  if(ptr==NULL)
    return 0;
  ...
}

可能還會(huì)加一些打印信息，其實(shí)這最大的作用也只是為了定位bug，在Release版本中不一定需要，反而對(duì)運(yùn)行速度稍微有些影響（對(duì)電腦來說沒什么，對(duì)單片機(jī)還是有影響的）。

使用assert:

#include< assert.h >
int fun(int *ptr)
{
  assert(ptr!=NULL);
  ...
}

我們用assert斷言ptr一定不為NULL，假如出現(xiàn)ptr為NULL的情況，程序就會(huì)主動(dòng)中止，然后我們就可以開始Debug了。

在調(diào)試結(jié)束后，可以通過在包含#include 的語句之前插入 #define NDEBUG 來禁用assert。

#define NDEBUG
#include< assert.h >

此時(shí)assert不會(huì)被編譯進(jìn)去，完全不起作用。

2.注意事項(xiàng)

假如有一個(gè)函數(shù)fun1成功運(yùn)行返回值為1，錯(cuò)誤返回為0。

則，這樣的語句很容易出現(xiàn)問題：

assert(fun1());

因?yàn)樵赗elease版本中assert不會(huì)被編譯，fun1函數(shù)將不會(huì)被調(diào)用，所以正確的用法是:

int ret；
ret = fun1();
assert(ret);

當(dāng)然，這樣在Release版本中編譯時(shí)可能會(huì)有警告：ret set but not used。因?yàn)椴]有使用ret，設(shè)置嚴(yán)格就無法通過編譯，此時(shí)只需加一句:

int ret；
ret = fun1();
assert(ret);
(void)ret;

即可解決。

我們也可以自己定義自己的ASSERT加入一些打印信息，更加便于調(diào)試，不過一般沒什么必要，因?yàn)槌鲥e(cuò)時(shí)，很多工具和環(huán)境都能幫我們定位到出錯(cuò)的地方。