如何使用map方法创建一个方法,该方法将通用集合M[A]
和函数从A
传递到B
并返回集合M[B]
? / p>
像:
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]
进行编译。由于Oleg Pyzhcov指出Traversable[A].map(f: A => B)
的静态类型为Traversable[B]
注意:此方法的目的不仅仅是映射集合,这只是一种简化。
答案 0 :(得分:5)
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)