找回密碼
 立即注冊

QQ登錄

只需一步,快速開始

帖子
查看: 2096|回復: 0
打印 上一主題 下一主題
收起左側

斷言assert()函數(shù)

[復制鏈接]
跳轉到指定樓層
樓主
ID:108615 發(fā)表于 2016-3-13 17:20 | 只看該作者 回帖獎勵 |倒序瀏覽 |閱讀模式
assert宏的原型定義在<assert.h>中,其作用是如果它的條件返回錯誤,則終止程序執(zhí)行,原型定義:
#include <assert.h>void assert( int expression );
assert的作用是現(xiàn)計算表達式 expression ,如果其值為假(即為0),那么它先向stderr打印一條出錯信息,然后通過調用 abort 來
終止程序運行。請看下面的程序清單badptr.c:
#include <stdio.h>
#include <assert.h>
#include <stdlib.h>
int main( void )
{       FILE *fp;         
        fp = fopen( "test.txt", "w" );//以可寫的方式打開一個文件,如果不存在就創(chuàng)建一個同名文件      
        assert( fp );                           //所以這里不會出錯      
        fclose( fp );         
        fp = fopen( "noexitfile.txt", "r" );//以只讀的方式打開一個文件,如果不存在就打開文件失敗     
        assert( fp );                           //所以這里出錯      
        fclose( fp );                           //程序永遠都執(zhí)行不到這里來      
        return 0;
}
已放棄使用assert()的缺點是,頻繁的調用會極大的影響程序的性能,增加額外的開銷。在調試結束后,可以通過在包含#include
<assert.h>的語句之前插入 #define NDEBUG 來禁用assert調用,示例代碼如下:
#include <stdio.h>
#define NDEBUG
#include <assert.h>
用法總結與注意事項:
1)在函數(shù)開始處檢驗傳入?yún)?shù)的合法性如:
int resetBufferSize(int nNewSize)
{  //功能:改變緩沖區(qū)大小,  
       //參數(shù):nNewSize 緩沖區(qū)新長度  
       //返回值:緩沖區(qū)當前長度   
       //說明:保持原信息內容不變   
       nNewSize<=0表示清除緩沖區(qū)  
       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)不能使用改變環(huán)境的語句,因為assert只在DEBUG個生效,如果這么做,會使用程序在真正運行時遇到問題,如:
 錯誤:assert(i++ < 100);
這是因為如果出錯,比如在執(zhí)行之前i=100,那么這條語句就不會執(zhí)行,那么i++這條命令就沒有執(zhí)行。
 正確:   assert(i < 100);               i++;
4)assert和后面的語句應空一行,以形成邏輯和視覺上的一致感。
5)有的地方,assert不能代替條件過濾。


分享到:  QQ好友和群QQ好友和群 QQ空間QQ空間 騰訊微博騰訊微博 騰訊朋友騰訊朋友
收藏收藏 分享淘帖 頂 踩
回復

使用道具 舉報

您需要登錄后才可以回帖 登錄 | 立即注冊

本版積分規(guī)則

小黑屋|51黑電子論壇 |51黑電子論壇6群 QQ 管理員QQ:125739409;技術交流QQ群281945664

Powered by 單片機教程網

快速回復 返回頂部 返回列表