轉載自:
http://blog.csdn.net/sky04/article/details/6536011
要防止因為異常產生的內存泄漏,可以使用智能指針,也可以用
__try
{
}
__finally
{
}
《Windows核心編程》一書第23~25章是很好的參考資料。
----------------------------------------------------
try,catch,throw:
try包含你要防護的代碼,稱為防護塊. 防護塊如果出現異常,會自動生成異常對象并拋出.
catch捕捉特定的異常,并在其中進行適當處理.
throw可以直接拋出/產生異常,導致控制流程轉到catch塊.
重要觀點: C++中異常是用對象來表示的,稱為異常對象.
基本格式:
try { your code; }
catch(T1 t1) //T1可以是任意類型,int,char, CException...
{ /*T1指定了你要捕捉的異常的類型,t1指定了異常 對象的名稱,當有異常拋出,異常對象將被復制到t1 中,這樣你就可以在本處理塊中使用該對象,獲取相關 信息,進行適當處理. 處理代碼;*/}
catch(T2* pt1)
//上面的catch是值傳遞,這里使用指針傳遞.
{ 處理代碼; }
catch(...)
//...是捕捉任意類型的異常.
{ 處理代碼; }
//其他代碼;
/*某個catch執行完,就跳轉到這里繼續執行. 在沒有使用C++異常處理的情況下,如果在 此之前出現異常,則//這里的其他代碼不會被執行 從而造成問題.請考慮在這里放置: delete pobj1; 如果不使用用try,catch機制,內存泄漏是必然的, 因為出現問題后,執行流程無法跳轉到這里. */
/*說明: try{}之后可以跟任意個catch塊. 發生異常后,會生成臨時的異常對象,進行一些自動處理之后,程序流程跳轉到后面的catch(),逐個檢查這些catch(),如果與catch() 中指定的類型一致,則將對象拷貝給catch參數中的對象, 接著執行該catch塊中的代碼,然后跳過其他所有剩下的catch, 繼續執行后續的代碼.
上面所說的自動處理指的是堆棧回退,說白了就是為函數中的局部對象調用析構函數,保證這些局部對象行為良好. */
catch()的順序通常按照:從特殊到一般的順序: catch(Tsub o){} catch(Tbase o){} catch(...){} 如果第一個catch為catch(Tbase){},則它將捕捉其所有派生類的 異常對象. 如果第一個catch為catch(...){},則其后的所有catch永遠不可能 被執行.
重新拋出異常: 從上面的處理機制可以看到,只有一個catch可能被執行, 如果一個catch被執行,其他后續的catch就會被跳過了. 有時候一個catch中可能無法完成異常的全部處理,需要將 異常提交給更高的層,以期望得到處理.重新拋出異常實現 了這種可能性. 語法: throw ; 空的throw語句,只能在catch中使用. 它重新拋出異常對象,其外層的catch可能可以捕捉這個重新拋出的異常并做適當處理.
---------------------------------------------------------------------------------------------------------
1、基礎介紹
try
{
//程序中拋出異常
throw value;
}
catch(valuetype v)
{
//例外處理程序段
}
語法小結:throw拋出值,catch接受,當然,throw必須在“try語句塊”中才有效。
2、深入throw:
(i)、程序接受到throw語句后就會自動調用析構器,把該域(try后的括號內)對象clean up,然后再進
入catch語句(如果在循環體中就退出循環)。
這種機制會引起一些致命的錯誤,比如,當“類”有指針成員變量時(又是指針!),在 “類的構建器
”中的throw語句引起的退出,會導致這個指針所指向的對象沒有被析構。這里很基礎,就不深入了,提
示一下,把指針改為類就行了,比如模板類來代替指針,在模板類的內部設置一個析構函數。
(ii)、語句“throw;”拋出一個無法被捕獲的異常,即使是catch(...)也不能捕捉到,這時進入終止函數
,見下catch。
3、深入catch:
一般的catch出現的形式是:
try{}
catch(except1&){}
catch(except2&){}
catch(...){} //接受所有異常
一般都寫成引用(except1&),原因很簡單,效率。
問題a:拋出異常,但是catch不到異常怎么辦?(注意沒有java類似的finally語句)
在catch沒有捕獲到匹配的異常的時候,會調用默認的終止函數。可以調用set_terminate()來設置終止函數,參數是一個函數指針,類型是:void (*terminate)()。
到這里,可以題個問題:“沒有try-catch,直接在程序中"throw;",會怎么樣?”
其他一些技巧:
4、try一個函數體,形式如下
void fun(type1,type2) try----try放在函數體后
{
函數定義
}
catch(typeX){}
這個用法的效果就相當于:
void fun()
{
try{函數定義}
}
5、throw一個函數體,形式如下:
void fun (); // 能拋出任何類型的異常
void fun () throw(except1,except2,except3)
// 后面括號里面是一個異常參數表,本例中只能拋出這3中異常
void fun () throw() // 參數表為空,不能拋出異常
問題b:假設fun()中拋出了一個不在“異常參數表”中的異常,會怎么樣?
答:調用set_terminate()中設定的終止函數。然而,這只是表面現象,實際上是調用默認的unexpected()函數,然而這個默認的 unexpected()調用了set_terminate()中設定的終止函數。可以用set_unexpected()來設置unexpected, 就像set_terminate()一樣的用法,但是在設定了新的“unexpected()”之后,就不會再調用set_terminater中設定的 終止函數了。
這個語法是很有用的,因為在用別人的代碼時,不知道哪個地方會調用什么函數又會拋出什么異常,用一個異常參數表在申明時限制一下,很實用。
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
try{} catch(…){}
以前都是用try{} catch(…){}來捕獲C++中一些意想不到的異常,今天看了Winhack的帖子才知道,這種方法在VC中其實是靠不住的。例如下面的代碼:
- try
- {
- BYTE*pch;
- pch=( BYTE*)00001234; // 給予一個非法地址
- *pch=6;// 對非法地址賦值,會造成Access Violation 異常
- }
- catch(...)
- {
- AfxMessageBox( "catched");
- }
這段代碼在debug下沒有問題,異常會被捕獲,會彈出”catched”的消息框。但在Release方式下如果選擇了編譯器代碼優化選項,則VC編譯器會去搜索try塊中的代碼, 如果沒有找到throw代碼,他就會認為try catch結構是多余的, 給優化掉。這樣造成在Release模式下,上述代碼中的異常不能被捕獲,從而迫使程序彈出錯誤提示框退出。
那么能否在release代碼優化狀態下捕獲這個異常呢, 答案是有的。 就是__try, __except結構,上述代碼如果改成如下代碼異常即可捕獲。
- __try
- {
- BYTE*pch;
- pch=( BYTE*)00001234; // 給予一個非法地址
- *pch=6;// 對非法地址賦值,會造成Access Violation 異常
- }
- __except( EXCEPTION_EXECUTE_HANDLER)
- {
- AfxMessageBox( "catched");
- }
但是用__try, __except塊還有問題, 就是這個不是C++標準, 而是Windows平臺特有的擴展。而且如果在使用過程中涉及局部對象析構函數的調用,則會出現C2712的編譯錯誤。 那么還有沒有別的辦法呢?
當然有, 就是仍然使用C++標準的try{}catch(..){}, 但在編譯命令行中加入 /EHa的參數。這樣VC編譯器不會把try catch模塊給優化掉了。
一篇比較好的英文文章談這個問題: http://members.cox.net/doug_web/eh.htm