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

发布时间：2020-12-16 18:07:29 所属栏目：安全来源：网络整理

导读：我刚刚开始在 Scala中使用更高级的类型,我遇到了我不理解的行为.我在Scala 2.9.0.1的REPL中做了所有这些. 首先,我创建一个mapper特征,以便我可以映射任何类型M的元素： trait Mapper { def mapper[M[_],A,B](m: M[A],f: A = B): M[B] } 这是我对mapper的实现

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

首先,我创建一个mapper特征,以便我可以映射任何类型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,f: Int => Double): List[Double] = m.map(f)
                                                                  ^
 <console>:9: error: List does not take type parameters
   def mapper[List,f: Int => Double): List[Double] = m.map(f)
                                    ^

如果我将M [_]的声明移到类级别,此代码可以正常工作：

trait Mapper[M[_]] {
  def mapper[A,f: A => B): M[B]
}
val mymapper = new Mapper[List] {
  def mapper[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的正确类型,如果它位于类级别,但在方法级别失败？

谢谢！

解决方法

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

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

List,Int和Double这里是类型参数的名称,确切的类型将由用于调用方法的值定义.是的,它们碰巧也是实际具体类型的名称,但在这种情况下,你正在掩盖这种意义.

如果使用M,A和B的原始名称,则错误会变得更清晰：

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

M真的不带类型参数……

如果您在“工作”示例中使用参数名称执行相同操作,则会变得更加明显：

trait Mapper[M[_]] {
  def mapper[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)
}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!