scala - 没有类型的隐式参数

Question

为什么以下 Play 语法有效

def handleForm = Action(parse.tolerantFormUrlEncoded) { implicit request =>
  val username = request.body.get("username").map(_.head).getOrElse("");
  Ok("Username was " + username)
}

如果不指定请求类型，编译器如何知道如何解析隐式请求？

Answer 1

Play 中的 Action 可以被视为一个函数:Request[A] => Result。 Action 的内部定义类似于 trait Action[A] extends EssentialAction

类型A实际上是允许您在其中放置任何内容的类型。从代码中可以看到，Request的定义是这样的:trait Request[+A] extends RequestHeader。这里有趣的是加号 (+)。这就是所谓的协变注释。这个协变类型参数是允许随着类的子类型化而向下变化的。这意味着如果你有类似的东西

特征列表[+A]

那么 List[Int] 是 List[AnyVal] 的子类型，因为 Int 是 AnyVal 的子类型>。这意味着当需要 List[AnyVal] 类型的值时，您可以提供 List[Int] 的实例。

所有这些都允许您拥有一个 super 通用的请求，作为您操作的基础，因此不会出现编译时问题。

---

从与用户更相关的角度来看，为什么这一切都是必要的:

来自 Play Scala 文档:

It is often useful to mark the request parameter as implicit so it can be implicitly used by other APIs that need it:

Action { implicit request =>
  Ok("Got request [" + request + "]")
}