329

我正在阅读 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

除了显而易见的事实之外,它们具有不同的方法名称。

我应该什么时候使用implicit,为什么?

4

7 回答 7

428

我将在下面解释隐式的主要用例,但更多详细信息请参见Programming in Scala 的相关章节

隐式参数

方法的最终参数列表可以标记为implicit,这意味着值将从调用它们的上下文中获取。如果范围内没有正确类型的隐式值,则不会编译。由于隐式值必须解析为单个值并避免冲突,因此最好使类型特定于其用途,例如,不要求您的方法找到隐式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"

隐式转换

当编译器为上下文找到错误类型的表达式时,它会寻找Function允许它进行类型检查的类型的隐式值。因此,如果A需要 an 并且它找到 a B,它将B => A在范围内查找类型的隐式值(它还会检查其他一些地方,例如在BA伴随对象中,如果它们存在的话)。由于defs 可以“扩展”为Function对象,因此 animplicit def xyz(arg: B): A也可以。

因此,您的方法之间的区别在于,当找到 a 但需要 animplicit时,编译器将为您插入标记的方法。DoubleInt

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

将与

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

在第二个中,我们手动插入了转换;首先,编译器会自动执行相同的操作。由于左侧的类型注释,需要进行转换。


关于您在 Play 中的第一个片段:

此页面上的操作说明来自 Play 文档(另请参阅API 文档)。您正在使用

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

Action对象上(这是同名特征的伴侣)。

所以我们需要提供一个函数作为参数,它可以写成如下形式的文字

request => ...

在函数字面量中,前面的部分=>是一个值声明,可以根据需要进行标记implicit,就像在任何其他val声明中一样。在这里,request 不必implicit为 this 进行类型检查,但通过这样做,它可以作为函数中可能需要它的任何方法的隐式值使用(当然,它也可以显式使用). 在这种特殊情况下,这样做是因为FormbindFromRequest类上的方法需要一个隐式参数。Request

于 2012-04-29T21:02:02.927 回答
48

警告:明智地包含讽刺!YMMV...

路易吉的回答是完整而正确的。这只是通过一个示例来扩展它,说明如何过度使用implicits,因为它在Scala 项目中经常发生。实际上,您甚至可以经常在“最佳实践”指南之一中找到它。

object HelloWorld {
  case class Text(content: String)
  case class Prefix(text: String)

  implicit def String2Text(content: String)(implicit prefix: Prefix) = {
    Text(prefix.text + " " + content)
  }

  def printText(text: Text): Unit = {
    println(text.content)
  }

  def main(args: Array[String]): Unit = {
    printText("World!")
  }

  // Best to hide this line somewhere below a pile of completely unrelated code.
  // Better yet, import its package from another distant place.
  implicit val prefixLOL = Prefix("Hello")
}
于 2017-01-18T00:01:38.663 回答
27

在 scala 中,隐式工作为

转换器

参数值注入器

扩展方法

隐式有一些用途

  1. 隐式类型转换:它将产生错误的赋值转换为预期的类型

    val x :String = "1"
    
    val y:Int = x
    

String不是Int 的子类型,因此错误发生在第 2 行。为了解决错误,编译器将在具有隐式关键字的范围内寻找这样的方法,并将String作为参数并返回Int

所以

implicit def z(a:String):Int = 2

val x :String = "1"

val y:Int = x // compiler will use z here like val y:Int=z(x)

println(y) // result 2  & no error!
  1. 隐式接收器转换:我们通常通过接收器调用对象的属性,例如。方法或变量。因此,要由接收者调用任何属性,该属性必须是该接收者的类/对象的成员。

     class Mahadi{
    
     val haveCar:String ="BMW"
    
     }
    

    class Johnny{

    val haveTv:String = "Sony"

    }

   val mahadi = new Mahadi



   mahadi.haveTv // Error happening

这里mahadi.haveTv会产生错误。因为 scala 编译器会首先寻找mahadi接收器的haveTv属性。它不会找到。其次,它将在范围内寻找一个具有隐式关键字的方法,该方法以Mahadi 对象作为参数并返回Johnny 对象。但是这里没有。所以它会产生错误。但是下面的没问题。

class Mahadi{

val haveCar:String ="BMW"

}

class Johnny{

val haveTv:String = "Sony"

}

val mahadi = new Mahadi

implicit def z(a:Mahadi):Johnny = new Johnny

mahadi.haveTv // compiler will use z here like new Johnny().haveTv

println(mahadi.haveTv)// result Sony & no error
  1. 隐式参数注入:如果我们调用一个方法并且不传递它的参数值,就会导致错误。scala 编译器的工作方式是这样的——首先会尝试传递值,但它不会为参数获得直接值。

     def x(a:Int)= a
    
     x // ERROR happening
    

其次,如果参数有任何隐式关键字,它将在范围内查找具有相同类型值的任何val。如果没有得到它会导致错误。

def x(implicit a:Int)= a

x // error happening here

为了解决这个问题,编译器将寻找具有Int 类型的隐式 val ,因为参数a具有隐式关键字

def x(implicit a:Int)=a

implicit val z:Int =10

x // compiler will use implicit like this x(z)
println(x) // will result 10 & no error.

另一个例子:

def l(implicit b:Int)

def x(implicit a:Int)= l(a)

我们也可以这样写——

def x(implicit a:Int)= l

因为l有一个隐式参数并且在方法 x 的主体范围内,有一个隐式局部变量参数是局部变量ax的参数,所以在x方法的主体中, 方法签名l 的隐式参数值为由x 方法的局部隐式变量(参数)隐式归档。a

