scala - 为什么不能绑定(bind)通配符类型参数是Scala？

Question

我有一个类型的对类:

class TypedPair[T]

我想将某个函数应用于它们的异构序列:

def process[T](entry: TypedPair[T]) = {/* something */}

为什么这不起作用？

def apply(entries: TypedPair[_]*) = entries.foreach(process)

它失败并出现错误:

error: polymorphic expression cannot be instantiated to expected type;
 found   : [T](TypedPair[T]) => Unit
 required: (TypedPair[_]) => ?
         def apply(entries: TypedPair[_]*) = entries.foreach(process)

我不记得在Java中遇到过这个问题......

Answer 1

在这种情况下，编译器无法确定匿名方法。添加 dummy 参数时，您还更改了语法以帮助编译器使用它，因此以下内容将起作用:

def apply(entries: TypedPair[_]*) = entries.foreach(process(_))