Scala丢失参数的通用类型

Question

在我的头上，处理了继承特性的重写函数中使用的棘手协变类型。 基本的问题是[?]类型是什么？ 我找不到很好的定义（有点不舒服），因此在下面的示例中，为什么[T]替换为[?]尚不清楚：

> sealed trait Bar[+T]
> trait FooT { type Other; def foo[T,V](stuff:Bar[T]*) { stuff.headOption.isDefined } }
> trait TooF extends FooT { override def foo[T,V](stuff:Bar[T]*) { super.foo(stuff) } }
<console>:7: error: type mismatch;
found   : Bar[T]*
required: Bar[?]
   trait TooF extends FooT { override def foo[T,V](stuff:Bar[T]*) { super.foo(stuff) } }

Answer 1

我不确定它显示Bar[?]的确切原因，但我认为可能还没有解决类型参数之类的问题。 真正的问题是，将varargs传递给super方法的语法不正确。 它应该是

override def foo[T,V](stuff:Bar[T]*) { super.foo(stuff:_*) }