斷言assert是僅在Debug版本起作用的宏，它用于檢查“不應該”發(fā)生的情況。以下是一個內(nèi)存復制程序，在運行過程中，如果assert的參數(shù)為假，那么程序就會中止（一般地還會出現(xiàn)提示對話，說明在什么地方引發(fā)了assert）。

斷言assert是宏，不是函數(shù)，不存在包含在哪個庫中的問題。

assert不是一個倉促拼湊起來的宏，為了不在程序的Debug版本和Release版本引起差別，assert不應該產(chǎn)生任何副作用。所以assert不是函數(shù)，而是宏。程序員可以把assert看成一個在任何系統(tǒng)狀態(tài)下都可以安全使用的無害測試手段。 

擴展資料

以下是使用斷言的幾個原則： 

1）使用斷言捕捉不應該發(fā)生的非法情況。不要混淆非法情況與錯誤情況之間的區(qū)別，后者是必然存在的并且是一定要作出處理的。 

2）使用斷言對函數(shù)的參數(shù)進行確認。 

3）在編寫函數(shù)時，要進行反復的考查，并且自問：“我打算做哪些假定？”一旦確定了的假定，就要使用斷言對假定進行檢查。 

4）一般教科書都鼓勵程序員們進行防錯性的程序設(shè)計，但要記住這種編程風格會隱瞞錯誤。當進行防錯性編程時，如果“不可能發(fā)生”的事情的確發(fā)生了，則要使用斷言進行報警。

斷言assert是一個宏，該宏在＜assert＞中，，當使用assert時候，給他個參數(shù)，即一個判讀為真的表達式。預處理器產(chǎn)生測試該斷言的代碼，如果斷言不為真，則發(fā)出一個錯誤信息告訴斷言是什么以及它失敗一會，程序會終止。
我們一般可以用在判斷某件操作是否成功上。
摘錄林銳博士高質(zhì)量編程一書中相關(guān)內(nèi)容。

~~~~~~~~~~~~~~~~~~~~~~~~
程序一般分為Debug版本和Release版本，Debug版本用于內(nèi)部調(diào)試，Release版本發(fā)行給用戶使用。
斷言assert是僅在Debug版本起作用的宏，它用于檢查“不應該”發(fā)生的情況。以下是一個內(nèi)存復制程序，在運行過程中，如果assert的參數(shù)為假，那么程序就會中止（一般地還會出現(xiàn)提示對話，說明在什么地方引發(fā)了assert）。
//復制不重疊的內(nèi)存塊
void memcpy(void *pvTo, void *pvFrom, size_t size)
{
void *pbTo = (byte *) pvTo;
void *pbFrom = (byte *) pvFrom;
assert( pvTo != NULL && pvFrom != NULL );
while(size - - > 0 )
*pbTo + + = *pbFrom + + ;
return (pvTo);
}
assert不是一個倉促拼湊起來的宏，為了不在程序的Debug版本和Release版本引起差別，assert不應該產(chǎn)生任何副作用。所以assert不是函數(shù)，而是宏。程序員可以把assert看成一個在任何系統(tǒng)狀態(tài)下都可以安全使用的無害測試手段。
以下是使用斷言的幾個原則：
1）使用斷言捕捉不應該發(fā)生的非法情況。不要混淆非法情況與錯誤情況之間的區(qū)別，后者是必然存在的并且是一定要作出處理的。
2）使用斷言對函數(shù)的參數(shù)進行確認。
3）在編寫函數(shù)時，要進行反復的考查，并且自問：“我打算做哪些假定？”一旦確定了的假定，就要使用斷言對假定進行檢查。
4）一般教科書都鼓勵程序員們進行防錯性的程序設(shè)計，但要記住這種編程風格會隱瞞錯誤。當進行防錯性編程時，如果“不可能發(fā)生”的事情的確發(fā)生了，則要使用斷言進行報警。