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

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

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

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

解釋：

接下來的代碼意思是定義如下函數(shù)（此函數(shù)用于打印出出錯信息）：

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

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

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

值得注意的是，里面有一個逗號表達式，有興趣的可以研究一下，逗號表達式如下

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

Assert斷言在程序的作用

Assert的例子：



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

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

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

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

3: 斷言前后最好空一格[編程風格的問題，按你自已的喜好，適合自已就最好]

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

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

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