何時(shí)需要使用斷言

1.可以在預(yù)計(jì)正常情況下程序不會(huì)到達(dá)的地方放置斷言：ASSERT( FALSE );
2.斷言可以用于檢查傳遞給私有方法的參數(shù)。（對(duì)于公有方法，因?yàn)槭翘峁┙o外部的接口，所以必須在方法中有相應(yīng)的參數(shù)檢驗(yàn)才能保證代碼的健壯性）
3.使用斷言測(cè)試方法執(zhí)行的前置條件和后置條件
4.使用斷言檢查類的不變狀態(tài)，確保任何情況下，某個(gè)變量的狀態(tài)必須滿足。（如age屬性應(yīng)大于0小于某個(gè)合適值）


什么地方不要使用斷言

斷言語(yǔ)句不是永遠(yuǎn)會(huì)執(zhí)行，可以屏蔽也可以啟用
因此：
1.不要使用斷言作為公共方法的參數(shù)檢查，公共方法的參數(shù)永遠(yuǎn)都要執(zhí)行
2.斷言語(yǔ)句不可以有任何邊界效應(yīng)，不要使用斷言語(yǔ)句去修改變量和改變方法的返回值

ASSERT()是干什么用的

  ASSERT()是一個(gè)調(diào)試程序時(shí)經(jīng)常使用的宏，在程序運(yùn)行時(shí)它計(jì)算括號(hào)內(nèi)的表達(dá)式，如果表達(dá)式為FALSE (0), 程序?qū)?bào)告錯(cuò)誤，并終止執(zhí)行。如果表達(dá)式不為0，則繼續(xù)執(zhí)行后面的語(yǔ)句。這個(gè)宏通常原來判斷程序中是否出現(xiàn)了明顯非法的數(shù)據(jù)，如果出現(xiàn)了終止程序以免導(dǎo)致嚴(yán)重后果，同時(shí)也便于查找錯(cuò)誤。例如，變量n在程序中不應(yīng)該為0，如果為0可能導(dǎo)致錯(cuò)誤，你可以這樣寫程序：
    ......
    ASSERT( n != 0);
    k = 10/ n;
    ......
    ASSERT只有在Debug版本中才有效，如果編譯為Release版本則被忽略。
    assert()的功能類似，它是ANSI C標(biāo)準(zhǔn)中規(guī)定的函數(shù)，它與ASSERT的一個(gè)重要區(qū)別是可以用在Release版本中。