转换泛型 Collection 的 Scala 方法
Scala method to convert generic Collection
我如何创建一个方法,它接受一个通用集合 M[A]
和一个从 A
到 B
的函数和 returns 一个集合 M[B]
,使用地图方法?
类似于:
def convert[A, M[X] <: Traversable[X], B](in: M[A], f: A => B): M[B] =
in.map(f)
上述方法编译失败:type mismatch; found : Traversable[B] required: M[B]
。由于 Traversable[A].map(f: A => B)
的静态类型是 Traversable[B]
,正如 Oleg Pyzhcov
所指出的
注意:此方法的目的不仅仅是映射集合,这只是一种简化。
map
的完整签名是
def map[B, That](f: (A) ⇒ B)(implicit bf: CanBuildFrom[Repr, B, That]): That
因此您需要从调用站点提供 CanBuildFrom
并确保通过使用以 [=16] 结尾的集合特征将 Repr
推断为您的具体类型 M[A]
=] 并且有两个类型参数
import scala.collection.generic.CanBuildFrom
import scala.collection.TraversableLike
import scala.language.higherKinds
def convert[M[x] <: TraversableLike[x, M[x]], A, B](
in: M[A],
f: A => B
)(implicit
cbf: CanBuildFrom[M[A], B, M[B]]
): M[B] = in.map(f)(cbf)
我如何创建一个方法,它接受一个通用集合 M[A]
和一个从 A
到 B
的函数和 returns 一个集合 M[B]
,使用地图方法?
类似于:
def convert[A, M[X] <: Traversable[X], B](in: M[A], f: A => B): M[B] =
in.map(f)
上述方法编译失败:type mismatch; found : Traversable[B] required: M[B]
。由于 Traversable[A].map(f: A => B)
的静态类型是 Traversable[B]
,正如 Oleg Pyzhcov
注意:此方法的目的不仅仅是映射集合,这只是一种简化。
map
的完整签名是
def map[B, That](f: (A) ⇒ B)(implicit bf: CanBuildFrom[Repr, B, That]): That
因此您需要从调用站点提供 CanBuildFrom
并确保通过使用以 [=16] 结尾的集合特征将 Repr
推断为您的具体类型 M[A]
=] 并且有两个类型参数
import scala.collection.generic.CanBuildFrom
import scala.collection.TraversableLike
import scala.language.higherKinds
def convert[M[x] <: TraversableLike[x, M[x]], A, B](
in: M[A],
f: A => B
)(implicit
cbf: CanBuildFrom[M[A], B, M[B]]
): M[B] = in.map(f)(cbf)