斯卡拉

Question

使用Option.fold如果有該Option.fold的建設，將使以下None.**.asInstanceOf[Option[String]**不必要的，我不知道什麼時候避免鑄造：

def getHiveDir(sqlc: SQLContext, tname: String, partColVals: Seq[(String, String)]): Option[String] = { 
    getHiveDir(sqlc, tname).fold(None.asInstanceOf[Option[String]]) { tloc => 
      // some stuff 
    } 
    Some(someString) 
} 

目前的情況是上述.asInstanceOf[Option[String]]需要或編譯出現錯誤：None不被識別爲Option[String]

上面的代碼如何重新排列以避免多餘的轉換？

Answer 1

選擇您喜歡的：

scala> Option.empty[String] 
res1: Option[String] = None 

scala> None: Option[String] 
res2: Option[String] = None 

scala> None.asInstanceOf[Option[String]] 
res3: Option[String] = None 

您也可以明確定義的類型參數爲fold：

scala> val o: Option[Int] = None 
o: Option[Int] = None 

scala> o.fold[Option[Int]](None)(_ => Some(2)) 
res5: Option[Int] = None 

有情況下，類型推斷只是還沒有足夠的信息來找出類型。它發生在Haskell等其他語言中。所以常用的方法是指定:的類型，或者像上面例子中那樣顯式傳遞類型參數。

Answer 2

出於完整性：

如果您使用scalaz，你可以簡單地使用none[String]。