C Assert 斷言機制原理以及使用

2021-10-22 12:37:53 字數 2403 閱讀 1512

evaluates an expression and, when the result is false, prints a diagnostic message and aborts the program.

(判斷乙個表示式,如果結果為假,輸出診斷訊息並中止程式。)

void assert( 

int expression 

);

引數:expression (including pointers) that evaluates to nonzero or 0.(表示式【包括指標】是非零或零)

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

// crt_assert.c

// compile with: /c

#include #include #include void analyze_string( char *string );   // prototype

int main( void )

// tests a string to see if it is null, 

// empty, or longer than 0 characters.

void analyze_string( char * string )

輸出結果

analyzing string 'abc'

analyzing string '(null)'

assertion failed: string != null, file assert.cpp, line 25

abnormal program termination

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只有在debug版本中才有效,如果編譯為release版本則被忽略掉。(在c中,assert是巨集而不是函式),使用assert「斷言」容易在debug時輸出程式錯誤所在。

而assert()的功能類似,它是ansi c標準中規定的函式,它與assert的乙個重要區別是可以用在release版本中。

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

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

#include #define ndebug

#include

加入#define ndebug之後,上文第乙個例子輸出結果為:

analyzing string 'abc'

analyzing string '(null)'

analyzing string ''

在面試中經常用到的乙個題目:

已知memcpy的函式為: void* memcpy(void *dest , const void* src , size_t count)其中dest是目的指標,src是源指標。不呼叫c++/c的memcpy庫函式,請編寫memcpy。

void* memcpy(void *dst, const void *src, size_t count)    

return dst;    

}

C Assert 斷言機制原理以及使用方法

msdn原文如是說 evaluates an expression and,when the result is false,prints a diagnostic message and aborts the program.判斷乙個表示式,如果結果為假,輸出診斷訊息並中止程式。void asse...

C ASSERT 斷言機制

c assert 斷言機制 assert 是乙個除錯程式時經常使用的巨集,在程式執行時它計算括號內的表示式,如果表示式為false 0 程式將報告錯誤,並終止執行。如果表示式不為0,則繼續執行後面的語句。這個巨集通常原來判斷程式中是否出現了明顯非法的資料,如果出現了終止程式以免導致嚴重後果,同時也便...

Spring斷言機制

assert翻譯為中文為 斷言 就是斷定某乙個實際的值為自己預期想得到的,如果不一樣就丟擲異常。使用 assert 斷言類可以簡化方法入參檢測的 如 inputstream getdata string file 在應用 assert 斷言類後,其 可以簡化為以下的形式 public inputst...