若要在 C++ 中實現異常處理,你可以使用 try、throw 和 catch 表達式。
首先,使用 try 塊將可能引發異常的一個或多個語句封閉起來。
throw 表達式發出信號,異常條件(通常是錯誤)已在 try 塊中發生。你可以使用任何類型的對象作為 throw 表達式的操作數。該對象一般用于傳達有關錯誤的信息。大多數情況下,建議你使用 std::exception 類或標準庫中定義的派生類之一。如果其中的類不合適,建議你從 std::exception 派生自己的異常類。
若要處理可能引發的異常,請在 try 塊之后立即實現一個或多個 catch 塊。每個 catch 塊指定它能處理的異常類型。
以下示例將顯示 try 塊及其處理程序。假設 GetNetworkResource() 通過網絡連接獲取數據,并且兩個異常類型是從 std::exception 派生的用戶定義的類。請注意,異常由 catch 語句中的 const 引用捕獲。我們建議你通過值引發異常并通過常數引用將其捕獲。
MyData md;try { // Code that could throw an exception md = GetNetworkResource();}catch (const networkIOException& e) { // Code that executes when an exception of type // networkIOException is thrown in the try block // ... // Log error message in the exception object cerr << e.what();}catch (const myDataFormatException& e) { // Code that handles another exception type // ... cerr << e.what();}// The following syntax shows a throw expressionMyData GetNetworkResource(){ // ... if (IOSuccess == false) throw networkIOException("Unable to connect"); // ... if (readError) throw myDataFormatException("Format error"); // ...}
備注
try 子句后的代碼是代碼的受保護部分。 throw 表達式將引發(即引起)異常。 catch 子句后的代碼塊是異常處理程序。如果 throw 和 catch 表達式中的類型兼容,該處理程序將捕獲引發的異常。有關管理 catch 塊中類型匹配的規則的列表,請參閱Catch 塊的計算方式 (C++)。如果 catch 語句指定省略號 (...) 而非類型,catch 塊將處理每種類型的異常。當你使用 /EHa 選項編譯時,異??砂?C 結構化異常和系統生成或應用程序生成的異步異常,例如內存保護、被零除和浮點沖突。由于 catch 塊按編程順序處理以查找匹配類型,所以盡量不要使用省略號處理程序來處理關聯的 try 塊。請謹慎使用 catch(...);除非 catch 塊知道如何處理捕獲的特定異常,否則禁止程序繼續執行。 catch(...) 塊一般用于在程序停止執行前記錄錯誤和執行特殊的清理工作。
沒有操作數的 throw 表達式將重新引發當前正在處理的異常。我們建議在重新引發異常時采用該形式,是因為這將保留原始異常的多態類型信息。此類表達式只應在 catch 處理程序中或從 catch 處理程序調用的函數中使用。重新引發的異常對象是原始異常對象,而不是副本。
try { throw CSomeOtherException();}catch(...) { // Catch all exceptions – dangerous!!! // Respond (perhaps only partially) to the exception, then // re-throw to pass the exception to some other handler // ... throw;}
Catch 塊的計算方式 (C++)
雖然通常建議您引發派生自 std::exception 的類型,但 C++ 使您能夠引發任何類型的異常??梢酝ㄟ^指定與引發的異常相同的類型的 catch 處理程序或通過可捕獲任何類型的異常的處理程序來捕獲 C++ 異常。
如果引發的異常的類型是類,它還具有基類(或類),則它可由接受異常類型的基類和對異常類型的基的引用的處理程序捕獲。請注意,當異常由引用捕獲時,會將其綁定到實際引發的異常對象;否則,它將為一個副本(與函數的參數大致相同)。
引發異常時,將由以下類型的 catch 處理程序捕獲該異常:
- 可以接受任何類型的處理程序(使用省略號語法)。
- 接受與異常對象相同的類型的處理程序;由于它是副本,因此 const 和 volatile 修飾符將被忽略。
- 接受對與異常對象相同的類型的引用的處理程序。
- 接受對與異常對象相同的類型的 const 或 volatile 形式的引用的處理程序。
- 接受與異常對象相同的類型的基類的處理程序;由于它是副本,因此 const 和 volatile 修飾符將被忽略?;惖?catch 處理程序不得位于派生類的 catch 處理程序的前面。
- 接受對與異常對象相同的類型的基類的引用的處理程序。
- 接受與異常對象相同的類型的基類的 const 或 volatile 形式的引用的處理程序。
- 接受可通過標準指針轉換規則將引發的指針對象轉換為的指針的處理程序。
catch 處理程序出現的順序是有意義的,因為給定 try 塊的處理程序按它們的出現順序進行檢查。例如,將基類的處理程序放置在派生類的處理程序的前面是錯誤的。 找到一個匹配的 catch 處理程序后,不會檢查后續處理程序。因此,省略號 catch 處理程序必須是其 try 塊的最后一個處理程序。例如:
// ...try{ // ...}catch( ... ){ // Handle exception here.}// Error: the next two handlers are never examined.catch( const char * str ){ cout << "Caught exception: " << str << endl;}catch( CExcptClass E ){ // Handle CExcptClass exception here.}
在此示例中,省略號 catch 處理程序是已檢查的唯一處理程序。