斷言(assert)的作用是用來(lái)判斷程序運行的正確性，確保程序運行的行為與我們理解的一致。其調用形式為assert(logic expression),如果邏輯表達式為假，則調用abort()終止程序的運行。
斷言前后最好空一格[編程風(fēng)格的問(wèn)題，按你自已的喜好，適合自已就最好]。斷言只是用來(lái)檢查程序的邏輯正確性，不能代替條件替換。斷言比printf語(yǔ)句這種形式的打印好使 。
查看MSDN幫助文檔，可以得到assert的解釋信息如下：
The ANSI assert macro is typically used to identify logic errors during program development, by implementing the expression argument to evaluate to false only when the program is operating incorrectly. After debugging is complete, assertion checking can be turned off without modifying the source file by defining the identifier NDEBUG. NDEBUG can be defined with a /D command-line option or with a #define directive. If NDEBUG is defined with #define, the directive must appear before ASSERT.H is included.
翻譯過(guò)來(lái)大概意思就是assert是通過(guò)判斷其參數的真假來(lái)標識程序的邏輯錯誤，調試結束后可以通過(guò)定義NDEBUG來(lái)關(guān)閉assert斷言。
查看include/assert.h頭文件可以得到assert相關(guān)的宏寫(xiě)義如下：
#ifdef NDEBUG
#define assert(exp) ((void)0)
#else
#ifdef __cplusplus
extern "C" {
#endif
_CRTIMP void __cdecl _assert(void *, void *, unsigned);
#ifdef __cplusplus
}
#endif
#define assert(exp) (void)( (exp) || (_assert(#exp, __FILE__, __LINE__), 0) )
#endif /* NDEBUG */
解釋?zhuān)?br>
#ifdef NDEBUG
#define assert(_Expression) ((void)0)//當調試完成后，如果定義了NDEBUG,關(guān)閉斷言，優(yōu)化生成的代碼
接下來(lái)的代碼意思是定義如下函數（此函數用于打印出出錯信息）：
_wassert(_In_z_ const wchar_t * _Message, _In_z_ const wchar_t *_File, _In_ unsigned _Line);
有興趣的可以在assert.c中看到其實(shí)現，函數先要把錯誤的報告模式以及程序的類(lèi)型(控制臺程序還是GUI程序)決定assert是向標準錯誤輸出打印還是以消息框形式出現，最后調用了abort（）函數來(lái)終止程序的運行。 對于extern “C” 有時(shí)間再解釋
好了，到最后，終于看到了assert的宏定義了
#define assert(_Expression) (void)( (!!(_Expression)) || (_wassert(_CRT_WIDE(#_Expression), _CRT_WIDE(__FILE__), __LINE__), 0) )
解釋_Expresssion若為false,則!false=true,!true=false,此時(shí)繼續執行||以后的語(yǔ)句，故會(huì )打印出出錯信息，終止程序，若_Expression為true,則!true=false,!false=true,此時(shí)不再執行||以后的語(yǔ)句，故不會(huì )打印出信息。
值得注意的是，里面有一個(gè)逗號表達式，有興趣的可以研究一下，逗號表達式如下
(_wassert(_CRT_WIDE(#_Expression), _CRT_WIDE(__FILE__), __LINE__), 0)
asset斷言后返回的結果始終是void(1)/void(0),原因就在于逗號表達式。
Assert斷言在程序的作用
Assert的例子：
解釋?zhuān)?/font>因為tmp=0,tmp==1為false,故程序運行的時(shí)候傳給assert宏的參數為false,因此調用的結果是先向stderr打印一條出錯信息，然后通過(guò)調用 abort 來(lái)終止程序運行。如果改成tmp=1,則程序完全正常運行。 如里在程序中想關(guān)閉assert宏斷言，可以如下defnie NDEBUG
你會(huì )發(fā)現即出tmp=0,也不會(huì )再出現斷言信息，解釋請看頂部
作用：
1:斷言可以用來(lái)檢查傳給函數參數的合法性
void max(int *a, int n)
{
assert(a!=null)//利用斷言確保傳給函數的參數不是一個(gè)空指針
}
2:一個(gè)斷言一般只用來(lái)檢查一個(gè)條件，便于分析程序【大師寫(xiě)的<<編程珠璣>>斷言的藝術(shù)一個(gè)斷言可以&&與||好幾個(gè)條件，在我們不是大師之前，還最好不要這樣做~~~】
3: 斷言前后最好空一格[編程風(fēng)格的問(wèn)題，按你自已的喜好，適合自已就最好]
4:斷言只是用來(lái)檢查程序的邏輯正確性，不能代替條件替換
5:斷言比printf語(yǔ)句這種形式的打印好使~~~~
6:斷言參數可以是函數調用,但是函數返回值要是真假,如assert(sort()),解釋看上面源碼分析
