scala - 从相同特征派生的案例类的模式匹配

Question

大家好!

我在使用 Scala 模式匹配时遇到了一点问题。我正在使用 Korolev我的 Web 应用程序的框架，但我敢打赌，问题在 Scala 中更深层次。

我有一个适用于所有状态的基本特征:

trait BaseState {
  val notifications: List[Notification]
}

和两个派生案例类:

case class GuestState(
                       notifications: List[Notification] = List(),
                       isRegistration: Boolean = false
                     ) extends BaseState

和

case class AuthenticatedState(
                          notifications: List[Notification] = List(),
                          user: UserWithPermissions
                        ) extends BaseState

在其中一个事件处理程序中，我需要在没有特定通知的情况下获得类似的状态。现在它是这样工作的:

event('click) { access =>
              access.transition {
                case s: GuestState => s.copy(notifications = notifications.filter(x => x != n))
                case s: AuthenticatedState => s.copy(notifications = notifications.filter(x => x != n))
              }
          }

对于这两种类型，我必须做完全相同的事情来复制代码，因为 BaseState 没有 copy() 方法并且编译器因错误而失败。

我怎样才能在 scala-way 中正确地做到这一点？谢谢。

Answer 1

这两种情况实际上并没有做同样的事情，因为这两个copy方法有不同的签名。因此，虽然文本可能相同，但代码实际上在每种情况下都在做一些不同的事情。

这里的一个选项是向特征添加一个抽象的filterNotifications 方法并调用它:

trait BaseState {
  val notifications: List[Notification]
  def filterNotifications(f: Notification => Boolean): BaseState
}

case class GuestState(
  notifications: List[Notification] = List(),
  isRegistration: Boolean = false
) extends BaseState {
  def filterNotifications(f: Notification => Boolean): BaseState =
    this.copy(notifications=notifications.filter(f))
}

case class AuthenticatedState(
  notifications: List[Notification] = List(),
  user: UserWithPermissions
) extends BaseState {
  def filterNotifications(f: Notification => Boolean): BaseState =
    this.copy(notifications=notifications.filter(f))
}