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。

编译器将它们视为定义了不同的类型。如果你只是从loop（包括递归调用loop(list.tail, res)）中删除T类型参数，你应该发现它编译得很好。