Catch的返回值

Question

我的應用程序從文件讀取一些配置值。如果在這個過程中有任何錯誤，我想爲這些配置參數設置默認值。我做的是：

val (param1, param2) = { 
    try{ 
    val props = new java.util.Properties 
    props.load(getClass.getResource("/myapp.properties").openStream) 
    (
     props.getProperty("param1", "default1"), 
     props.getProperty("param2", "default2") 
    ) 
    } 
    catch{ 
    case _ => ("default1", "default2") 
    } 
} 

我知道，如預期，如果有一個例外，我在catch塊正在做是行不通的。有沒有辦法解決它？我使用Scala的2.9

Answer 1

這是可行的，但它開闢了一個運行時錯誤的，因爲

val (a,b) = whatever 

的可能性，只要whatever是Tuple2 --in特別是超可稱爲，它可能是AnyRef或Any，這實際上是try/catch返回值將被擴展到如果您有足夠不匹配的類型。您可以通過添加一個類型歸屬確保它是正確的類型：

val (a,b): (A, B) = whatever 

，然後，如果右手邊是不正確的類型，一路經過的try/catch類型檢查會抱怨。

例如：

val (a,b): (String, String) = try { 
    ("perch", if (scala.util.Random.nextBoolean) throw new Exception else "halibut") 
} catch { 
    case e: Exception => ("salmon", "herring") 
} 

如果你試圖"herring"後添加, "cod"你就會得到一個編譯時錯誤。如果重複輸入，這個任務會給你a = perch和b =比目魚一半的時間，a =鮭魚和b =鯡魚另一半。

---

附錄：在2.9（或以下，我想，雖然我還沒有檢查），你必須把類型歸屬的try/catch語句，像這樣：

val (a,b) = (try { 
    ("perch", if (scala.util.Random.nextBoolean) throw new Exception else "halibut") 
} catch { 
    case e: Exception => ("salmon", "herring") 
}): (String, String) 

到得到捕獲的類型檢查。