所以

 def x(implicit a:Int)= l

将像这样在编译器中

def x(implicit a:Int)= l(a)

另一个例子:

def c(implicit k:Int):String = k.toString

def x(a:Int => String):String =a

x{
x => c
}

这将导致错误,因为x{x=>c}的c需要在参数中显式传递值或在范围内隐式传递 val 。

因此,当我们调用方法 x时,我们可以使函数字面量的参数式隐式

x{
implicit x => c // the compiler will set the parameter of c like this c(x)
}

这已用于Play-Framework的动作方法

in view folder of app the template is declared like
@()(implicit requestHreader:RequestHeader)

in controller action is like

def index = Action{
implicit request =>

Ok(views.html.formpage())  

}

如果您没有明确提及请求参数是隐式的,那么您一定是这样写的-

def index = Action{
request =>

Ok(views.html.formpage()(request))  

}
  1. 扩展方法

想一想,我们想用 Integer 对象添加新方法。该方法的名称将是meterToCm,

> 1 .meterToCm 
res0 100 

为此,我们需要在 object/class/trait 中创建一个隐式类。该类不能是案例类。

object Extensions{
    
    implicit class MeterToCm(meter:Int){
        
        def  meterToCm={
             meter*100
        }

    }

}

请注意,隐式类将只采用一个构造函数参数

现在在您要使用的范围内导入隐式类

import  Extensions._

2.meterToCm // result 200
于 2018-12-13T08:59:59.250 回答
7

为什么以及何时应该将request参数标记为implicit

您将在动作主体中使用的某些方法具有隐式参数列表,例如,Form.scala 定义了一个方法:

def bindFromRequest()(implicit request: play.api.mvc.Request[_]): Form[T] = { ... }

您不一定会注意到这一点,因为您只需调用myForm.bindFromRequest()您不必显式提供隐式参数。不,您让编译器在每次遇到需要请求实例的方法调用时查找要传入的任何有效候选对象。由于您确实有可用的请求,因此您只需将其标记为implicit.

明确将其标记为可隐式使用。

您暗示编译器“可以”使用 Play 框架发送的请求对象(我们将其命名为“request”,但可能只使用“r”或“req”),“偷偷摸摸” .

myForm.bindFromRequest()

看见?它不在那里,但它就那里!

它只是发生,而您不必在需要的每个地方手动插入它(但如果您愿意,无论是否标记,您都可以implicit显式传递它):

myForm.bindFromRequest()(request)

如果不将其标记为隐式,则必须执行上述操作。将其标记为隐式您不必这样做。

什么时候应该将请求标记为implicit只有在使用声明隐式参数列表并期望 Request 实例的方法时,您才真正需要这样做。但是为了简单起见,你可以养成implicit 总是标记请求的习惯。这样你就可以编写漂亮简洁的代码。

于 2017-01-03T19:32:34.943 回答
5

此外,在上述情况下,应该有only one类型为 的隐式函数double => Int。否则,编译器会感到困惑,无法正确编译。

//this won't compile

implicit def doubleToInt(d: Double) = d.toInt
implicit def doubleToIntSecond(d: Double) = d.toInt
val x: Int = 42.0
于 2017-10-25T16:48:48.700 回答
1

我和你有完全相同的问题,我想我应该通过一些非常简单的例子来分享我是如何开始理解它的(注意它只涵盖了常见的用例)。

Scala 中有两个常见的用例,使用implicit.

  • 在变量上使用它
  • 在函数上使用它

示例如下

在变量上使用它。如您所见,如果implicit在最后一个参数列表中使用关键字,则将使用最接近的变量。

// Here I define a class and initiated an instance of this class
case class Person(val name: String)
val charles: Person = Person("Charles")

// Here I define a function
def greeting(words: String)(implicit person: Person) = person match {
  case Person(name: String) if name != "" => s"$name, $words"
    case _ => "$words"
}

greeting("Good morning") // Charles, Good moring

val charles: Person = Person("")
greeting("Good morning") // Good moring

在函数上使用它。如您所见,如果在implicit函数上使用 ,则将使用最接近的类型转换方法。

val num = 10 // num: Int (of course)

// Here I define a implicit function
implicit def intToString(num: Int) = s"$num -- I am a String now!"

val num = 10 // num: Int (of course). Nothing happens yet.. Compiler believes you want 10 to be an Int

// Util...
val num: String = 10 // Compiler trust you first, and it thinks you have `implicitly` told it that you had a way to covert the type from Int to String, which the function `intToString` can do!
// So num is now actually "10 -- I am a String now!"
// console will print this -> val num: String = 10 -- I am a String now!

希望这能有所帮助。

于 2020-05-11T04:49:30.693 回答
0

一个非常基本的 scala 中的隐式示例。

隐式参数

val value = 10
implicit val multiplier = 3
def multiply(implicit by: Int) = value * by
val result = multiply // implicit parameter wiil be passed here
println(result) // It will print 30 as a result

注意:这里multiplier将隐式传递给函数multiply。函数调用的缺失参数在当前范围内按类型查找,这意味着如果范围内没有 Int 类型的隐式变量,则代码将无法编译。

隐式转换

implicit def convert(a: Double): Int = a.toInt
val res = multiply(2.0) // Type conversions with implicit functions
println(res)  // It will print 20 as a result

注意:当我们调用multiply函数传递一个双精度值时,编译器会尝试在当前作用域中寻找转换隐式函数,该函数转换IntDouble(作为函数multiply接受Int参数)。如果没有隐式convert函数,那么编译器将不会编译代码。

于 2019-11-30T19:51:27.610 回答