scala - Scala 中的方法级高级类型

Question

我刚刚开始在 Scala 中使用更高级的类型，并且遇到了我不理解的行为。我正在 Scala 2.9.0.1 上的 REPL 中完成所有这些。

首先，我创建了一个映射器特征，以便我可以映射任何类型 M 的元素:

 trait Mapper {
    def mapper[M[_], A, B](m: M[A], f: A => B): M[B]
 }

这是我对映射器的实现:

 val mymapper = new Mapper {
  def mapper[List, Int, Double](m: List[Int], f: Int => Double): List[Double] = m.map(f)
 }

但是 REPL 提示...

 <console>:9: error: List does not take type parameters
   def mapper[List, Int, Double](m: List[Int], f: Int => Double): List[Double] = m.map(f)
                                                                  ^
 <console>:9: error: List does not take type parameters
   def mapper[List, Int, Double](m: List[Int], f: Int => Double): List[Double] = m.map(f)
                                    ^

如果我将 M[_] 的声明移动到类级别，则此代码工作正常:

trait Mapper[M[_]] {
  def mapper[A,B](m: M[A], f: A => B): M[B]
}
val mymapper = new Mapper[List] {
  def mapper[Int, Double](m: List[Int], f: Int => Double): List[Double] = m.map(f)
}
mymapper.mapper(List(1,2,3), (x: Int) => x.toDouble)
// returns List(1.0, 2.0, 3.0)

为什么会这样？为什么 Scala 可以为 M 找出正确的类型，如果它位于类级别，但在方法级别失败？

谢谢!

Answer 1

这段代码并不意味着你认为它意味着什么:

def mapper[List, Int, Double](m: List[Int], f: Int => Double): List[Double] = m.map(f)

这里的 List、Int 和 Double 是类型参数的名称，确切的类型将由用于调用方法的值定义。是的，它们碰巧也是实际具体类型的名称，但在这种情况下，您掩盖了该含义。

如果您使用原始名称 M , A和 B ，错误变得更清晰:

def mapper[M, A, B](m: M[A], f: A => B): M[B] = m.map(f)

M真的不带类型参数...

如果您在“工作”示例中对参数名称执行相同的操作，则变得更加明显:

trait Mapper[M[_]] {
  def mapper[A,B](m: M[A], f: A => B): M[B]
}

val mymapper = new Mapper[List] {
  def mapper[A, B](m: List[A], f: A => B): List[B] = m.map(f)
}