Scala: сопоставление шаблонов с общими классами case

Можно ли сопоставить общие классы случаев? Идея состоит в том, чтобы использовать некоторые общие классы case в качестве сообщений между акторами.

Это мой подход: есть ли способ сделать это возможным?

case class EbTreeDataObject[T](uId: Long, changeId: Long, payload:Option[T])
case class InsertNewObject[T](newObject: EbTreeDataObject[T])
case class UpdateObject[T](changedObject: EbTreeDataObject[T])


class TreeActor[T](maxSynchroWait:Int,communication:CommunikationLayer[T]) extends Actor {
  var uIdTree = new EbTree[EbTreeDataObject[T]]
  var changeIdTree = new EbTree[EbTreeDataObject[T]]

  override def receive: Receive = {
    //basic tree operations
    case InsertNewObject(newObject: EbTreeDataObject[T]) =>
       //insert element in tree
    case UpdateObject(newObject: EbTreeDataObject[T]) =>
       //update object
    case RemoveObject(removedObject: EbTreeDataObject[T]) =>
       //remove object

Эти конструкции дают ошибку при компиляции:

Error:(32, 37) pattern type is incompatible with expected type;
 found   : model.EbTreeDataObject[T]
 required: model.EbTreeDataObject[Any]
Note: T <: Any, but class EbTreeDataObject is invariant in type T.
You may wish to define T as +T instead. (SLS 4.5)
    case InsertNewObject(newObject: EbTreeDataObject[T]) =>

Спасибо за вашу помощь


generics scala pattern-matching
person prototyp    schedule 22.06.2014    source источник

Ответы (1)


arrow_upward
4
arrow_downward

Почему бы вам не сделать то, что предлагает компилятор:

  case class EbTreeDataObject[+T](uId: Long, changeId: Long, payload: Option[T])
person Noah    schedule 22.06.2014
comment
Спасибо, но в чем разница между [+T] и [T]? - person prototyp; 23.06.2014
comment
[T] означает, что разрешены только типы «T», где «[+T]» означает все, что является подтипом T, A <: T. Вот достойный вопрос SO, который объясняет это более подробно: /вопросы/663254/ - person Noah; 23.06.2014