文章目錄

• • 斷言(assert)的用法
  • 用法總結(jié)與注意事項(xiàng)
  • • 1)在函數(shù)開(kāi)始處檢驗(yàn)傳入?yún)?shù)的合法性
    • 2)每個(gè)assert只檢驗(yàn)一個(gè)條件,因?yàn)橥瑫r(shí)檢驗(yàn)多個(gè)條件時(shí),如果斷言失敗,無(wú)法直觀(guān)的判斷是哪個(gè)條件失敗
    • 3)不能使用改變環(huán)境的語(yǔ)句,因?yàn)閍ssert只在DEBUG個(gè)生效,如果這么做,會(huì)使用程序在真正運(yùn)行時(shí)遇到問(wèn)題
    • 4)assert和后面的語(yǔ)句應(yīng)空一行,以形成邏輯和視覺(jué)上的一致感
    • 5)有的地方,assert不能代替條件過(guò)濾
  • 以下是使用斷言的幾個(gè)原則：

斷言(assert)的用法

我一直以為 assert 僅僅是個(gè)報(bào)錯(cuò)函數(shù)，事實(shí)上，它居然是個(gè)宏，并且作用并非"報(bào)錯(cuò)"。

在經(jīng)過(guò)對(duì)其進(jìn)行一定了解之后，對(duì)其作用及用法有了一定的了解，assert() 的用法像是一種"契約式編程"，在我的理解中，其表達(dá)的意思就是，程序在我的假設(shè)條件下，能夠正常良好的運(yùn)作，其實(shí)就相當(dāng)于一個(gè) if 語(yǔ)句：

if(假設(shè)成立) {程序正常運(yùn)行； } else {報(bào)錯(cuò)&&終止程序！（避免由程序運(yùn)行引起更大的錯(cuò)誤） }

但是這樣寫(xiě)的話(huà)，就會(huì)有無(wú)數(shù)個(gè) if 語(yǔ)句，甚至?xí)霈F(xiàn)，一個(gè) if 語(yǔ)句的括號(hào)從文件頭到文件尾，并且大多數(shù)情況下，我們要進(jìn)行驗(yàn)證的假設(shè)，只是屬于偶然性事件，又或者我們僅僅想測(cè)試一下，一些最壞情況是否發(fā)生，所以這里有了 assert()。

assert 宏的原型定義在 assert.h 中，其作用是如果它的條件返回錯(cuò)誤，則終止程序執(zhí)行。

#include "assert.h" void assert( int expression );

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

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

在調(diào)試結(jié)束后，可以通過(guò)在包含 #include 的語(yǔ)句之前插入 #define NDEBUG 來(lái)禁用 assert 調(diào)用，示例代碼如下：

#include #define NDEBUG #include

用法總結(jié)與注意事項(xiàng)

1)在函數(shù)開(kāi)始處檢驗(yàn)傳入?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); ... }

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

不好:

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

好:

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

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

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

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

正確:

assert(i < 100) i++;

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

5)有的地方,assert不能代替條件過(guò)濾

程序一般分為Debug 版本和Release 版本，Debug 版本用于內(nèi)部調(diào)試，Release 版本發(fā)行給用戶(hù)使用。斷言assert 是僅在Debug 版本起作用的宏，它用于檢查"不應(yīng)該"發(fā)生的情況。以下是一個(gè)內(nèi)存復(fù)制程序（？），在運(yùn)行過(guò)程中，如果assert 的參數(shù)為假，那么程序就會(huì)中止（一般地還會(huì)出現(xiàn)提示對(duì)話(huà)，說(shuō)明在什么地方引發(fā)了assert）。

以下是使用斷言的幾個(gè)原則：

• （1）使用斷言捕捉不應(yīng)該發(fā)生的非法情況。不要混淆非法情況與錯(cuò)誤情況之間的區(qū)別，后者是必然存在的并且是一定要作出處理的。
• （2）使用斷言對(duì)函數(shù)的參數(shù)進(jìn)行確認(rèn)。
• （3）在編寫(xiě)函數(shù)時(shí)，要進(jìn)行反復(fù)的考查，并且自問(wèn)："我打算做哪些假定？"一旦確定了的假定，就要使用斷言對(duì)假定進(jìn)行檢查。
• （4）一般教科書(shū)都鼓勵(lì)程序員們進(jìn)行防錯(cuò)性的程序設(shè)計(jì)，但要記住這種編程風(fēng)格會(huì)隱瞞錯(cuò)誤。當(dāng)進(jìn)行防錯(cuò)性編程時(shí)，如果"不可能發(fā)生"的事情的確發(fā)生了，則要使用斷言進(jìn)行報(bào)警。

ASSERT ()是一個(gè)調(diào)試程序時(shí)經(jīng)常使用的宏，在程序運(yùn)行時(shí)它計(jì)算括號(hào)內(nèi)的表達(dá)式，如果表達(dá)式為FALSE (0), 程序?qū)?bào)告錯(cuò)誤，并終止執(zhí)行。如果表達(dá)式不為0，則繼續(xù)執(zhí)行后面的語(yǔ)句。這個(gè)宏通常原來(lái)判斷程序中是否出現(xiàn)了明顯非法的數(shù)據(jù)，如果出現(xiàn)了終止程序以免導(dǎo)致嚴(yán)重后果，同時(shí)也便于查找錯(cuò)誤。

ASSERT 只有在 Debug 版本中才有效，如果編譯為 Release 版本則被忽略。

參考文章：斷言(assert)的用法

總結(jié)

以上是生活随笔為你收集整理的C语言断言assert()函数的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

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