以C++語言標準委員會現(xiàn)主席Herb Sutter老兄以及他編寫的Exceptional系列（已出版的包括：《Exceptional C++》、《More Exceptional C++》、以及《Exceptional C++ Style》）為甚。。

主動調(diào)試和契約編程相輔相成，共同保證軟件開發(fā)的質(zhì)量。契約編程相當于經(jīng)濟生活中簽訂的各種合同，而主動調(diào)試相當于某方不遵守合同時采取的法律懲罰措施。
各種開發(fā)語言和開發(fā)工具都提供這些調(diào)試語句，標準C++提供了assert函數(shù)，MFC提供了ASSERT調(diào)試宏幫助我們進行主動調(diào)試，在實際工作中，建議統(tǒng)一使用MFC的ASSERT調(diào)試宏。

參數(shù)檢查
對于編寫的函數(shù)，除了明確的指定契約外，在函數(shù)開始處應該對傳入的參數(shù)進行檢查，確保非法參數(shù)傳入時立即報告錯誤信息。例如：

BOOL GetPathItem ( int i , LPTSTR szItem , int iLen )  
{  
ASSERT ( i > 0 ) ;  
ASSERT ( NULL != szItem ) ;  
ASSERT ( ( iLen > 0 ) && ( iLen < MAX_PATH ) ) ;  
ASSERT ( FALSE == IsBadWriteStringPtr ( szItem , iLen ) ) ;  
} 

這樣的檢查只能夠排除指針為空的情況，但是如果指針指向的是非法地址，或者指針指向的對象并不是我們需要的類型，上面的例子就沒有辦法檢查出來，而是統(tǒng)統(tǒng)認為是正確的。完整的檢查應該如下：

// An example of checking only a part of the error condition  
BOOL EnumerateListItems ( PFNELCALLBACK pfnCallback )  
{  
ASSERT ( NULL != pfnCallback ) ;  
 
} 

恰當?shù)卦诖a中使用ASSERT，對bug檢測和提高調(diào)試效率有極大的幫助，下面舉個簡單的例子加以說明。

switch( nType )  
{  
case GK_ENTITY_POINT:  
// do something  
break;  
case GK_ENTITY_PLINE:  
// do something  
break;  
default:  
ASSERT( 0 );  
} 

在上面的例子中，switch語句僅僅處理了GK_ENTITY_POINT和GK_ENTITY_PLINE兩種情況，應該是系統(tǒng)中當時只需要處理這兩種情況，但是如果后期系統(tǒng)需要處理更多的情況，而此時上面這部分代碼又沒有及時更新，或者是因為開發(fā)人員一時疏忽遺漏了。

一個可能導致系統(tǒng)錯誤或者崩潰的bug就出現(xiàn)了，而使用ASSERT可以及時地提醒開發(fā)人員他的疏忽，盡可能快的消滅這個bug。還有一些情況，在開發(fā)人員編寫代碼時，如果能夠確信在某一點出現(xiàn)情況A就是錯誤的，那么就可以在該處加上ASSERT，排除情況A。#t#

綜上所述，恰當、靈活的使用ASSERT進行主動調(diào)試，能夠極大提高程序的穩(wěn)定性和安全性，減少調(diào)試時間，提高工作效率。綜上所述，恰當、靈活的使用ASSERT進行主動調(diào)試，能夠極大提高程序的穩(wěn)定性和安全性，減少調(diào)試時間，提高工作效率。