麻煩與斯卡拉隱含參數

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實例吧（），我期待將要使用的FOSModelFoo，但它發生它調用SerializableFoo。

我錯過了什麼？

Answer 1

問題1：implicit object InnerFoo可在（或導入）中定義的範圍內作爲隱含的使用。

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

問題2：如果您的InnerFoo是隨處可見，它應該在object Foo或object FOSModel定義Implicits取決於靜態類型，而不是在運行時類型，因此它不會不管你用什麼情況下，如果編譯器只知道它是一個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 
} 
...