assert()是一個(gè)調(diào)試程序時(shí)經(jīng)常使用的宏，在程序運(yùn)行時(shí)它計(jì)算括號內(nèi)的表達(dá)式，如果表達(dá)式為FALSE (0), 程序?qū)?bào)告錯(cuò)誤，并終止執(zhí)行。如果表達(dá)式不為0，則繼續(xù)執(zhí)行后面的語句，它的作用是終止程序以免導(dǎo)致嚴(yán)重后果，同時(shí)也便于查找錯(cuò)誤。

所需頭文件：#include <assert.h>

報(bào)告錯(cuò)誤的條件：assert(0); [cpp]?view plaincopy

void?assert(?????

???int?expression?????

);????

參數(shù)：Expression (including pointers) that evaluates to nonzero or 0.（表達(dá)式【包括指針】是非零或零）

原理：assert的作用是現(xiàn)計(jì)算表達(dá)式 expression ，如果其值為假（即為0），那么它先向stderr打印一條出錯(cuò)信息，然后通過調(diào)用 abort 來終止程序運(yùn)行。

示例程序：

[cpp]?view plaincopy

void?*memcpy(void?*pvTo,?const?void?*pvFrom,?size_t?size)??

{??

????assert((pvTo?!=?NULL)?&&?(pvFrom?!=?NULL));???//?使用斷言??

????byte?*pbTo?=?(byte?*)?pvTo;???????????????????//?防止改變pvTo?的地址??

????byte?*pbFrom?=?(byte?*)?pvFrom;???????????????//?防止改變pvFrom?的地址??

????while(size?--?>?0?)??

????*pbTo?++?=?*pbFrom?++?;??

??????

????return?pvTo;??

}??

assert() 用法總結(jié)：

1、在函數(shù)開始處檢驗(yàn)傳入?yún)?shù)的合法性

如:

[cpp]?view plaincopy

int?resetBufferSize(int?nNewSize)??

{??

????//功能:改變緩沖區(qū)大小,??

????//參數(shù):nNewSize?緩沖區(qū)新長度??

????//返回值:緩沖區(qū)當(dāng)前長度??

????//說明:保持原信息內(nèi)容不變?????nNewSize<=0表示清除緩沖區(qū)??

????assert(nNewSize?>=?0);??

????assert(nNewSize?<=?MAX_BUFFER_SIZE);??

??...??

}??

2、每個(gè)assert只檢驗(yàn)一個(gè)條件,因?yàn)橥瑫r(shí)檢驗(yàn)多個(gè)條件時(shí),如果斷言失敗,無法直觀的判斷是哪個(gè)條件失敗

不好: assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);

好: assert(nOffset >= 0);
? ? ?assert(nOffset+nSize <= m_nInfomationSize);

3、不能使用改變環(huán)境的語句,因?yàn)閍ssert只在DEBUG個(gè)生效,如果這么做,會使用程序在真正運(yùn)行時(shí)遇到問題

錯(cuò)誤: assert(i++ < 100)

這是因?yàn)槿绻鲥e(cuò)，比如在執(zhí)行之前i=100,那么這條語句就不會執(zhí)行，那么i++這條命令就沒有執(zhí)行。

正確: assert(i < 100)；

? ? ? ? ?i++;

4、assert和后面的語句應(yīng)空一行,以形成邏輯和視覺上的一致感

5、有的地方,assert不能代替條件過濾

? ??ASSERT只有在Debug版本中才有效，如果編譯為Release版本則被忽略掉。（在C中，ASSERT是宏而不是函數(shù)），使用ASSERT“斷言”容易在debug時(shí)輸出程序錯(cuò)誤所在。

? ?而assert()的功能類似，它是ANSI C標(biāo)準(zhǔn)中規(guī)定的函數(shù)，它與ASSERT的一個(gè)重要區(qū)別是可以用在Release版本中。

? ?使用assert的缺點(diǎn)是，頻繁的調(diào)用會極大的影響程序的性能，增加額外的開銷。

? ?在調(diào)試結(jié)束后，可以通過在包含#include <assert.h>的語句之前插入 #define NDEBUG 來禁用assert調(diào)用，示例代碼如下：

#include <stdio.h>
#define NDEBUG
#include <assert.h>

何時(shí)需要使用斷言

1.可以在預(yù)計(jì)正常情況下程序不會到達(dá)的地方放置斷言：ASSERT( FALSE );
2.斷言可以用于檢查傳遞給私有方法的參數(shù)。（對于公有方法，因?yàn)槭翘峁┙o外部的接口，所以必須在方法中有相應(yīng)的參數(shù)檢驗(yàn)才能保證代碼的健壯性）
3.使用斷言測試方法執(zhí)行的前置條件和后置條件
4.使用斷言檢查類的不變狀態(tài)，確保任何情況下，某個(gè)變量的狀態(tài)必須滿足。（如age屬性應(yīng)大于0小于某個(gè)合適值）


什么地方不要使用斷言

斷言語句不是永遠(yuǎn)會執(zhí)行，可以屏蔽也可以啟用

因此：

1.不要使用斷言作為公共方法的參數(shù)檢查，公共方法的參數(shù)永遠(yuǎn)都要執(zhí)行
2.斷言語句不可以有任何邊界效應(yīng)，不要使用斷言語句去修改變量和改變方法的返回值

總結(jié)

以上是生活随笔為你收集整理的Linux C 中断言assert()使用简介的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。