Phương pháp so Chức năng và implicits trong Scala

Question

Hãy khai báo một def và một chức năng tương đương như một 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> 

Bây giờ tại sao không làm việc này?

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

Trong khi cả hai việc này đều có hiệu lực?

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

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

Từ Lựa chọn không phải là một subtype của GenTraversableOnce, tôi nghĩ rằng điều này phải có cái gì để làm với implicits, nhưng tôi không thể tìm ra chính xác những gì nó được. Tôi đang sử dụng Scala 2.9.1.

Answer 1

Chuyển đổi ẩn Option.option2Iterable là những gì làm cho công việc List(1).flatMap(optional) và List(1).flatMap(optional2(_)) hoạt động.

vấn đề của bạn có thể được luộc xuống chuyển đổi ngầm không được nhặt:

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] 

Khi bạn sử dụng dấu gạch dưới, trình biên dịch cố gắng gõ chức năng và cung cấp chuyển đổi ngầm cần thiết. Khi bạn chỉ cung cấp tùy chọn2, không có chuyển đổi tiềm ẩn nào được áp dụng.