assert宏的原型定義在assert.h中，其作用是如果它的條件返回錯誤，則終止程序執(zhí)行.
原型定義:
顯示代碼打印1 #include "assert.h"
2 void assert( int expression );
assert的作用是現(xiàn)計算表達(dá)式 expression ，如果其值為假（即為0），那么它先向stderr打印一條出錯信息,然后通過調(diào)用 abort 來終止程序運行。
請看下面的程序清單badptr.c：
顯示代碼打印01 #include
02 #include
03 #include
04 int main( void )
05 {
06 FILE *fp;
07
08 fp = fopen( "test.txt", "w" );//以可寫方式打開一個文件，如果不存在就創(chuàng)建一個同名文件
09 assert( fp ); //所以這里不會出錯
10 fclose( fp );
11
12 fp = fopen("noexitfile.txt", "r" );//以只讀方式打開一個文件，如果不存在就打開文件失敗
13 assert( fp ); //所以這里出錯
14 fclose( fp ); //程序永遠(yuǎn)都執(zhí)行不到這里來
15
16 return 0;
17 }
使用assert的缺點是，頻繁的調(diào)用會極大的影響程序的性能，增加額外的開銷。
在調(diào)試結(jié)束后，可以通過在包含#include 的語句之前插入 #define NDEBUG 來禁用assert調(diào)用，示例代碼如下：
顯示代碼打印1 #include
2 #define NDEBUG
3 #include
用法總結(jié)與注意事項：
1)在函數(shù)開始處檢驗傳入?yún)?shù)的合法性
如:
顯示代碼打印01 int resetBufferSize(int nNewSize)
02 {
03 //功能:改變緩沖區(qū)大小,
04 //參數(shù):nNewSize 緩沖區(qū)新長度
05 //返回值:緩沖區(qū)當(dāng)前長度
06 //說明:保持原信息內(nèi)容不變 nNewSize<=0表示清除緩沖區(qū)
07 assert(nNewSize >= 0);
08 assert(nNewSize <= MAX_BUFFER_SIZE);
09
10 ...
11 }
2)每個assert只檢驗一個條件,因為同時檢驗多個條件時,如果斷言失敗,無法直觀的判斷是哪個條件失敗
不好: assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);
好: assert(nOffset >= 0);
assert(nOffset+nSize <= m_nInfomationSize);
3)不能使用改變環(huán)境的語句,因為assert只在DEBUG個生效,如果這么做,會使用程序在真正運行時遇到問題
錯誤: assert(i++ < 100)
這是因為如果出錯，比如在執(zhí)行之前i=100,那么這條語句就不會執(zhí)行，那么i++這條命令就沒有執(zhí)行。
正確: assert(i < 100)
i++;
4)assert和后面的語句應(yīng)空一行,以形成邏輯和視覺上的一致感
5)有的地方,assert不能代替條件過濾
#C++
程序一般分為Debug 版本和Release 版本，Debug 版本用于內(nèi)部調(diào)試，Release 版本發(fā)行給用戶使用。斷言assert 是僅在Debug 版本起作用的宏，它用于檢查“不應(yīng)該”發(fā)生的情況。以下是一個內(nèi)存復(fù)制程序，在運行過程中，如果assert 的參數(shù)為假，那么程序就會中止（一般地還會出現(xiàn)提示對話，說明在什么地方引發(fā)了assert）。
顯示代碼打印01 //復(fù)制不重疊的內(nèi)存塊
02 void memcpy(void *pvTo, void *pvFrom, size_t size)
03 {
04 void *pbTo = (byte *) pvTo;
05 void *pbFrom = (byte *) pvFrom;
06 assert( pvTo != NULL && pvFrom != NULL );
07 while(size - - > 0 )
08 *pbTo + + = *pbFrom + + ;
09 return (pvTo);
10 }
assert 不是一個倉促拼湊起來的宏，為了不在程序的Debug 版本和Release 版本引起差別，assert 不應(yīng)該產(chǎn)生任何副作用。所以assert 不是函數(shù)，而是宏。程序員可以把assert 看成一個在任何系統(tǒng)狀態(tài)下都可以安全使用的無害測試手段。
很少有比跟蹤到程序的斷言，卻不知道該斷言的作用更讓人沮喪的事了。你化了很多時間，不是為了排除錯誤，而只是為了弄清楚這個錯誤到底是什么。有的時候，程序員偶爾還會設(shè)計出有錯誤的斷言。所以如果搞不清楚斷言檢查的是什么，就很難判斷錯誤是出現(xiàn)在程序中，還是出現(xiàn)在斷言中。幸運的是這個問題很好解決，只要加上清晰的注釋即可。這本是顯而易見的事情，可是很少有程序員這樣做。這好比一個人在森林里，看到樹上釘著一塊“危險”的大牌子。但危險到底是什么？樹要倒？有廢井？有野獸？除非告訴人們“危險”是什么，否則這個警告牌難以起到積極有效的作用。難以理解的斷言常常被程序員忽略，甚至被刪除。 [Maguire 1993]
以下是使用斷言的幾個原則：
（1）使用斷言捕捉不應(yīng)該發(fā)生的非法情況。不要混淆非法情況與錯誤情況之間的區(qū)別，后者是必然存在的并且是一定要作出處理的。
（2）使用斷言對函數(shù)的參數(shù)進(jìn)行確認(rèn)。
（3）在編寫函數(shù)時，要進(jìn)行反復(fù)的考查，并且自問：“我打算做哪些假定？”一旦確定了的
假定，就要使用斷言對假定進(jìn)行檢查。
（4）一般教科書都鼓勵程序員們進(jìn)行防錯性的程序設(shè)計，但要記住這種編程風(fēng)格會隱瞞錯誤。當(dāng)進(jìn)行防錯性編程時，如果“不可能發(fā)生”的事情的確發(fā)生了，則要使用斷言進(jìn)行報警。
ASSERT ()是一個調(diào)試程序時經(jīng)常使用的宏，在程序運行時它計算括號內(nèi)的表達(dá)式，如果表達(dá)式為FALSE (0), 程序?qū)蟾驽e誤，并終止執(zhí)行。如果表達(dá)式不為0，則繼續(xù)執(zhí)行后面的語句。這個宏通常原來判斷程序中是否出現(xiàn)了明顯非法的數(shù)據(jù)，如果出現(xiàn)了終止程序以免導(dǎo)致嚴(yán)重后果，同時也便于查找錯誤。
ASSERT只有在Debug版本中才有效，如果編譯為Release版本則被忽略。
---------------------------------------------------------------
ASSERT宏定義如下
顯示代碼打印1 #define ASSERT(f)
2 do
3 {
4 if (!(f) && AfxAssertFailedLine(THIS_FILE, __LINE__))
5 AfxDebugBreak();
6 } while (0)
ASSERT(邏輯表達(dá)式)
如果括號中的邏輯表達(dá)式值為假的話，會彈出調(diào)試命令窗口，提示具體在哪個文件的哪一行發(fā)生了斷言錯誤！
---------------------------------------------------------------
ASSERT
Evaluates an expression, and displays a diagnostic message if the expression is FALSE. Ignored in retail builds.
Syntax
ASSERT(
cond
);
Parameters
cond
Expression to evaluate.
Remarks
In debug builds, if the expression is FALSE, this macro displays a message box with the text of the expression, the name of the source file, and the line number. The user can ignore the assertion, enter the debugger, or quit the application.
Example
ASSERT(rtStartTime <= rtEndTime);
---------------------------------------------------------------
斷言(ASSERT)的使用，方法很簡單。為什么要用，初學(xué)者可能比較迷惑。
契約式編程講的比較清楚，建議可以先看看這類書。
一個函數(shù)由前置條件、后置條件和不變式組成。在VC中，我們可以通過斷言來保證這三個條件。可以大大提高了軟件的質(zhì)量。
---------------------------------------------------------------
如果ASSERT()中的條件不成立(比如 ASSERT(0) ; ),會彈出一個比較嚇人的對話框。
點擊重試，可以到達(dá) ASSERT 斷言不成立的那一行，
此時可以在watch窗口查看變量值，找出出錯的原因。
如果程序能夠繼續(xù)運行，可以按F5繼續(xù)調(diào)試。