模式匹配中的Scala隐式提取值？

Question

我们经常需要像执行操作的用户一样传递代码上下文信息。我们将此上下文用于各种事情，例如授权检查。在这些情况下，隐式值可以证明对于减少样板代码非常有用。

假设我们传递了一个简单的执行上下文:case class EC(initiatingUser:User)
我们可以有方便的守卫:

def onlyAdmins(f: => T)(implicit context:EC) = context match{
  case EC(u) if(u.roles.contain(Role.ADMIN)) => f
  case _ => throw new UnauthorizedException("Only admins can perform this action")
}

val result = onlyAdmins{
  //do something adminy 
}

我最近发现自己在与 Akka Actor 合作时需要这样做，但他们使用模式匹配，我还没有找到一种使隐式与提取器很好地工作的好方法。

首先，您需要为每个命令传递上下文，但这很简单:

case class DeleteCommand(entityId:Long)(implicit executionContext:EC)
//note that you need to overwrite unapply to extract that context

但是接收函数看起来像这样:

class MyActor extends Actor{
  def receive = {
     case DeleteCommand(entityId, context) => {
       implicit val c = context
       sender ! onlyAdmins{
         //do something adminy that also uses context
       }
     }
  }
}

如果提取的变量可以标记为隐式，那会简单得多，但我还没有看到这个功能:

def receive = {
  case DeleteCommand(entityId, implicit context) => sender ! onlyAdmins{
    //do something adminy (that also uses context)
  }
}

您是否知道任何其他编码方式可以减少样板代码？

Answer 1

我认为您正在向案例类添加多个参数集和隐式，并且还必须添加一个新的 unapply可能是你走上一条不太好的道路的迹象。虽然这些类型的事情是可能的，但它们可能不是一个好主意，也许案例类上的多个参数集(和隐式)可能有一天会消失。我用更标准的东西重写了你的例子。我并不是说这是一个完美的解决方案，但它更符合标准路径:

trait ContextCommand{
  def context:EC
}

case class DeleteCommand(entityId:Long, context:EC) extends ContextCommand


def onlyAdmins[T](cmd:ContextCommand)(f: => T) = cmd.context match {
  case EC(u) if(u.roles.contain(Role.ADMIN)) => f
  case _ => throw new UnauthorizedException("Only admins can perform this action")    
}

class MyActor extends Actor{
  def receive = {
     case cmd @ DeleteCommand(entityId, ctx) => {
       sender ! onlyAdmins(cmd){
         //do something adminy that also uses context
         //Note, ctx available here via closure
       }
     }
  }
}