C語(yǔ)言C++中assert的用法

<section data-website="https://www.mdnice.com" style="font-size: 16px;color: black;padding-right: 10px;padding-left: 10px;line-height: 1.6;letter-spacing: 0px;word-break: break-word;overflow-wrap: break-word;text-align: left;font-family: Optima-Regular, Optima, PingFangSC-light, PingFangTC-light, "PingFang SC", Cambria, Cochin, Georgia, Times, "Times New Roman", serif;margin-top: -10px;">

斷言assert原型

void assert(int expression);

assert宏的原型定義在<assert.h>中，其作用是先計(jì)算表達(dá)式expression的值為假(即為0),那么它就先向stderr打印一條出錯(cuò)信息，然后通過(guò)條用abort來(lái)終止程序；

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

在調(diào)試結(jié)束后，可以通過(guò)在包含#include 的語(yǔ)句之前插入 #define NDEBUG 來(lái)禁用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ī)則；

斷言語(yǔ)句不會(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è)方面：

1. 可以在預(yù)計(jì)正常情況下程序不會(huì)到達(dá)的地方放置斷言。（如assert(0);）

2. 使用斷言測(cè)試方法的前置條件和后置條件；

• 前置條件：代碼執(zhí)行前必須具備的特性；
• 后置條件：代碼執(zhí)行后必須具備的特性；

3. 使用斷言檢測(cè)類的不變狀態(tài)，確保任何情況下，某個(gè)變量的狀態(tài)或范圍必須滿足。

斷言assert使用規(guī)則

當(dāng)然我們?cè)谑褂脭嘌缘倪^(guò)程中會(huì)有一些我們應(yīng)該注意的事項(xiàng)和養(yǎng)成一些良好的習(xí)慣，如：

1. 每個(gè)assert只檢驗(yàn)一個(gè)條件，因?yàn)橥瑫r(shí)檢驗(yàn)多個(gè)條件時(shí)，如果斷言失敗，我們就無(wú)法直觀的判斷哪個(gè)條件失?。?

無(wú)法直觀的判斷哪個(gè)條件失?。?/p>

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

只檢驗(yàn)一個(gè)條件，比較直觀：

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

2. 不能使用改變環(huán)境的語(yǔ)句，就像我們上面的代碼改變了i變量，在實(shí)際編寫(xiě)代碼的過(guò)程中是不能這樣做的；

例如：

assert(i++ < 100)

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

assert(i < 100)
i++;

正確。

3. assert和后面的語(yǔ)句應(yīng)該空一行，以形成邏輯和視覺(jué)上的一致性，也算是一種良好的編程習(xí)慣，讓編寫(xiě)的代碼有一種視覺(jué)上的美感；

4. 有的地方，assert不能代替條件過(guò)濾；

程序一般分為Debug 版本和Release 版本，Debug 版本用于內(nèi)部調(diào)試，Release 版本發(fā)行給用戶使用。斷言assert 是僅在Debug 版本起作用的宏，它用于檢查"不應(yīng)該"發(fā)生的情況。

5. 放在函數(shù)參數(shù)的入口處檢查傳入?yún)?shù)的合法性；

int resetBufferSize(int nNewSize)
{
	//功能:改變緩沖區(qū)大小,
	//參數(shù):nNewSize 緩沖區(qū)新長(zhǎng)度
	//返回值:緩沖區(qū)當(dāng)前長(zhǎng)度
	//說(shuō)明:保持原信息內(nèi)容不變 nNewSize<=0表示清除緩沖區(qū)
	assert(nNewSize >= 0);
	assert(nNewSize <= MAX_BUFFER_SIZE);
	...
}

在我們使用C語(yǔ)言/C++做工程項(xiàng)目時(shí)，如果我們能在代碼中合理的使用assert，能使我們創(chuàng)建更穩(wěn)定、質(zhì)量更好且不易于出錯(cuò)的代碼；當(dāng)需要在一個(gè)值為FALSE時(shí)中斷當(dāng)前操作的話就可以使用斷言。

單元測(cè)試必須使用斷言；另外除了類型檢查和單元測(cè)試外，斷言還提供了一種確定各種特性是否在程序中得到維護(hù)的極好的方法；

最近原創(chuàng)推薦：

字符串操作的全面總結(jié)

代碼防御性編程的十條技巧

 九種查找算法

 十大經(jīng)典排序算法(動(dòng)態(tài)演示+代碼)

 C語(yǔ)言與C++面試知識(shí)總結(jié)

  數(shù)據(jù)結(jié)構(gòu)之堆棧

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)【在看】是最大的支持