可遍历文件夹的函数参数左导致类型不匹配

Question

我正在尝试实现一个可以遍历对象的函数。

def f[V, M[_] <: Traversable[_]](ei: M[V])(builder: GenericCompanion[M]): M[V] =
  ei.foldLeft(builder.empty[V])((accum: M[V], el: V) => builder(el))

此代码无法编译，因为

Error:(22, 57) type mismatch;
 found   : el.type (with underlying type Any)
 required: V
  ei.foldLeft(builder.empty[V])((accum, el) => builder(el))
                                                       ^

用scala 2.11.8和2.12.1复制。太奇怪了。为什么< code>el被假定为< code>Any？

我可以用猫图书馆解决它。所以问题不是“怎么做？”而是“为什么纯scala代码是错误的？”。

def f[V, M[_] : Foldable : Alternative](ei: M[V]): M[V] = {
  val monoidK = implicitly[MonoidK[M]]

  ei.foldLeft(monoidK.empty[V]) {
    (accum, el) => monoidK.algebra[V].combine(accum, el.pure[M])
  }
}

Answer 1

看起来像类型边界中_的问题，在将其替换为它编译的字母X之后。

def f[V, M[X] <: Traversable[X]](ei: M[V])(builder: GenericCompanion[M]): M[V] =
  ei.foldLeft(builder.empty[V])((accum: M[V], el: V) => builder(el))

看一下这个答案，获得一些直觉。据我所知

< code>M[_]

M[X]