斷言(assert)的作用是用來(lái)判斷程序運(yùn)行的正確性，確保程序運(yùn)行的行為與我們理解的一致。其調(diào)用形式為assert(logic expression),如果邏輯表達(dá)式為假，則調(diào)用abort()終止程序的運(yùn)行。

查看MSDN幫助文檔，可以得到assert的解釋信息如下：

翻譯過(guò)來(lái)大概意思就是assert是通過(guò)判斷其參數(shù)的真假來(lái)標(biāo)識(shí)程序的邏輯錯(cuò)誤，調(diào)試結(jié)束后可以通過(guò)定義NDEBUG來(lái)關(guān)閉assert斷言。

查看include/assert.h頭文件可以得到assert相關(guān)的宏寫(xiě)義如下：

解釋?zhuān)?BR>
接下來(lái)的代碼意思是定義如下函數(shù)（此函數(shù)用于打印出出錯(cuò)信息）：

有興趣的可以在assert.c中看到其實(shí)現(xiàn)，函數(shù)先要把錯(cuò)誤的報(bào)告模式以及程序的類(lèi)型(控制臺(tái)程序還是GUI程序)決定assert是向標(biāo)準(zhǔn)錯(cuò)誤輸出打印還是以消息框形式出現(xiàn)，最后調(diào)用了abort（）函數(shù)來(lái)終止程序的運(yùn)行。 對(duì)于extern “C” 有時(shí)間再解釋

好了，到最后，終于看到了assert的宏定義了

解釋_Expresssion若為false,則!false=true,!true=false,此時(shí)繼續(xù)執(zhí)行||以后的語(yǔ)句，故會(huì)打印出出錯(cuò)信息，終止程序，若_Expression為true,則!true=false,!false=true,此時(shí)不再執(zhí)行||以后的語(yǔ)句，故不會(huì)打印出信息。

值得注意的是，里面有一個(gè)逗號(hào)表達(dá)式，有興趣的可以研究一下，逗號(hào)表達(dá)式如下

asset斷言后返回的結(jié)果始終是void(1)/void(0),原因就在于逗號(hào)表達(dá)式。

Assert斷言在程序的作用

Assert的例子：



解釋?zhuān)?/FONT>因?yàn)閠mp=0,tmp==1為false,故程序運(yùn)行的時(shí)候傳給assert宏的參數(shù)為false,因此調(diào)用的結(jié)果是先向stderr打印一條出錯(cuò)信息，然后通過(guò)調(diào)用 abort 來(lái)終止程序運(yùn)行。如果改成tmp=1,則程序完全正常運(yùn)行。 如里在程序中想關(guān)閉assert宏斷言，可以如下defnie NDEBUG

 
你會(huì)發(fā)現(xiàn)即出tmp=0,也不會(huì)再出現(xiàn)斷言信息，解釋請(qǐng)看頂部

作用：
1:斷言可以用來(lái)檢查傳給函數(shù)參數(shù)的合法性

復(fù)制代碼 代碼如下:

void max(int *a, int n)
{
 assert(a!=null)//利用斷言確保傳給函數(shù)的參數(shù)不是一個(gè)空指針
}

2:一個(gè)斷言一般只用來(lái)檢查一個(gè)條件，便于分析程序【大師寫(xiě)的<<編程珠璣>>斷言的藝術(shù)一個(gè)斷言可以&&與||好幾個(gè)條件，在我們不是大師之前，還最好不要這樣做~~~】

3: 斷言前后最好空一格[編程風(fēng)格的問(wèn)題，按你自已的喜好，適合自已就最好]

4:斷言只是用來(lái)檢查程序的邏輯正確性，不能代替條件替換

5:斷言比printf語(yǔ)句這種形式的打印好使~~~~

6:斷言參數(shù)可以是函數(shù)調(diào)用,但是函數(shù)返回值要是真假,如assert(sort()),解釋看上面源碼分析