scala - 使用预期类型的​​子参数实现 trait 方法

Question

我对 Scala 很陌生，如果这是一个非常简单的问题，请原谅我，但我找不到任何可以帮助我的东西，或者我找不到正确的搜索词。我怎样才能做到这一点？

scala> trait Foo
defined trait Foo

scala> class FooImpl extends Foo
defined class FooImpl

scala> trait Bar { def someMethod(foo: Foo) }
defined trait Bar

scala> class BarImpl extends Bar { def someMethod(foo: FooImpl) {} }
<console>:10: error: class BarImpl needs to be abstract, since method someMethod in trait Bar of type (foo: Foo)Unit is not defined
(Note that Foo does not match FooImpl)
       class BarImpl extends Bar { def someMethod(foo: FooImpl) {} }

既然 Foo 是一个特征，为什么 FooImpl 不匹配 Foo？我猜我需要在 Bar 中更改 someMethod 的签名，以说明我期待扩展 Foo 或“with Foo”的东西，但我似乎找不到这方面的文档。

Answer 1

问题在于Bar trait 的someMethod 声明指定任何类型的Foo 都可以作为参数传递。你可以把它想象成它的“契约”。合同规定Bar 的任何实现都将有一个方法someMethod 可以接受任何类型的Foo。

您的BarImpl 类是Bar 的实现，并且具有someMethod 实现。不幸的是，它对someMethod 的实现only 接受FooImpl 类型的Foo 对象：不是任何 类型的Foo。由于它不允许您传入不是FooImpl 对象的Foo 对象，因此它违反了特征定义指定的契约。实施不能比合同规定的更严格。

举个例子：

class FooImplB extends Foo
val bar: Bar = new BarImpl
val foo: Foo = new FooImplB
bar.someMethod(foo)

这里我们声明了一个名为bar 的Bar 和一个名为foo 的Foo。根据Foo 的定义，我应该可以将foo 传递给bar.someMethod。除了BarImpl.someMethod 只接受FooImpl 种Foos 而不是FooImplBs！所以我们有一个问题。

Answer 2

dhg 解释了为什么这不起作用以及为什么您可能并不真正想要它。

但如果你仍然想要它，你可以这样做：

trait Foo

class FooImpl extends Foo

trait Bar[F <: Foo] { def someMethod(foo: F) }

class BarImpl extends Bar[FooImpl] {
    def someMethod(foo: FooImpl) {}
}

Answer 3

Jens Schauder 的回答有效，但强制您在特征签名中定义类型。相反，您可以在方法级别执行相同操作：

scala> trait Foo
defined trait Foo

scala> class FooImple extends Foo
defined class FooImple

scala> trait Bar { def methodA[T <: Foo](foo: T) }
defined trait Bar

scala> class BarImpl extends Bar { def methodA[FooImpl](foo: FooImpl){} }
defined class BarImpl