斷言assert是乙個巨集

斷言assert是乙個巨集，該巨集在＜assert＞中，，當使用assert時候，給他個引數，即乙個判讀為真的表示式。預處理器產生測試該斷言的**，如果斷言不為真，則發出乙個錯誤資訊告訴斷言是什麼以及它失敗一會，程式會終止。我們一般可以用在判斷某件操作是否成功上。

以下是乙個記憶體複製程式，在執行過程中，如果assert的引數為假，那麼程式就會中止（一般地還會出現提示對話，說明在什麼地方引發了assert）。

//複製不重疊的記憶體塊

void memcpy(void *pvto, void *pvfrom, size_tsize)

assert不是乙個倉促拼湊起來的巨集，為了不在程式的debug版本和release版本引起差別，assert不應該產生任何***。所以assert不是函式，而是巨集。程式設計師可以把assert看成乙個在任何系統狀態下都可以安全使用的無害測試手段。

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

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

2）使用斷言對函式的引數進行確認。

3）在編寫函式時，要進行反覆的考查，並且自問：「我打算做哪些假定？」一旦確定了的假定，就要使用斷言對假定進行檢查。

4）一般教科書都鼓勵程式設計師們進行防錯性的程式設計，但要記住這種程式設計風格會隱瞞錯誤。當進行防錯性程式設計時，如果「不可能發生」的事情的確發生了，則要使用斷言進行報警。