Scala - 使用子上下文绑定方法覆盖特征方法

Question

对于

sealed trait User {...}
sealed trait Trader extends User {...}

trait AuthObject

trait AuthUserObject {
  def authorize[U <: User](u: U): Boolean
}

trait AuthTraderObject extends AuthUserObject {
  def authorize[T <: Trader](t: T): Boolean
}

object HasPaidTax extends AuthTraderObject {
  def authorize[T <: Trader](t: T): Boolean = t.hasPaidTax
}

这不成立。错误：

错误：(15, 7) 在 [U <: users.user u trait authuserobject def authorize trader t boolean>

我需要将AuthTraderObject 限制为Trader 用户，因为只有交易者纳税。请问，这个覆盖怎么可能？

Answer 1

首先，你应该明白错误的原因：由于HasPaidTax扩展了AuthUserObject，你可以将这种类型归因于它：

val auth: AuthUserObject = HasPaidTax

但对于任何auth: AuthUserObject 和user: User，您可以致电auth.authorize(user)。因此，在覆盖方法时，您不能缩小参数类型或类型范围。

对于解决方案，您可以使用 pamu 的答案，或者只是将类型参数移动到类型（对于这种情况应该是等效的）：

trait AuthUserObject[U <: User] {
    def authorize(u: U): Boolean
}

trait AuthTraderObject[T <: Trader] extends AuthUserObject[T] {
    def authorize(t: T): Boolean
}

object HasPaidTax extends AuthTraderObject[Trader] {
    def authorize(t: Trader): Boolean = t.hasPaidTax
}

Answer 2

用户类型，然后在必要时覆盖类型

trait User

trait Trader extends User


trait AuthUserObject {
  type U <: User
  def authorize(u: U): Boolean
}

trait AuthTraderObject extends AuthUserObject {
  override type U <: Trader
  override def authorize(u: U): Boolean
}