C語言中的assert

2021-07-11 17:23:44 字數 1953 閱讀 2827

assert巨集的原型定義在中,其作用是如果它的條件返回錯誤,則終止程式執行。

庫函式: assert.h

原型定義: void assert( int expression );

assert的作用是現計算表示式 expression ,如果其值為假(即為0),那麼它先向stderr列印一條出錯資訊,然後通過呼叫 abort 來終止程式執行。

例程:#include

#include

#include

int main( void )

[root@localhost error_process]# gcc badptr.c 

[root@localhost error_process]# ./a.out 

a.out: badptr.c:14: main: assertion `fp'' failed.

已放棄使用assert的缺點是,頻繁的呼叫會極大的影響程式的效能,增加額外的開銷。

在除錯結束後,可以通過在包含#include 的語句之前插入 #define ndebug 來禁用assert呼叫,示例**如下:

#include

#define ndebug

#include

3.巨集名: assert

功 能: 測試乙個條件並可能使程式終止

用 法: void assert(int test);

程式例:

複製**

**如下:

#include

#include

#include

struct item ;

/* add item to list, make sure list is not null */

void additem(struct item *itemptr)

int main(void)

4.assert() 巨集用法

注意:assert是巨集,而不是函式。在c的assert.h標頭檔案中。

assert巨集的原型定義在中,其作用是如果它的條件返回錯誤,則終止程式執行,原型定義:

複製**

**如下:

#include

void assert( int expression );

assert的作用是先計算表示式

expression

,如果其值為假(即為0),那麼它先向標準錯誤流

stderr

列印一條出錯資訊,然後通過呼叫

abort

來終止程式執行;否則,assert()無任何作用。巨集assert()一般用於確認程式的正常操作,其中表示式構造無錯時才為真值。完成除錯後,不必從源**中刪除assert()語句,因為巨集ndebug有定義時,巨集assert()的定義為空。 5.

用法總結與注意事項:

1)在函式開始處檢驗傳入引數的合法性 如:

int resetbuffersize(int nnewsize)

2)每個assert只檢驗乙個條件,因為同時檢驗多個條件時,如果斷言失敗,無法直觀的判斷是哪個條件失敗

不好: assert(noffset>=0 && noffset+nsize<=m_ninfomationsize);

好: assert(noffset >= 0);

assert(noffset+nsize <= m_ninfomationsize);

3)不能使用改變環境的語句,因為assert只在debug個生效,如果這麼做,會使用程式在真正執行時遇到問題

錯誤: assert(i++ < 100)

這是因為如果出錯,比如在執行之前i=100,那麼這條語句就不會執行,那麼i++這條命令就沒有執行。

正確: assert(i < 100)

i++;

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

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

C語言中assert的使用

assert巨集的原型為 1 include 2 void assert int expression 作用為計算expression,若其值為假 0 先向stderr列印一條出錯資訊,後呼叫abort來終止程式執行!一般除錯階段使用assert,除錯結束後可以通過在 include的語句之前插入 ...

C語言中斷言ASSERT

我一直以為assert僅僅是個報錯函式,事實上,它居然是個巨集,並且作用並非 報錯 在經過對其進行一定了解之後,對其作用及用法有了一定的了解,assert 的用法像是一種 契約式程式設計 在我的理解中,其表達的意思就是,程式在我的假設條件下,能夠正常良好的運作,其實就相當於乙個if語句 if 假設成...

C語言assert的用法

assert巨集的原型定義在中,其作用是如果它的條件返回錯誤,則終止程式執行,原型定義 include void assert int expression assert的作用是現計算表示式 expression 如果其值為假 即為0 那麼它先向stderr列印一條出錯資訊,然後通過呼叫 abort...