聲明一個方法總是拋出一個異常？

Question

我有一個方法，像...

int f() { 
    try { 
    int i = process(); 
    return i; 
    } catch(Exception ex) { 
    ThrowSpecificFault(ex); 
    } 
} 

這將產生一個編譯器錯誤，「不是所有的代碼路徑返回一個值」。但在我的情況下，ThrowSpecificFault（）將始終拋出（適當的）異常。所以我被迫在最後放置一個返回值，但這很醜陋。

這種模式的目的首先是因爲「process（）」是對外部Web服務的調用，但需要翻譯各種不同的異常以匹配客戶端的預期接口（〜facade pattern我想） 。

任何更乾淨的方式來做到這一點？

Answer 1

我建議你轉換到ThrowSpecificFault(ex)throw SpecificFault(ex); SpecificFault方法將返回拋出異常對象而不是拋出它自己。更乾淨。

這是由Microsoft's guidelines推薦的模式（找到「使用異常生成器方法」文本）。

Answer 2

號

想像一下，如果在ThrowSpecificFault一個單獨的DLL中定義。 如果您修改DLL以避免引發異常，那麼運行您的程序時不要重新編譯它，會發生什麼情況？

Answer 3

這裏的問題是，如果你進入catch塊f()你的函數將永遠不會返回一個值。這會導致錯誤，因爲您將函數聲明爲int，這意味着您告訴編譯器您的方法將返回一個整數。

以下代碼將執行您正在查找的內容並始終返回一個整數。

int f() { 
    int i = 0; 
    try { 
    i = process(); 

    } catch(Exception ex) { 
    ThrowSpecificFault(ex); 
    } 
    return i; 
} 

把return語句放在函數的末尾，你會沒事的。

無論您的應用程序執行哪條執行路徑，確保您的方法始終會返回一個值總是一個好主意。

Answer 4

如何：

int f() { 
int i = -1; 
try { 
    i = process();  
} catch(Exception ex) { 
    ThrowSpecificFault(ex); 
} 
return i; 
} 

Answer 5

你有三個選擇：

總是返回我，但前聲明它：

int f() { 
    int i = 0; // or some other meaningful default 
    try { 
     i = process(); 
    } catch(Exception ex) { 
     ThrowSpecificFault(ex); 
    } 
    return i; 
} 

返回從方法異常，並拋出：

int f() { 
    try { 
     int i = process(); 
     return i; 
    } catch(Exception ex) { 
     throw GenerateSpecificFaultException(ex); 
    } 
} 

或者創建一個自定義的Exception類並拋出：

int f() { 
    try { 
     int i = process(); 
     return i; 
    } catch(Exception ex) { 
     throw new SpecificFault(ex); 
    } 
} 

Answer 6

是的。

不要指望ThrowSpecificFault（）拋出異常。讓它返回異常，然後把它扔到這裏。

它實際上更有意義。您不會爲「正常」流程使用異常，因此如果每次都拋出異常，則異常將成爲規則。在功能創建特定的異常，並在這裏把它，因爲它是一個例外，這裏的流量..

Answer 7

我想你可以做ThrowSpecificFault返回一個對象，然後你可以

return ThrowSpecificFault(ex)

否則，您可以將ThrowSpecificFault重寫爲Exception子類型的構造函數，也可以將ThrowSpecificFault創建爲創建該異常但不拋出異常的工廠。

Answer 8

你可以這樣做：

catch (Exception ex) 
{ 
    Exception e = CreateSpecificFault(ex); 
    throw e; 
} 

Answer 9

在你的情況下，但是這是你的知識不是編譯器。現在有方法可以肯定這種方法肯定會拋出一些令人討厭的異常。

試試這個

int f() { 
    try { 
    return process(); 
    } catch(Exception ex) { 
    ThrowSpecificFault(ex); 
    } 
    return -1; 
} 

您也可以使用throw關鍵字

int f() { 
    try { 
    return process(); 
    } catch(Exception ex) { 
    throw ThrowSpecificFault(ex); 
    } 
} 

但隨後這個方法應該返回一些異常，而不是把它扔的。

Answer 10

使用Unity.Interception來清理代碼。隨着攔截處理，你的代碼看起來是這樣的：

int f() 
{ 
    // no need to try-catch any more, here or anywhere else... 
    int i = process(); 
    return i; 
} 

所有你需要在下一步要做的就是定義一個攔截處理程序，它可以對異常處理度身訂製。使用這個處理程序，您可以處理在您的應用程序中拋出的所有異常。好處是你不再需要用try-catch塊來標記你的所有代碼。

public class MyCallHandler : ICallHandler, IDisposable 
{ 
    public IMethodReturn Invoke(IMethodInvocation input, 
     GetNextHandlerDelegate getNext) 
    { 
     // call the method 
     var methodReturn = getNext().Invoke(input, getNext); 

     // check if an exception was raised. 
     if (methodReturn.Exception != null) 
     { 
      // take the original exception and raise a new (correct) one... 
      CreateSpecificFault(methodReturn.Exception); 

      // set the original exception to null to avoid throwing yet another 
      // exception 
      methodReturn.Exception = null; 
     } 

     // complete the invoke... 
     return methodReturn; 
    } 
} 

向處理程序註冊類可以通過配置文件或編程方式完成。代碼非常簡單。註冊後，您實例使用Unity你的對象，像這樣：

var objectToUse = myUnityContainer.Resolve<MyObjectToUse>(); 

更多Unity.Interception：

http://msdn.microsoft.com/en-us/library/ff646991.aspx

Answer 11

現在返回類型可以是一個類型，或「無效」的意思「無返回類型」。理論上我們可以添加第二個特殊返回類型「never」，它具有您想要的語義。一個表達式語句的結束點由一個對「never」返回方法的調用組成，將被認爲是無法訪問的，因此在C＃中的每個上下文中「goto」，「throw」或「return」合法的都是合法的。

現在很可能不會將它添加到類型系統中，十年以後。下次從零開始設計類型系統時，請記住包含「從不」類型。