Неявный в сопоставлении с образцом - PullRequest
Новая
       34

Неявный в сопоставлении с образцом

7 голосов
/ 09 марта 2012

У меня есть метод с множеством неявных параметров: 

def hello(message:String)(implicit a:A,b:B,c:C, ..., user: User) = {...}

Теперь рассмотрим такой класс: 

object Users extends Controller {
  implicit a: A = ...
  implicit b: B = ...
  ...

  def index(id:String) = Action {
     User.findById(id) match {
       case Some(user) => {
          implicit val _user = user
          hello("implicit")
       }
       case _ => BadRequest
     }
  }
}

Вы можете увидеть эту строку в приведенном выше примере:

implicit val _user = user

Он существует просто для того, чтобы сделать объект user неявным объектом.В противном случае я должен вызвать hello как: 

hello("implicit")(a,b,c,... user)

Я думаю, есть ли способ улучшить код, например, нам не нужно определять эту переменную _user, но сделатьuser неявно.

Ответы [ 2 ]

5 голосов
/ 10 марта 2012

Да, есть способ исключить переменную _user, сделав user неявным: 

def index(id:String) = Action {
  User.findById(id) map (implicit user => hello("implicit")) getOrElse BadRequest
}

ОБНОВЛЕНИЕ: Обращаясь к вашему вопросу о многих случаях в комментариях ниже.

Все зависит от того, какой тип значения возвращает User.findById. Если это Option[User], но вы хотите сопоставить его с определенными пользователями (при условии, что User является классом дел), то применяется оригинальное решение: 

def index(id:String) = Action {
  User.findById(id) map { implicit user =>
    user match {
      case User("bob") => hello("Bob")
      case User("alice") => hello("Alice")
      case User("john") => hello("John")
      case _ => hello("Other user")
    }
  } getOrElse BadRequest

Или вы можете сопоставить что угодно, если хотите, если User.findById равно String => Option[User]

Если, с другой стороны, User.findById равно String => User, тогда вы можете просто определить вспомогательный объект, например: 

object withUser {
  def apply[A](user: User)(block: User => A) = block(user)
}

И используйте его следующим образом (опять-таки, предполагая, User - это класс case): 

def index(id: String) = Action {
  withUser(User findById id) { implicit user =>
    user match {
      case User("bob") => hello("Bob")
      case User("alice") => hello("Alice")
      case User("john") => hello("John")
      case _ => BadRequest
    }
  }
}

или совпадение с другим значением, скажем, Int: 

def index(id: String, level: Int) = Action {
  withUser(User findById id) { implicit user =>
    level match {
      case 1 => hello("Number One")
      case 2 => hello("Number Two")
      case 3 => hello("Number Three")
      case _ => BadRequest
    }
  }
}

Я надеюсь, что это охватывает все возможные сценарии.

2 голосов
/ 09 марта 2012

Я не знаю ни одного трюка, такого как дело Some(implicit user), но как насчет 

def hello(message: String, user: User)(implicit a: A, ... z: Z) = ...
def hello(message: String)(implicit a: A, ... z: Z, user: User) = hello(message, user)

case Some(user) => hello("implicit", user)
...