Cosa significa la parola chiave "implicita" quando viene posta di fronte al parametro espressione lambda?

Question

Ho visto questo tipo di codice molte volte in passato, la maggior parte di recente a mailing list scala-utente:

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

context è definito come:

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

cosa serve il keeyword implicit raggiungere, quando sono immessi di fronte a un parametro di espressione 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 

L'ultima riga è essenzialmente una scorciatoia per il penultimo.