Scala: смешивать черты и класс case в соответствии с шаблоном

Я хочу сопоставить некоторые классы классов. Если я их не знаю, я хочу, чтобы они соответствовали заданной черте, которую классы должны расширять. Это выглядит как

trait Event  //root trait
trait Status extends Event  //special trait
trait UIEvent extends Event //special trait

case class Results extends Event   //concrete case class
case class Query extends Event     //concrete case class

case class Running extends Status  //concrete case class
case class Finished extends Status //concrete case class

case class Update extends UIEvent  //concrete case class

Я запускаю следующий тест

  val events = List(Results, Query, Running, Finished, Update)
    events foreach {
      case Results => println("Got a Results")
      case Running => println("Got a Running")
      case s:Status => println("Got some StatusEvent")
      case ui:UIEvent => println("Got some UIEvent")
      case e: Event => println("Generic Event")
      case x => println("Didn't matched at all " + x)
    }
    println("############################")
    val STATUS = classOf[Status]
    val EVENT = classOf[Event]
    val UIEVENT = classOf[UIEvent]
    val RESULTS = classOf[Results]
    val eventsClass = events map (_.getClass)
    eventsClass foreach {
      case RESULTS => println("Got a Results")
      case STATUS => println("Got some StatusEvent")
      case UIEVENT =>  println("Got some UIEvent")
      case EVENT => println("Generic Event")
      case x => println("Didn't matched at all " + x)
    }

что приводит к следующему выводу

Got a Results
Didn't match at all Query
Got a Running
Didn't match at all Finished
Didn't match at all Update
############################
Didn't match at all class de.mukis.scala.test.main.Results$
Didn't match at all class de.mukis.scala.test.main.Query$
Didn't match at all class de.mukis.scala.test.main.Running$
Didn't match at all class de.mukis.scala.test.main.Finished$
Didn't match at all class de.mukis.scala.test.main.Update$

Почему я не могу сопоставить шаблон по классу и чертам case или только по классу?

спасибо заранее, Муки

Ответ 1

Проблема в том, что вы ссылаетесь на объекты-компаньоны для ваших классов case, а не на конкретные экземпляры. Из-за этого REPL должен был предоставить вам предупреждения об отказе.

Решение состоит в том, чтобы добавить несколько круглых скобок:

sealed abstract trait Event
sealed abstract trait Status extends Event
sealed abstract trait UIEvent extends Event

case class Results() extends Event
case class Query() extends Event

case class Running() extends Status
case class Finished() extends Status

case class Update() extends UIEvent

val events = List(Results(), Query(), Running(), Finished(), Update())
events foreach {
  case Results() => println("Got a Results")
  case Running() => println("Got a Running")
  case s:Status => println("Got some StatusEvent")
  case ui:UIEvent => println("Got some UIEvent")
  case e: Event => println("Generic Event")
  case x => println("Didn't match at all " + x)
}

или, как предполагает Didierd, используйте case object s

sealed abstract trait Event
sealed abstract trait Status extends Event
sealed abstract trait UIEvent extends Event

case object Results extends Event
case object Query extends Event

case object Running extends Status
case object Finished extends Status

case object Update extends UIEvent

val events = List(Results, Query, Running, Finished, Update)
events foreach {
  case Results => println("Got a Results")
  case Running => println("Got a Running")
  case s:Status => println("Got some StatusEvent")
  case ui:UIEvent => println("Got some UIEvent")
  case e: Event => println("Generic Event")
  case x => println("Didn't match at all " + x)
}

Ответ 2

Ваша проблема связана с классом case без скобок (которые теперь устарели). Класс case подразумевает создание сопутствующего объекта. Когда вы пишете результаты без скобок, как в вашем списке, так и в сопоставлении с образцом, это означает объект-компаньон.

Вы можете попробовать

define sortOut(x: Any) = x match {
  case Results => "companion object"
  case Results() => "instance"
}

sortOut(Results) // returns companion object
sortout(Results()) // returns instance

Это объясняет поведение во второй части. В качестве результата является объект-компаньон, Results.getClass() не является классом Of [Results], который является классом экземпляра, но (синтетическим) классом объекта-компаньона, Results$

Если a case class не имеет параметров, большую часть времени это означает, что разные экземпляры нельзя отличить друг от друга, и вам лучше использовать case object. В противном случае поставьте скобки.