C 語言assert詳細解析

2021-09-02 22:16:38 字數 1472 閱讀 1655

**: 簡介

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

原型定義:

#include

void assert( int expression );

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

複製**

#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

用法總結與注意事項:

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不能代替條件過濾。

assert是用來避免顯而易見的錯誤的,而不是處理異常的。錯誤和異常是不一樣的,錯誤是不應該出現的,異常是不可避免的。c語言異常可以通過條件判斷來處理,其它語言有各自的異常處理機制。

乙個非常簡單的使用assert的規律就是,在方法或者函式的最開始使用,如果在方法的中間使用則需要慎重考慮是否是應該的。方法的最開始還沒開始乙個功能過程,在乙個功能過程執行中出現的問題幾乎都是異常。

C語言ASSERT巨集

一 assert函式的目的 斷言可以對在系統中隱藏很深,用其它手段極難發現的問題進行定位,並且輸出資訊很詳細,可以很好地解決大多數c語言編譯器錯誤資訊輸出不詳細的問題 二 assert巨集的原型,assert在 定義的 c語言中,assert斷言的原型定義在檔案中。assert是乙個巨集定義,並不是...

C語言 巨集 assert()

編寫 時,我們總是會做出一些假設,斷言 assert 就是用於在 中捕捉這些假設,可以將斷言看作是異常處理的一種高階形式。斷言表示為一些布林表示式,程式設計師相信在程式中的某個特定點該表示式值為真。可以在任何時候啟用和禁用斷言驗證,因此可以在測試時啟用斷言,而在部署時禁用斷言。同樣,程式投入執行後,...

C 語言assert使用

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