理解Scala中的隐式

Question

我在学习Scala playframework教程时遇到了一段令我迷惑不解的代码：

def newTask = Action { implicit request =>
taskForm.bindFromRequest.fold(
        errors => BadRequest(views.html.index(Task.all(), errors)),
        label => {
          Task.create(label)
          Redirect(routes.Application.tasks())
        } 
  )
}

于是我决定调查一下，偶然发现了这个帖子。

implicit def double2Int(d : Double) : Int = d.toInt

def double2IntNonImplicit(d : Double) : Int = d.toInt

Answer 1

我将在下面解释implicits的主要用例，但要了解更多细节，请参阅Scala编程的相关章节。

隐式参数

方法上的最终参数列表可以标记为implicit，这意味着这些值将从调用它们的上下文中获取。如果scope中没有正确类型的隐式值，则不会编译。由于隐式值必须解析为单个值，并且为了避免冲突，最好使类型特定于其用途，例如，不要要求您的方法查找一个隐式int！

  // probably in a library
class Prefixer(val prefix: String)
def addPrefix(s: String)(implicit p: Prefixer) = p.prefix + s

  // then probably in your application
implicit val myImplicitPrefixer = new Prefixer("***")
addPrefix("abc")  // returns "***abc"

当编译器为上下文找到错误类型的表达式时，它将查找允许它TypeCheck的类型的隐式function值。因此，如果需要a并且它找到b，它将在作用域中查找b=>a类型的隐式值（它还检查其他一些地方，如b和a伙伴对象（如果存在的话）。由于defs可以“ETA扩展”为function对象，因此隐式def xyz(arg:B):a也可以。

因此，您的方法之间的区别在于，当找到double但需要int时，编译器将为您插入标记为implicit的方法。

implicit def doubleToInt(d: Double) = d.toInt
val x: Int = 42.0

工作原理与

def doubleToInt(d: Double) = d.toInt
val x: Int = doubleToInt(42.0)

apply(block: (Request[AnyContent]) ⇒ Result): Action[AnyContent]

request => ...

在函数文本中，=>之前的部分是一个值声明，如果需要，可以将其标记为Implicit，就像在任何其他val声明中一样。在这里，request不必标记为implicit以便进行类型检查，但通过这样做，它将作为隐式值提供给函数中可能需要它的任何方法（当然，它也可以显式使用）。在这种特定情况下，之所以这样做是因为Form类上的BindFromRequest方法需要一个隐式Request参数。