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