程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> C語言 >> C++ >> 關於C++ >> C++ Assert()斷言機制原理以及運用辦法

C++ Assert()斷言機制原理以及運用辦法

編輯:關於C++

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()斷言機制原理以及運用辦法就是分享給大家的全部內容了,希望能給大家一個參考,也希望大家多多支持。

  1. 上一頁:
  2. 下一頁:
Copyright © 程式師世界 All Rights Reserved