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演员合作时这样做，但是他们使用模式匹配，我还没有找到一个很好的方法来使implicits与提取器一起工作。

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

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
       }
     }
  }
}

Answer 2

为此，我试图继续初步的方法，看看我能走多远。在某些情况下，我最终得到的可能是有用的：

abstract class ContextCommand[T]{
  def context: EC
  def reply(sender:ActorRef)(f: EC => T) = sender.!(
    try f(context)
    catch{
      case e:Throwable => translateExceptionToFailure(e)
    }
  )
}
trait ActorCommons[T]{
  case class GetCommand(val entityId:Long)(implicit val context: EC) 
    extends ContextCommand[Option[T]]
}

然后我可以按照我的意图在演员中使用它，还有一个额外的好处，即回复函数的结果是经过类型检查的。

object MyActor extends ActorCommons[MyClass]
class MyActor extends Actor{
  import MyActor._ 
  def receive = {
    case cmd@GetCommand(entityId) => cmd.reply(sender){ implicit c => onlyAdmins{
      ...
    }}
  }
}

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

2 个答案: