scala - ¿Qué significa la palabra clave ''implícita'' cuando se coloca delante del parámetro de expresión lambda?

implicit

Question

He visto este tipo de código muchas veces antes, más recientemente en la lista de correo de usuarios de scala:

context(GUI) { implicit ec =>
  // some code
}

context se define como:

def context[T](ec: ExecutionContext)(block: ExecutionContext => T): Unit = { 
  ec execute { 
    block(ec) 
  } 
}

¿Qué propósito logra la keeyword implicit cuando se coloca delante de un parámetro de expresión lambda?

Answer 1

scala> trait Conn
defined trait Conn

scala> def ping(implicit c: Conn) = true
ping: (implicit c: Conn)Boolean

scala> def withConn[A](f: Conn => A): A = { val c = new Conn{}; f(c); /*cleanup*/ }
withConn: [A](f: Conn => A)A

scala> withConn[Boolean]( c => ping(c) )
res0: Boolean = true

scala> withConn[Boolean]{ c => implicit val c1 = c; ping }
res1: Boolean = true

scala> withConn[Boolean]( implicit c => ping )
res2: Boolean = true

La última línea es esencialmente una taquigrafía para la segunda última.