Scala隐式参数的问题

Question

我有以下代码，它将成为隐式对象的基础：

trait Foo[-T] {
  def hello(obj: T)
}

trait Model extends Serializable {
  def bar()(implicit foo: Foo[Model]) = { foo.hello(this) }
}

class SerializableFoo[T <: Serializable] extends Foo[T] {
  def hello(obj: T) { println("hello from SerializableFoo") }
}

class FOSModelFoo[T <: Model] extends Foo[T] {
  def hello(obj: T) { println("hello from FOSModelFoo") }
}

object Foo {
  implicit object DefaultFoo extends SerializableFoo[Model]
}

class FOSModel extends Model {
   implicit object InnerFoo extends FOSModelFoo
}

当我在 FOSModel 实例上调用 bar() 时，我希望使用 FOSModelFoo，但它碰巧正在调用 SerializableFoo。

我错过了什么？

Answer 1

问题 1：implicit object InnerFoo 在其定义（或导入）的范围内可作为隐式使用。如果您的InnerFoo 随处可用，则应在object Foo 或object FOSModel 中定义：

object Foo {
  implicit object DefaultFoo extends SerializableFoo[Model]
  implicit object InnerFoo extends FOSModelFoo[FOSModel]
}

问题 2：隐式依赖于静态类型，而不是运行时类型，所以如果编译器只知道它是 Model，那么使用什么实例并不重要。例如

val fosModel: Model = new FOSModel

问题 3：由于您要求的是 Foo[Model] 而不是 Foo[FOSModel]，所以 DefaultFoo 是唯一适合的。

我无法准确说出您想要什么，但这似乎是一个不完整的“奇怪地重复出现的模板模式”。可能是这样的

trait Model[T <: Model[T]] extends Serializable {
  def bar()(implicit foo: Foo[T]) = { foo.hello(this) }
}

class FOSModel extends Model[FOSModel]

object FOSModel {
  implicit object InnerFoo extends FOSModelFoo
}
...