C++ Assert()斷言機制原理以及運用辦法。本站提示廣大學習愛好者:(C++ Assert()斷言機制原理以及運用辦法)文章只能為提供參考,不一定能成為您想要的結果。以下是C++ Assert()斷言機制原理以及運用辦法正文
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 evaluates to nonzero or 0.(表達式【包括指針】是非零或零)
原理:assert的作用是現計算表達式 expression ,假如其值為假(即為0),那麼它先向stderr打印一條出錯信息,然後經過調用 abort 來終止順序運轉。
MSDN示例順序
// crt_assert.c
// compile with: /c
#include <stdio.h>
#include <assert.h>
#include <string.h>
void analyze_string( char *string ); // Prototype
int main( void )
{
char test1[] = "abc", *test2 = NULL, test3[] = "";
printf ( "Analyzing string '%s'\n", test1 ); fflush( stdout );
analyze_string( test1 );
printf ( "Analyzing string '%s'\n", test2 ); fflush( stdout );
analyze_string( test2 );
printf ( "Analyzing string '%s'\n", test3 ); fflush( stdout );
analyze_string( test3 );
}
// Tests a string to see if it is NULL,
// empty, or longer than 0 characters.
void analyze_string( char * string )
{
assert( string != NULL ); // Cannot be NULL
assert( *string != '\0' ); // Cannot be empty
assert( strlen( string ) > 2 ); // Length must exceed 2
}
輸入後果
Analyzing string 'abc' Analyzing string '(null)' Assertion failed: string != NULL, file assert.cpp, line 25 abnormal program termination
用法總結:
1) 在函數開端處檢驗傳入參數的合法性
如:
int resetBufferSize(int nNewSize)
{
//功用:改動緩沖區大小,
//參數:nNewSize 緩沖區新長度
//前往值:緩沖區以後長度
//闡明:堅持原信息內容不變 nNewSize<=0表示肅清緩沖區
assert(nNewSize >= 0);
assert(nNewSize <= MAX_BUFFER_SIZE);
...
}
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 <assert.h>的語句之前拔出 #define NDEBUG 來禁用assert調用,示例代碼如下:
#include <stdio.h>
#define NDEBUG
#include <assert.h>
參加#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<psrc+count));
assert(!(pdst<=psrc && psrc<pdst+count));
while(count--)
{
*pdst = *psrc;
pdst++;
psrc++;
}
return dst;
}
以上這篇C++ Assert()斷言機制原理以及運用辦法就是分享給大家的全部內容了,希望能給大家一個參考,也希望大家多多支持。