5

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

假设我们有一个简单的执行上下文，我们传递：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)
  }
}

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

4

2 回答 2

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
       }
     }
  }
}
于 2013-08-08T15:56:33.943 回答
0

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

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

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

object MyActor extends ActorCommons[MyClass]
class MyActor extends Actor{
  import MyActor._ 
  def receive = {
    case cmd@GetCommand(entityId) => cmd.reply(sender){ implicit c => onlyAdmins{
      ...
    }}
  }
}
于 2013-08-20T15:37:56.627 回答