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

2022-10-04 01:27:11 字數 2510 閱讀 5260

msdn原文如是說:

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 ev程式設計客棧aluates to nonzero or 0.(表示式【包括指標】是非零或零)

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

msdn示例程式

// 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 nnews程式設計客棧ize)

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);

&n程式設計客棧bsp; &n程式設計客棧bsp; 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)

{

//安全檢查

assert( (dst != null) && (src != null) );

unsigned char *pdst = (unsigned char *)dst;

const unsigned char *psrc = (const unsigned char *)src;

//防止記憶體重複

assert(!(psrc<=pdst && pdst

本文標題: c++ assert()斷言機制原理以及使用方法

本文位址:

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

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

C ASSERT 斷言機制

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

Spring斷言機制

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