Scala中的泛型编程

Question

嗨，我对来自C#的Scala非常陌生。

我正在尝试编写我自己版本的累积(折叠)，我想知道为什么我会遇到以下问题：

def accumulate[T](list : List[T], initial: T, f: (T, T) => T) : T = {
    @tailrec def loop[T](list: List[T], accum: T) : T =
      if(list.length == 0)
        accum
      else{
        val head : T = list.head
        val res : T = f(accum,head)
        loop[T](list.tail, res)
      }
    loop(list,initial)
  }

我得到了以下错误：

type mismatch;
 found   : accum.type (with underlying type T)
 required: T
        val res : T = f(accum,head)
                        ^

考虑到一切都是T型，我看不出我怎么会有类型错配。

任何想法/帮助都将不胜感激。

布莱尔

Answer 1

您应该从loop方法中删除类型参数。将loop[T]替换为loop。

使用loop[T]，您将创建名为T的新类型参数，因此T外部loop方法和loop方法中的T是同名的不同类型别名。

这就是所谓的阴影。

关于类似的问题，请参见以下答案：

1. Scala type parameter error, not a member of type parameter
2. Scala, Extend object with a generic trait
3. Generic type inference in Scala

Answer 2

问题是，使用内部函数loop，您将定义一个新类型的T，它隐藏了外部类型的T。

编译器将它们视为定义不同类型。如果您只需从T中删除loop类型参数(包括递归调用loop(list.tail, res))，您就会发现它编译得很好。