try catch throw用法

原貼：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