Частичное совпадение паттерна функции разделено на класс и черту

Question

Lift использует PartialFunction при реализации Comet Actors, и вы обычно заканчиваете этим в своем классе:

override def lowPriority: PartialFunction[Any,Unit] = {
  case MyCaseClass1(a)        => do something here
  case MyCaseClass2(a)        => do something here
  case AlwaysPresentCaseClass => default action
}

Что бы я хотел сделать, и я не уверен, если этовозможно даже разделить эту частичную функцию так, чтобы последний случай мог быть перемещен в черту.

Поэтому, когда у меня есть новый кометный актер, я просто делаю:

class MyNewComet extends MyActorTrait {
  override def lowPriority: PartialFunction[Any,Unit] = {
    case MyCaseClass1(a)        => do something here
    case MyCaseClass2(a)        => do something here
  }
}

И как-тоу черты MyActorTrait будет отсутствовать

case AlwaysPresentCaseClass => default action

Answer 1

Вы можете составлять частичные функции, используя метод orElse:

val f1: PartialFunction[Any, String] = {
  case 22 => "hallo"
}
val f2: PartialFunction[Any, String] = {
  case "rara" => "welt"
}

val f = f1 orElse f2 // f falls back to f2 if undefined in f1
f(22)
f("rara")

Answer 2

Попробуйте:

trait MyActorTrait extends /* whatever class provides lowPriority */ {
   def default: PartialFunction[Any, Unit] = {
           case AlwaysPresentCaseClass => default action
   }

   abstract override def lowPriority: PartialFunction[Any,Unit] =
       super.lowPriority orElse default
}

Единственная проблема в том, что вы не можете сделать MyNewComet extends MyActorTrait.Вместо этого вы можете иметь либо class MyNewCometDefault extends MyNewComet with MyActorTrait, либо new MyNewComet with MyActorTrait.