何時需要使用斷言

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


什么地方不要使用斷言

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

ASSERT()是干什么用的

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