3

次のクラス階層があります。

trait Entity {
  type E <: Entity
  type S <: Something[E]
  def in: S
}

trait Something[E <: Entity] {
  def doSomething {
    // something
  }
}

class A extends Entity {
  def in = InA
  object InA extends Something[A]
}
class B extends Entity {
  def in = InB
  object InB extends Something[B]
}
class C extends Entity {
  def in = InC
  object InC extends Something[C]
}

そして私がしたい他のどこか：

val entities = Seq[Entity]
entities.map(_.in.doSomething)

ただし、型システムではそのinメソッド定義を回避できません。コードを機能させるために、そこでどの型を指定すればよいのかわかりません。

4

1 に答える 1

5

このようにタイプメンバーをオーバーライドすると機能します。Scalaはそれらを自動的に推測しません。

class A extends Entity {
  type E = A
  type S = Something[A]
  def in = InA
  object InA extends Something[A]
}
class B extends Entity {
  type E = B
  type S = Something[B]
  def in = InB
  object InB extends Something[B]
}
class C extends Entity {
  type E = C
  type S = Something[C]
  def in = InC
  object InC extends Something[C]
}

もう1つのオプションは、タイプメンバーを廃止し、タイプパラメーターのみを使用することです。

trait Entity[E <: Entity[E]] {
  def in: Something[E]
}

trait Something[E <: Entity[E]] {
  def doSomething {
    // something
  }
}

class A extends Entity[A] {
  def in = InA
  object InA extends Something[A]
}
class B extends Entity[B] {
  def in = InB
  object InB extends Something[B]
}
class C extends Entity[C] {
  def in = InC
  object InC extends Something[C]
}

val entities = Seq[Entity[_]]()
entities.map(_.in.doSomething)

これは、 F有界量化と呼ばれる手法を使用します。

于 2012-12-26T10:49:35.943 に答える