Scala map 函数签名的解释？

Question

此代码将一个函数应用于 Ints 列表，并将选项列表中的每个值设置为 4：

  val l = List(1,2,3,4,5)                         //> l  : List[Int] = 
  val v = 4                                       //> v  : Int = 4
  def g(v:Int) = List(v-1, v, v+1)                //> g: (v: Int)List[Int]
 l map (x => {f(x);})                            //> res0: List[Option[Int]] = List(Some(4), Some(4), Some(4), Some(4), Some(4)) 

地图签名：

   def map[B, That](f: A => B)(implicit bf: CanBuildFrom[Repr, B, That]): That = {

既然 B 是第一个类型参数（在 map[B, That] 中），这是否意味着它的类型为前缀操作数 'l' (List)？

'A' 是如何输入的？ scala 编译器是否以某种方式检查 List 'l' 中的类型并推断其类型为 Int ？

“那个”是怎么打的？

Answer 1

map 在List[A] 中的简单签名是

def map[B](f: (A) ⇒ B): List[B]

这意味着

• A由实际列表的类型参数决定
  • Int 示例列表 l
• B 由作为参数传递的函数f 的目标类型确定
  • Option[Int] 用于示例函数 f: Int -> Option[Int]

扩展签名是

def map[B, That](f: A => B)(implicit bf: CanBuildFrom[Repr, B, That]): That

存在这样您就可以在可以以某种方式遍历的容器之间进行通用映射，即使目标 traversable 的形式与原始形式不同。

一个具体的例子是遍历一个Map作为Pairs的容器， 使用产生单个值的映射函数。所结果的 traversable 不再是 Map，所以 CanBuildFrom 隐含 参数用于为 结果对象。

在这个签名中我们有

• Repr作为原始遍历容器的类型
• B 作为包含值的目标类型，就像在简化签名中一样
• That 作为目标容器的类型，由调用站点上隐含的具有正确类型的 CanBuildFrom 确定