Scala编译器发现了什么CanBuildFrom实例？

发布时间：2020-12-16 19:20:39 所属栏目：安全来源：网络整理

导读：大家好请原谅我在 Scala上提出一个愚蠢的问题. 虽然我已经在Scala中编程了大约2年,但我仍然觉得很难理解隐式用法.我们来举一个讨论的例子： Array(1,2,3,4).map(x = x) 如果查找scaladoc,则无法在Array类中找到方法映射. map可以应用于Array(1,4)的原因是隐

大家好请原谅我在 Scala上提出一个愚蠢的问题.
虽然我已经在Scala中编程了大约2年,但我仍然觉得很难理解隐式用法.我们来举一个讨论的例子：

Array(1,2,3,4).map(x => x)

如果查找scaladoc,则无法在Array类中找到方法映射. map可以应用于Array(1,4)的原因是隐式函数隐式def intArrayOps(xs：Array [Int])：在scala.Predef中定义的ArrayOps [Int].

但是,有两个参数列表,其中第二个参数列表是隐式bf：CanBuildFrom [Array [T],B,That]).现在我想知道在Array(1,4)上应用map时,编译器在哪里找到类型CanBuildFrom的正确参数.

解决方法

隐式解析包括在伴随对象中搜索隐式参数的类型以及隐式参数的类型参数的伴随对象.在上面的示例中,地图的签名如下

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

由于我们没有类型要求,我们现在可以忽略它.在我们查看本地和容器范围并找不到匹配的含义之后,查找隐式的下一个位置将是CanBuildFrom的伴随对象.但它没有伴侣对象.所以我们继续并在Array中查看隐式.我们找到一个形式

implicit def canBuildFrom[T](implicit m: ClassManifest[T]): CanBuildFrom[Array[_],T,Array[T]]

由于我们没有类型要求和匹配隐式,因此“That”必须是Array [Int]类型并完成我们的输入.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!