# 15.3 構建自防御的程序 通常一個缺陷在導致其產生的邏輯錯誤產生很久以后才會表現出來.如果一個異常的或者不正確的值沒有被及時檢測到,那么通常在應用程序又執行了幾千行代碼以后,應用程序才會崩潰或者作出令人費解的表現.為解決這樣的問題你可能要花上很長的時間.但是,如果你在你的代碼中增加一些普通的檢查,來檢測函數的某個地方出現了錯誤的值,那么你的代碼將最終變得非常強壯,你將可能避免你和你的用戶陷入到大麻煩中去.這就是所謂的自防御程序.你的代碼可以防止自己被別的代碼或者自己內部的某些錯誤邏輯搞的一團糟.因為大多數的這些檢測在正式發布版中都將被移除,因此,它們占用的系統開銷幾乎可以忽略不計. 正如你期待的那樣,wxWidgets在其內部使用了大量的錯誤檢測代碼,你可以在你的代碼中直接使用這些宏.這些宏主要分為三類,每一類都有多種形式:第一類是wxASSERT,如果它的參數不等于True,它將顯示一個錯誤信息.這種檢測僅存在于調試版本中.wxFAIL則將使用產生一個錯誤信息,其作用相當于wxASSERT(false).它也僅會存在于調試版本中.wxCHECK則判斷條件是否成立,如果不成立則返回某個值并顯示錯誤信息.和前面兩種不同的是,在正式版本中,wxCHECK的代碼仍然有效,但是將不顯示任何消息. 下面的例子演示了怎樣使用這些宏: ``` // 兩個正數相加 int AddPositive(int a, int b) { // 檢查是否為一個正數 wxASSERT(a > 0); // 檢查是否位一個正數,顯示定制的消息 wxASSERT_MSG(b > 0, wxT("The second number must be positive!")); int c = a + b; // 如果相加的結果不為正數,顯示一個錯誤的消息并且返回-1. wxCHECK_MSG(c > 0, -1, wxT("Result must be positive!")); return c; } ``` 你還可以使用wxCHECK2和wxCHECK2_MSG宏,這兩個宏在條件不滿足的時候可以執行任意的操作而不僅僅是設置一個返回值. 而wxCHECK_RET則可以被用在沒有返回值(void)的函數中.另外一些不太常用的宏包括wxCOMPILE_TIME_ASSERT和 wxASSERT_MIN_BITSIZE等,請參考wxWidgets的相關手冊. 下圖演示了一個斷言不滿足時顯示消息的對話框的樣子,在這個對話框上有三個按鈕,Yes按鈕停止當前程序的運行,No按鈕則忽略這個斷言失敗,而Cancel按鈕則表示以后的斷言失敗都不需要顯示.如果程序正運行在某個調試器中,則程序終止運行將返回到調試器中,你可以打印出當前的函數調用堆棧,進而可以知道斷言失敗的準確位置以及當時各個參數的值.