Scala 2.9的try ... catch泛化的用例是什麼？

Question

我已閱讀並嘗試過Scala 2.9 try ... catch功能，並讓我思考可能性。除了保存幾行代碼之外，我真的會用它來做什麼？

Scala 2.9 Final Release Notes

Answer 1

用例是能夠有一般錯誤處理整個應用程序。假設您想通過向管理員發送電子郵件來處理應用程序中的所有FileNotFoundException。以前，你必須做這樣的：

// Globally 
val fileNotFound: PartialFunction[Throwable, Unit] = { 
    case e: FileNotFoundException => 
    // Create report and send the e-mail 
} 

// On each try-catch-block 
try { 
    // Open file 
} 
catch { 
    case fnf: FileNotFoundException => fileNotFound(fnf) 
} 

現在你只是做：

try { 
    // Open file 
} catch fileNotFound 

這也有很好的優勢，你可以使用orElse方法鏈接幾個這樣的異常處理程序部分功能：

val fileErrors = fileNotFound orElse endOfFile orElse invalidFormat 

然後只是在需要文件異常處理的地方使用。例如，可以基於應用程序的配置文件動態組合這樣的錯誤處理程序。這比任何地方的模式匹配都要麻煩，並且調用正確的處理程序。

一個有用的東西可以在部分函數之上實現，它是andAlso運算符，它用作兩個部分函數的排序運算符。如果您想在完成通用錯誤處理之後執行特定於某個特定try-catch塊的錯誤處理，這將非常有用。

implicit def pf2ops(pf: PartialFunction[Throwable, Unit]) = new { 
    def andAlso(localpf: PartialFunction[Throwable, Unit]) = new PartialFunction[Throwable, Unit] { 
    def apply(t: Throwable) = { 
     if (pf.isDefinedAt(t)) pf(t) 
     localpf(t) 
    } 
    def isDefinedAt(t: Throwable) = pf.isDefinedAt(t) || localpf.isDefinedAt(t) 
    } 
} 

然後你可以這樣做：

scala> try { 
    | throw new java.io.FileNotFoundException 
    | } catch fnf andAlso { 
    | case e: Exception => println("I don't know, but something is specific to this particular block.") 
    | } 
I don't know, but something is specific to this particular block. 

我想你可以用andAlso確切的語義和意義（和名稱）進一步發揮。

Answer 2

好的回答axel22，但我認爲其引入的真正原因是別的。 try/catch/finally處理介紹了一個特例。您使用了部分函數文字，但您實際上無法用部分函數替換它。現在，catch只是收到一個部分函數，​​在語言中的一個更特殊情況已經消失。