让我们声明一个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()
由于Option不是GenTraversableOnce的子类型,我认为这必须与implicits有关,但我无法弄清楚究竟是什么 . 我正在使用Scala 2.9.1 .
1 回答
隐式转换Option.option2Iterable使
List(1).flatMap(optional)
和List(1).flatMap(optional2(_))
工作 .您的问题可归结为隐式转换未被提取:
使用下划线时,编译器会尝试键入函数并提供必要的隐式转换 . 当您只提供optional2时,没有适用的隐式转换 .