方法對戰功能和implicits在斯卡拉

Question

讓我們聲明DEF和相同功能的一個VAL：

scala> def optional(x:Int):Option[String] = None 
optional: (x: Int)Option[String] 

scala> val optional2:(Int)=>Option[String] = (i:Int) => None 
optional2: Int => Option[String] = <function1> 

現在爲什麼不工作的呢？

scala> List(1).flatMap(optional2) 
<console>:9: error: type mismatch; 
found : Int => Option[String] 
required: Int => scala.collection.GenTraversableOnce[?] 
       List(1).flatMap(optional2) 
          ^

雖然這兩個呢？

scala> List(1).flatMap(optional) 
res4: List[String] = List() 

scala> List(1).flatMap(optional2(_)) 
res5: List[String] = List() 

由於選項不是GenTraversableOnce的一個亞型，我想這一定有事情做與implicits，但我想不出它到底是什麼。我正在使用Scala 2.9.1。

Answer 1

隱式轉換Option.option2Iterable是什麼使List(1).flatMap(optional)和List(1).flatMap(optional2(_))工作。

您的問題可以歸結爲沒有被拾起的隱式轉換：

scala> val optional2:(Int)=>Option[String] = (i:Int) => None 
optional2: Int => Option[String] = <function1> 

scala> (optional2(_)): Function[Int, Iterable[String]] 
res0: Int => Iterable[String] = <function1> 

scala> (optional2): Function[Int, Iterable[String]] 
<console>:9: error: type mismatch; 
found : Int => Option[String] 
required: Int => Iterable[String] 

當您使用下劃線，編譯器將嘗試輸入功能，並提供必要的隱式轉換。當您僅提供optional2時，不存在適用的隱式轉換。