Assert(斷言實(shí)現(xiàn)機(jī)制深入剖析)
斷言(assert)的作用是用來判斷程序運(yùn)行的正確性，確保程序運(yùn)行的行為與我們理解的一致。其調(diào)用形式為assert(logic expression),如果邏輯表達(dá)式為假，則調(diào)用abort()終止程序的運(yùn)行。
查看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.
翻譯過來大概意思就是assert是通過判斷其參數(shù)的真假來標(biāo)識(shí)程序的邏輯錯(cuò)誤，調(diào)試結(jié)束后可以通過定義NDEBUG來關(guān)閉assert斷言。
查看include/assert.h頭文件可以得到assert相關(guān)的宏寫義如下：
#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 */
解釋：
#ifdef NDEBUG
#define assert(_Expression) ((void)0)//當(dāng)調(diào)試完成后，如果定義了NDEBUG,關(guān)閉斷言，優(yōu)化生成的代碼
接下來的代碼意思是定義如下函數(shù)（此函數(shù)用于打印出出錯(cuò)信息）：
_wassert(_In_z_ const wchar_t * _Message, _In_z_ const wchar_t *_File, _In_ unsigned _Line);
有興趣的可以在assert.c中看到其實(shí)現(xiàn)，函數(shù)先要把錯(cuò)誤的報(bào)告模式以及程序的類型(控制臺(tái)程序還是GUI程序)決定assert是向標(biāo)準(zhǔn)錯(cuò)誤輸出打印還是以消息框形式出現(xiàn)，最后調(diào)用了abort（）函數(shù)來終止程序的運(yùn)行。 對于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í)繼續(xù)執(zhí)行||以后的語句，故會(huì)打印出出錯(cuò)信息，終止程序，若_Expression為true,則!true=false,!false=true,此時(shí)不再執(zhí)行||以后的語句，故不會(huì)打印出信息。
值得注意的是，里面有一個(gè)逗號表達(dá)式，有興趣的可以研究一下，逗號表達(dá)式如下
(_wassert(_CRT_WIDE(#_Expression), _CRT_WIDE(__FILE__), __LINE__), 0)
asset斷言后返回的結(jié)果始終是void(1)/void(0),原因就在于逗號表達(dá)式。
Assert斷言在程序的作用
Assert的例子：
解釋：因?yàn)閠mp=0,tmp==1為false,故程序運(yùn)行的時(shí)候傳給assert宏的參數(shù)為false,因此調(diào)用的結(jié)果是先向stderr打印一條出錯(cuò)信息，然后通過調(diào)用 abort 來終止程序運(yùn)行。如果改成tmp=1,則程序完全正常運(yùn)行。 如里在程序中想關(guān)閉assert宏斷言，可以如下defnie NDEBUG
你會(huì)發(fā)現(xiàn)即出tmp=0,也不會(huì)再出現(xiàn)斷言信息，解釋請看頂部
作用：
1:斷言可以用來檢查傳給函數(shù)參數(shù)的合法性
void max(int *a, int n)
{
assert(a!=null)//利用斷言確保傳給函數(shù)的參數(shù)不是一個(gè)空指針
}
2:一個(gè)斷言一般只用來檢查一個(gè)條件，便于分析程序【大師寫的<<編程珠璣>>斷言的藝術(shù)一個(gè)斷言可以&&與||好幾個(gè)條件，在我們不是大師之前，還最好不要這樣做~~~】
3: 斷言前后最好空一格[編程風(fēng)格的問題，按你自已的喜好，適合自已就最好]
4:斷言只是用來檢查程序的邏輯正確性，不能代替條件替換
5:斷言比printf語句這種形式的打印好使~~~~
6:斷言參數(shù)可以是函數(shù)調(diào)用,但是函數(shù)返回值要是真假,如assert(sort()),解釋看上面源碼分析
相關(guān)文章
C語言超詳細(xì)講解數(shù)據(jù)結(jié)構(gòu)中雙向帶頭循環(huán)鏈表
帶頭雙向循環(huán)鏈表：結(jié)構(gòu)最復(fù)雜，一般用在單獨(dú)存儲(chǔ)數(shù)據(jù)。實(shí)際中使用的鏈表數(shù)據(jù)結(jié)構(gòu)，都是帶頭雙向循環(huán)鏈表。另外這個(gè)結(jié)構(gòu)雖然結(jié)構(gòu)復(fù)雜，但是使用代碼實(shí)現(xiàn)以后會(huì)發(fā)現(xiàn)結(jié)構(gòu)會(huì)帶來很多優(yōu)勢，實(shí)現(xiàn)反而簡單2022-04-04
c++類的隱式轉(zhuǎn)換與強(qiáng)制轉(zhuǎn)換重載詳解
轉(zhuǎn)換函數(shù)的名稱是類型轉(zhuǎn)換的目標(biāo)類型，因此，不必再為它指定返回值類型；轉(zhuǎn)換函數(shù)是被用于本類型的數(shù)值或變量轉(zhuǎn)換為其他的類型，也不必帶參數(shù)2013-09-09
單向鏈表特點(diǎn)是鏈表的鏈接方向是單向的，訪問要通過順序讀取從頭部開始。鏈表是使用指針構(gòu)造的列表，是由一個(gè)個(gè)結(jié)點(diǎn)組裝起來的，又稱為結(jié)點(diǎn)列表。其中每個(gè)結(jié)點(diǎn)都有指針成員變量指向列表中的下一個(gè)結(jié)點(diǎn)，head指針指向第一個(gè)結(jié)點(diǎn)稱為表頭，而終止于最后一個(gè)指向nuLL的指針2021-11-11
這篇文章主要介紹了C++之Primer算術(shù)運(yùn)算符方式,具有很好的參考價(jià)值,希望對大家有所幫助,如有錯(cuò)誤或未考慮完全的地方,望不吝賜教2025-03-03
C++?分割字符串?dāng)?shù)據(jù)的實(shí)現(xiàn)方法
這篇文章主要介紹了C++?分割字符串?dāng)?shù)據(jù)的實(shí)現(xiàn)方法,本文通過實(shí)例代碼給大家介紹的非常詳細(xì),對大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2023-09-09
這篇文章主要介紹了Qt如何自定義滑動(dòng)條問題，具有很好的參考價(jià)值，希望對大家有所幫助。如有錯(cuò)誤或未考慮完全的地方，望不吝賜教2022-11-11
在C語言的程序中包括各種以符號#開頭的編譯指令，這些指令稱為預(yù)處理命令。預(yù)處理命令屬于C語言編譯器，而不是C語言的組成部分，通過預(yù)處理命令可擴(kuò)展C語言程序設(shè)計(jì)的環(huán)境2022-08-08
詳解C++何時(shí)需要拷貝構(gòu)造函數(shù)
拷貝構(gòu)造函數(shù)是一個(gè)特殊的構(gòu)造函數(shù),用于創(chuàng)建一個(gè)新對象,該對象與另一個(gè)同類對象具有相同的屬性和值,在 C++ 中,拷貝構(gòu)造函數(shù)通常采用另一個(gè)同類對象作為參數(shù),并使用該對象初始化新對象,本文給大家講講何時(shí)需要拷貝函數(shù),需要的朋友可以參考下2023-09-09
C語言實(shí)現(xiàn)程序開機(jī)自啟動(dòng)
本文給大家分享的是一則C語言實(shí)現(xiàn)開機(jī)自啟動(dòng)的代碼，主要是通過C來獲取程序路徑修改注冊表項(xiàng)來實(shí)現(xiàn)，有需要的小伙伴可以參考下2016-01-01
這篇文章主要介紹了Windows窗口消息,以實(shí)例形式詳細(xì)羅列了Windows窗口消息,非常具有實(shí)用價(jià)值,需要的朋友可以參考下2015-05-05