用于varargs方法的Scala类型边界

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

导读：我有以下基类： trait Fooabstract class Bar[A : Foo](f : A*) extends Foo 我想创建一个子类： case class Baz(f : Foo*) extends Bar(f) 但是,当我这样做时,编译器会感到沮丧,告诉我： inferred type arguments [Seq[Foo]] do not conform to class Bar’

我有以下基类：

trait Foo
abstract class Bar[A <: Foo](f : A*) extends Foo

我想创建一个子类：

case class Baz(f : Foo*) extends Bar(f)

但是,当我这样做时,编译器会感到沮丧,告诉我：

inferred type arguments [Seq[Foo]] do not conform to class Bar’s type parameter bounds [A <: Foo]

向Bar添加显式类型参数,如

case class Baz(f : Foo*) extends Bar[Foo](f)

然后抱怨类型不匹配 – 当需要Foo时发现Foo *.

是什么导致了这个？我应该如何解决这个问题？

解决方法

如上所述,编译器需要一系列类型为Foo的逗号分隔实例作为Bar的ctor的参数,而它被赋予一个类型为Foo *的实例,它被转换为场景后面的Seq [Foo].

做这个：

case class Baz(f : Foo*) extends Bar[Foo](f: _*)

这是在所有方法之间传递重复参数的方式,而不仅仅是ctors.
以下将适用：

case class Baz(f : Foo*) extends Bar(f: _*)

（编辑：李大同）

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