Question

阅读Play时！框架文档，我遇到了这个片段：

def index = Action { implicit request =>
  session.get("connected").map { user =>
    Ok("Hello " + user)
  }.getOrElse {
    Unauthorized("Oops, you are not connected")
  }
}

Documentation在那里解释implicit：

或者，您可以从请求中隐式检索会话

此外，我读了这篇文章：Literal with Implicit，从逻辑上看，函数不能有隐式参数。

如果我很清楚，这是因为函数，与方法相反，总是有一个契约（接口）。

事实上，例如，Function1[Int, Function1[Int, Int]]作为返回类型的第一个参数Int，因此阻止我们将此注释注释为implicit。这会导致对其高级返回类型的混淆：() => Int或Int => Int ...

因此，前一个代码段代码的行为是隐式的，因为第一个Action的必需参数是一个文字函数。

我猜允许编译器接受此代码的原因是Action.apply()方法的多个签名：

def apply(block: Request[AnyContent] => Result): Action[AnyContent]
def apply(block: => Result): Action[AnyContent]（重定向到第一个）

由于第二个不需要某个参数，是否在存在文字函数的隐式参数时选择了这个参数？

Answer 1

请考虑以下代码：

class MyImplicitClass(val session: Int)
object Tester {
  def apply(fun: MyImplicitClass => Int): Int = ???
  def apply(fun: => Int): Int = ???
}
Tester { implicit myImplicitClass => session * 20}

如果这个功能：

def session(implicit myImplicitClass: MyImplicitClass): Int = myImplicitClass.session

在范围内，然后第一个代码片段将被编译，因为显然隐式参数myImplicitClass将被传递给函数 session以便访问 field myImplicitClass.session，允许您省略字段访问权限。这正是Play的伎俩！框架正在使用，请检查Controller以查找session函数。

作为旁注，上面的闭包并没有声明它需要一个隐式参数，它是一种语言功能，以避免必须执行以下操作：

Tester { myImplicitClass => 
  implicit val x = myImplicitClass
  session * 20
}

当想要在闭包体中使用闭包参数作为隐式值时。另请注意，从Scala 2.9开始，您只能使用具有1个参数的闭包。

文字函数的隐含参数

1 个答案: