Scala對象擴展抽象類/特征，訪問伴隨類字段

Question

目前，我有以下代碼：

case class Foo(text: String, tag: Tag) {...}
object Foo {
    def doSomething(fooSeq: Seq[Foo]) = fooSeq.map(f => f.tag)
    def doSomethingElse() = {...}
}

我想將doSomething方法移到一個抽象的類/特征中，以便可以對標記進行參數設置並在以后重用代碼。 理想情況下，我想做這樣的事情：

case class Foo(text: String, tag: Tag) {...}
object Foo extends TraitFoo[Tag] {
    def doSomethingElse() = {...}
}

---------------in another file----------------

trait TraitFoo[T] = {
    def doSomething(fooSeq: Seq[TraitFoo[T]]) = fooSeq.map(f => f.tag)
}

但是，編譯器抱怨無法識別f.tag中的TraitFoo 。

我考慮使用抽象類，但這也會引起問題，因為我的對象Foo不需要構造函數。 它只需要訪問其伴隨類中的字段。

Answer 1

也許您可以向TraitFoo添加另一個具有結構限制的類型參數？ 像這樣：

trait TraitFoo[A, B <: { def tag: A }] {
    def doSomething(fooSeq: Seq[B]): Seq[A] = fooSeq.map(f => f.tag)
}

case class Foo(text: String, tag: Tag) { ... }
object Foo extends TraitFoo[Tag, Foo] {
    def doSomethingElse() = { ... }
}

基本上與此相同，但是比較冗長/不太明確：

trait Tagged[A] {
    def tag: A
}
trait TraitFoo[A, B <: Tagged[A]] {
    def doSomething(fooSeq: Seq[B]): Seq[A] = fooSeq.map(f => f.tag)
}

case class Foo(text: String, tag: Tag) extends Tagged[Tag] { }
object Foo extends TraitFoo[Tag, Foo] {
    def doSomethingElse() = { }
}