斷言assert原型
void assert(int expression);
assert宏的原型定義在<assert.h>中，其作用是先計(jì)算表達(dá)式expression的值為假(即為0),那么它就先向stderr打印一條出錯(cuò)信息，然后通過條用abort來終止程序；
使用assert的缺點(diǎn)是，頻繁的調(diào)用會(huì)極大的影響程序的性能，增加額外的開銷。
在調(diào)試結(jié)束后，可以通過在包含#include 的語句之前插入 #define NDEBUG 來禁用assert調(diào)用，示例代碼如下：
1 #include
2 #define NDEBUG
3 #include
斷言assert使用規(guī)則
#include <stdio.h>
#include <assert.h>
int main(void)
{
int i;
i = 1;
assert(i++);
printf(“%d\n”,i);
return 0;
}
看運(yùn)行結(jié)果，如果給定的i初始值為1，所以其運(yùn)行結(jié)果不會(huì)為錯(cuò)，如下圖所示
如果將i初始值改成0，那么就會(huì)出現(xiàn)如下錯(cuò)誤：
上面這個(gè)錯(cuò)誤是很典型異常，可以考慮用assert排查。
根據(jù)提示我們很快就能定位到錯(cuò)誤點(diǎn)，就在assert(i++)處；既然assert這么便于定位出錯(cuò)點(diǎn)，在工程中使用它就顯得很有必要；但其也有一定的使用規(guī)則；
斷言語句不會(huì)永遠(yuǎn)被執(zhí)行，可以屏蔽也可以啟用，這就要求assert不管是在屏蔽還是啟用狀態(tài)下都不能對(duì)我們本身代碼有所影響，這樣剛才我們?cè)诖a中使用的assert(i++)就不行，因?yàn)槿绻昧?code style="font-size: 14px;overflow-wrap: break-word;padding: 2px 4px;border-radius: 4px;margin-right: 2px;margin-left: 2px;background-color: rgba(27, 31, 35, 0.05);font-family: "Operator Mono", Consolas, Monaco, Menlo, monospace;word-break: break-all;color: rgb(239, 112, 96);">assert,那i++就不能執(zhí)行；正確的做法應(yīng)該是：assert(i);i++;那么我們一般在什么情況下使用斷言呢？
主要體現(xiàn)在以下幾個(gè)方面：
-
前置條件：代碼執(zhí)行前必須具備的特性； -
后置條件：代碼執(zhí)行后必須具備的特性；
斷言assert使用規(guī)則
當(dāng)然我們?cè)谑褂脭嘌缘倪^程中會(huì)有一些我們應(yīng)該注意的事項(xiàng)和養(yǎng)成一些良好的習(xí)慣，如：
無法直觀的判斷哪個(gè)條件失?。?/p>
assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);
只檢驗(yàn)一個(gè)條件，比較直觀：
assert(nOffset >= 0);
assert(nOffset+nSize <= m_nInfomationSize);例如：
assert(i++ < 100)
不好：這是因?yàn)槿绻鲥e(cuò)，比如在執(zhí)行之前i=100,那么這條語句就不會(huì)執(zhí)行，那么i++這條命令就沒有執(zhí)行。
assert(i < 100)
i++;
正確。
程序一般分為Debug 版本和Release 版本，Debug 版本用于內(nèi)部調(diào)試，Release 版本發(fā)行給用戶使用。斷言assert 是僅在Debug 版本起作用的宏，它用于檢查"不應(yīng)該"發(fā)生的情況。
int resetBufferSize(int nNewSize)
{
//功能:改變緩沖區(qū)大小,
//參數(shù):nNewSize 緩沖區(qū)新長度
//返回值:緩沖區(qū)當(dāng)前長度
//說明:保持原信息內(nèi)容不變 nNewSize<=0表示清除緩沖區(qū)
assert(nNewSize >= 0);
assert(nNewSize <= MAX_BUFFER_SIZE);
...
}
在我們使用C語言/C++做工程項(xiàng)目時(shí)，如果我們能在代碼中合理的使用assert，能使我們創(chuàng)建更穩(wěn)定、質(zhì)量更好且不易于出錯(cuò)的代碼；當(dāng)需要在一個(gè)值為FALSE時(shí)中斷當(dāng)前操作的話就可以使用斷言。
單元測(cè)試必須使用斷言；另外除了類型檢查和單元測(cè)試外，斷言還提供了一種確定各種特性是否在程序中得到維護(hù)的極好的方法；
最近原創(chuàng)推薦：
十大經(jīng)典排序算法(動(dòng)態(tài)演示+代碼)
serif;font-size: 16px;text-align: left;background-color: rgb(255, 255, 255);line-height: 26px;box-sizing: border-box !important;overflow-wrap: break-word !important;"> 一文輕松理解內(nèi)存對(duì)齊
點(diǎn)【在看】是最大的支持
免責(zé)聲明：本文內(nèi)容由21ic獲得授權(quán)后發(fā)布，版權(quán)歸原作者所有，本平臺(tái)僅提供信息存儲(chǔ)服務(wù)。文章僅代表作者個(gè)人觀點(diǎn)，不代表本平臺(tái)立場(chǎng)，如有問題，請(qǐng)聯(lián)系我們，謝謝！
下載文檔
