如何使用map方法创建一个将通用Collection M[A]
和一个函数从A
转换为B
并返回Collection 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)
的静态类型是Oleg Pyzhcov所指示的Traversable[B]
注意:此方法的目的不仅仅是映射集合,这只是一种简化。
最佳答案
map
的完整签名是
def map[B, That](f: (A) ⇒ B)(implicit bf: CanBuildFrom[Repr, B, That]): That
因此,您需要从调用站点提供该
CanBuildFrom
,并通过使用以Repr
结尾的集合特征并具有两个类型参数来确保将M[A]
推断为您的具体类型Like
。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)