關於iphone的防錯性編程 使用assert()

assert宏的原型定義在assert.h中，其作用是如果它的條件返回錯誤，則終止程序執行.
　　原型定義: 

1	#include "assert.h"

2	void assert( int expression );

　　assert的作用是現計算表達式 expression ，如果其值爲假（即爲0），那麼它先向stderr打印一條出錯信息,然後通過調用 abort 來終止程序運行。
請看下面的程序清單badptr.c：

01

#include

02

#include

03

#include

04	int main( void )

05

{

06

FILE *fp;

07

08	fp = fopen( "test.txt", "w" );//以可寫方式打開一個文件，如果不存在就創建一個同名文件

09	assert( fp ); //所以這裏不會出錯

10	fclose( fp );

11

12	fp = fopen("noexitfile.txt", "r" );//以只讀方式打開一個文件，如果不存在就打開文件失敗

13	assert( fp ); //所以這裏出錯

14	fclose( fp ); //程序永遠都執行不到這裏來

15

16

return 0;

17

}

　　
　　使用assert的缺點是，頻繁的調用會極大的影響程序的性能，增加額外的開銷。
　　在調試結束後，可以通過在包含#include 的語句之前插入 #define NDEBUG 來禁用assert調用，示例代碼如下： 

1

#include

2	#define NDEBUG

3

#include

用法總結與注意事項：
　　1)在函數開始處檢驗傳入參數的合法性
　　如:
　　

01	int resetBufferSize(int nNewSize)

02

{

03	//功能:改變緩衝區大小,

04	//參數:nNewSize 緩衝區新長度

05	//返回值:緩衝區當前長度

06	//說明:保持原信息內容不變 nNewSize<=0表示清除緩衝區

07	assert(nNewSize >= 0);

08	assert(nNewSize <= MAX_BUFFER_SIZE);

　　
　　2)每個assert只檢驗一個條件,因爲同時檢驗多個條件時,如果斷言失敗,無法直觀的判斷是哪個條件失敗
　　
　　不好: assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);
　　
　　好: assert(nOffset >= 0);
　　assert(nOffset+nSize <= m_nInfomationSize);
　　
　　
　　3)不能使用改變環境的語句,因爲assert只在DEBUG個生效,如果這麼做,會使用程序在真正運行時遇到問題
　　錯誤: assert(i++ < 100)
　　這是因爲如果出錯，比如在執行之前i=100,那麼這條語句就不會執行，那麼i++這條命令就沒有執行。
　　正確: assert(i < 100)
　　 i++;
　　
　　4)assert和後面的語句應空一行,以形成邏輯和視覺上的一致感
　　
　　5)有的地方,assert不能代替條件過濾
　　
　　#C++
　　
　 　程序一般分爲Debug 版本和Release 版本，Debug 版本用於內部調試，Release 版本發行給用戶使用。斷言assert 是僅在 Debug 版本起作用的宏，它用於檢查“不應該”發生的情況。以下是一個內存複製程序，在運行過程中，如果assert 的參數爲假，那麼程序就會中止 （一般地還會出現提示對話，說明在什麼地方引發了assert）。 

01	//複製不重疊的內存塊

02	void memcpy(void *pvTo, void *pvFrom, size_t size)

03

{

04	void *pbTo = (byte *) pvTo;

05	void *pbFrom = (byte *) pvFrom;

06	assert( pvTo != NULL && pvFrom != NULL );

07	while(size - - > 0 )

08	*pbTo + + = *pbFrom + + ;

09	return (pvTo);

10

}

　　
　 　assert 不是一個倉促拼湊起來的宏，爲了不在程序的Debug 版本和Release 版本引起差別，assert 不應該產生任何副作用。所以 assert 不是函數，而是宏。程序員可以把assert 看成一個在任何系統狀態下都可以安全使用的無害測試手段。
　　
　　很少 有比跟蹤到程序的斷言，卻不知道該斷言的作用更讓人沮喪的事了。你化了很多時間，不是爲了排除錯誤，而只是爲了弄清楚這個錯誤到底是什麼。有的時候，程序 員偶爾還會設計出有錯誤的斷言。所以如果搞不清楚斷言檢查的是什麼，就很難判斷錯誤是出現在程序中，還是出現在斷言中。幸運的是這個問題很好解決，只要加 上清晰的註釋即可。這本是顯而易見的事情，可是很少有程序員這樣做。這好比一個人在森林裏，看到樹上釘着一塊“危險”的大牌子。但危險到底是什麼？樹要 倒？有廢井？有野獸？除非告訴人們“危險”是什麼，否則這個警告牌難以起到積極有效的作用。難以理解的斷言常常被程序員忽略，甚至被刪 除。 [Maguire 1993]
　　
　　以下是使用斷言的幾個原則：
　　
　　（1）使用斷言捕捉不應該發生的非法情況。不要混淆非法情況與錯誤情況之間的區別，後者是必然存在的並且是一定要作出處理的。
　　
　　（2）使用斷言對函數的參數進行確認。
　　
　　（3）在編寫函數時，要進行反覆的考查，並且自問：“我打算做哪些假定？”一旦確定了的
　　假定，就要使用斷言對假定進行檢查。
　　
　　（4）一般教科書都鼓勵程序員們進行防錯性的程序設計，但要記住這種編程風格會隱瞞錯誤。當進行防錯性編程時，如果“不可能發生”的事情的確發生了，則要使用斷言進行報警。
 
ASSERT () 是一個調試程序時經常使用的宏，在程序運行時它計算括號內的表達式，如果表達式爲FALSE (0), 程序將報告錯誤，並終止執行。如果表達式不爲0， 則繼續執行後面的語句。這個宏通常原來判斷程序中是否出現了明顯非法的數據，如果出現了終止程序以免導致嚴重後果，同時也便於查找錯誤。 

ASSERT只有在Debug版本中才有效，如果編譯爲Release版本則被忽略。 
---------------------------------------------------------------

ASSERT宏定義如下 

1	#define ASSERT(f)

2

do

3

{

4	if (!(f) && AfxAssertFailedLine(THIS_FILE, __LINE__))

5	AfxDebugBreak();

6	} while (0)

ASSERT(邏輯表達式)

如果括號中的邏輯表達式值爲假的話，會彈出調試命令窗口，提示具體在哪個文件的哪一行發生了斷言錯誤！


 如果ASSERT()中的條件不成立(比如 ASSERT(0) ;     ),會彈出一個比較嚇人的對話框。 

點擊重試，可以到達 ASSERT 斷言不成立的那一行， 

此時可以在watch窗口查看變量值，找出出錯的原因。 

如果程序能夠繼續運行，可以按F5繼續調試。