首页 文章

Scala中的方法级高级绑定类型

提问于
浏览 次
4

我刚刚开始在Scala中使用更高级的类型，我遇到了我不理解的行为 . 我在Scala 2.9.0.1的REPL中做了所有这些 .

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

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

这是我对mapper的实现：

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的正确类型，如果它位于类级别，但在方法级别失败？

谢谢！

scala higher-kinded-types

1 回答

  • 8

    此代码并不代表您认为的含义：

    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)
}
    回复于

相关问题