程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> C語言 >> C++ >> 關於C++ >> C尺度庫<assert.h>的完成詳解

C尺度庫<assert.h>的完成詳解

編輯:關於C++

C尺度庫<assert.h>的完成詳解。本站提示廣大學習愛好者:(C尺度庫&lt;assert.h&gt;的完成詳解)文章只能為提供參考,不一定能成為您想要的結果。以下是C尺度庫&lt;assert.h&gt;的完成詳解正文


本文實例講授了C尺度庫<assert.h>的完成進程及相干用法。分享給年夜家供年夜家參考。詳細剖析以下:

1、配景常識

頭文件<assert.h>獨一的目標就是供給assert宏界說,可以在法式中症結的處所應用這個宏來停止斷言。假如一處斷言被證實非真,願望法式在尺度毛病流輸入一條恰當的提醒信息,並使履行異常終止。

可以如許寫代碼:

#include<assert.h>
...
assert(0 <= i && i < sizeof(a) / sizeof(a[0]));

固然下面的代碼不是實戰中的最好的情勢,法式異常終止應當改成某種毛病的恢復。

宏NDEBUG

可以經由過程在法式的某些處所界說宏NDEBUG來轉變assert的睜開方法

假如法式某個包括assert的處所沒有界說NDEBUG,該頭文件就會將宏assert界說為運動情勢,它便可以睜開為一個表達式,測試斷言並在斷言為假的時刻輸入一條毛病信息,然後法式終止。反之,假如界說了NDEBUG,頭文件就會把這個宏界說為不履行任何操作的運動情勢。

2、<assert.h>的應用

從下面的代碼中可以看到,可使用一個簡略的謂詞來簡化assert:

if(!ok)
  abort(); //在頭文件<stdlib.h>中聲明

假如認為斷言沒有存在的需要,就在包括頭文件之前加高低面的代碼:

#define NDEBUG //撤消斷言
#include<assert.h>

可以在全部源文件頂用分歧的方法掌握斷言,當斷言在頻仍履行的輪回外部產生時,機能能夠會急劇降低,或在到達提醒性的部門之前,一個更早的斷言能夠會終止法式。要翻開斷言,可以寫:

#undef NDEBUG
#include<assert.h>

要封閉斷言,可以寫:

#define NDEBUG
#include<assert.h>

留意:即便宏NDEBUG曾經被界說了,我們依然可以平安地界說它,這是一個良性重界說

3、<assert.h>的完成

從下面的剖析知該頭文件的年夜致框架以下:

#undef assert //清除已界說的
#ifdef NDEBUG
#define assert(expr) ((void) 0) //功效掉效
#else
#define assert (expr) ...
#endif

一個簡略的編寫宏assert的運動情勢的方法以下:

#define assert(expr) if(!(expr)) \
  fprintf(stderr, "Assertion failed: %s, file %s, line %i\n", \
    #expr, __FILE__, __LINE__)

這類方法由於以下幾種緣由不克不及接收:

1、宏不克不及直接挪用庫的任何輸入函數

下面的界說中包括fprintf、stderr等在stdio.h中界說的函數或宏,法式能夠沒有包括這個頭文件

2、宏必需能擴大為一個void類型的表達式

3、宏應當可以擴大為有用而且緊湊的代碼

這個版本卻老是挪用了一個傳遞了5個參數的函數

修正後的assert宏以下:

#undef assert
#ifdef NDEBUG
  #define assert(expr) ((void) 0)
#else
  void __bad_assertion (const char *_mess);
  #define  __str(x)  # x
  #define  __xstr(x)  __str(x)
  #define  assert(expr)  ((expr)? (void)0 : \
        __bad_assertion("Assertion \"" #expr \
          "\" failed, file " __xstr(__FILE__) \
          ", line " __xstr(__LINE__) "\n"))
#endif

個中__LINE__ 是內置宏,代表該行代碼的地點行號,因為__LINE__沒有擴大成字符串字面量,它釀成了一個十進制常量,把它轉換成恰當的情勢須要一個額定的處置層。向頭文件中添加兩個隱蔽的宏__str和__xstr來完成,個中一個宏用它的十進制常量擴大來代替__LINE__,另外一個是把十進制常量轉換成一個字符串字面量

宏挪用的隱蔽庫函數__bad_assertion的完成:

#include<assert.h>
#include<stdio.h>
#include<stdlib.h>
void __bad_assertion(const char *mess) {
    fputs(mess, stderr);
    abort();
 }

函數__bad_assertion應用了兩個其他的庫函數,經由過程挪用<stdio.h>中聲明的函數fputs把字符串寫到尺度毛病流,並應用abort異常終止法式的履行,有關這些相干頭文件今後會具體分析。

4、<assert.h>的測試

#include<assert.h>
#include<stdio.h>
#include<stdlib.h>
int main( void )
{
    FILE *fp;
    fp = fopen( "test.txt", "w" );//以可寫的方法翻開一個文件,假如不存在就創立一個同名文件
    assert( fp );              //所以這裡不會失足
    fclose( fp );
  
    fp = fopen( "noexitfile.txt", "r" );//以只讀的方法翻開一個文件,假如不存在就翻開文件掉敗
    assert( fp );              //所以這裡失足
    fclose( fp );              //法式永久都履行不到這裡來
    return 0;
}

留意:

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不克不及取代前提過濾。

信任本文所述對年夜家C法式設計的進修有必定的自創價值。

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