5

次のコードに問題があります。コンパイルされません。asInstanceOf[SomeImpl]やパターンマッチングを使用せずにコンパイルする方法を知っている人はいますか。

上限または下限を使用して、いくつかの型パラメーターについて考えています。

object InherenceTryout extends App {

  import someimpl._

  val list = List(SomeImpl("A"), SomeImpl("B"))
  val result = new SomeHandler().handleBaseList(list)

  println("%s->%s" format (list, result))

}

package base {

  // Defines that a 'Base' object can create a new 
  // 'Base' object where another 'Base' object is mixed in
  // Does not define how the mixing will take place
  trait Base {
    def mix(other: Base): Base
  }

  // Defines how a default 'Base' object gets mixed into a list of 'Base' objects 
  trait BaseHandler {
    def defaultBase: Base
    def handleBaseList(list: List[Base]): List[Base] = list.map(b => b.mix(defaultBase))
  }

}

package someimpl {

  import base._

  // Some implementation of 'Base'
  // Defines how a new 'SomeImpl' object is created by mixing in another
  // 'SomeImpl' object

  // ERROR: 
  // class SomeImpl needs to be abstract, since method mix in trait Base of type (other: base.Base)base.Base is not defined 
  // (Note that base.Base does not match someimpl.SomeImpl: class SomeImpl in 
  // package someimpl is a subclass of trait Base in package base, but method parameter types must match exactly.)
  case class SomeImpl(id: String) extends Base {
      def mix(other: SomeImpl): SomeImpl = SomeImpl("[%s|%s]" format (id, other.id)) 
  }

  // Defines the default 'SomeImpl' object
  class SomeHandler extends BaseHandler {
    def defaultBase = SomeImpl("D")
  }

}
4

2 に答える 2

4

タイプパラメータの使用：

package base {

  trait Base[T <: Base[T]] {
    def mix(other: T): T
  }

  trait BaseHandler[T <: Base[T]] {
    def defaultBase: T
    def handleBaseList(list: List[T]): List[T] =
        list.map(b => b.mix(defaultBase))
  }

}

package someimpl {

  import base._

  case class SomeImpl(id: String) extends Base[SomeImpl] {
    def mix(other: SomeImpl): SomeImpl = SomeImpl("[%s|%s]" format (id, other.id))
  }

  class SomeHandler extends BaseHandler[SomeImpl] {
    def defaultBase = SomeImpl("D")
  }

}
于 2012-11-06T13:09:43.490 に答える
0

Arjanの答えへの追加のヒントとして、 Scalaでのプログラミングから取られた型パラメーター化に関する章をチェックすることをお勧めします。

于 2012-11-09T10:26:25.853 に答える